程序切片

作品数：195被引量：456H指数：10
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张迎周李必信徐宝文郑国梁姜淑娟更多>>
相关机构：东南大学南京邮电大学南京大学南京航空航天大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江苏省自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于深度学习的混合语言源代码漏洞检测方法
《湖南大学学报(自然科学版)》2025年第4期103-113,共11页张学军 郭梅凤 张潇 张斌 黄海燕 蔡特立 
国家自然科学基金资助项目(61762058);甘肃省教育厅产业支撑项目(2022CYZC-38);国家电网科技项目(W32KJ2722010,522722220013);甘肃省重点研发计划项目(25YEFA089)。
现有基于深度学习的源代码漏洞检测方法主要针对单一编程语言进行特征学习,难以对混合编程语言软件项目因代码单元间的关联和调用产生漏洞进行有效检测.因此,本文提出了一种基于深度学习的混合语言源代码漏洞检测方法DL-HLVD.首先利用B...
关键词：漏洞检测 命名实体识别 程序切片 混合语言 
基于动态程序切片和污点分析的安卓应用隐私泄露检测
《小型微型计算机系统》2025年第3期704-712,共9页汪全盛 王田田 马锐 张迎周 
国家自然科学基金项目(62272214)资助.
污点分析是检测Android应用程序隐私数据泄露的有效手段,静态污点分析不直接运行程序,容易产生较高的误报率.本文提出以动态程序切片指导静态污点分析的Android应用隐私泄露检测方法.首先对Android应用程序进行静态污点分析,输出以污点...
关键词：污点分析 动态程序切片 Android隐私泄露 数据流处理 
Slice-GCN:基于程序切片与图神经网络的智能合约漏洞检测方法
《信息安全学报》2025年第1期105-118,共14页张人娄 吴胜 张浩 刘方宇 
江苏师范大学科研与实践创新项目(No.2022XKT1548)资助。
智能合约是一段由计算机代码构成的程序。随着智能合约数量的暴涨,如何利用漏洞检测方法来提升智能合约的安全性显得更加重要。已有的符号执行、模糊测试与形式化验证等漏洞检测方法自动化程度低,而基于序列模型的深度学习方法由于对智...
关键词：智能合约 漏洞检测 图神经网络 程序切片 
基于程序语义与度量的代码缺陷检测
《中北大学学报(自然科学版)》2025年第1期105-115,共11页卢跃 嵇友晴 周礼亮 吕青 张迎周 
国家自然科学基金资助项目(62272214)。
软件中存在的代码缺陷严重影响了软件用户使用的体验感和安全性,传统的代码缺陷检测方法存在准确率较低的问题,而结合深度学习的现有方法的检测粒度较粗,检测效果也不够理想。为此,本文提出了一种基于程序语义与度量的代码缺陷检测方法...
关键词：预训练模型 程序切片 切片认知域 残差网络 卷积神经网络 门控制神经网络 
基于改进网络爬虫技术的高性能计算机程序切片级漏洞检测方法被引量：1
《信息技术与信息化》2024年第4期200-203,共4页李姝 
由于高性能计算机程序通常具有复杂的结构和庞大的代码量,切片级漏洞往往隐藏在这些程序的深处,难以被轻易发现。为此,提出一种基于改进网络爬虫技术的高性能计算机程序切片级漏洞检测方法。将传统的单线程网络爬虫改进为多线程网络爬虫...
关键词：改进网络爬虫技术 高性能计算机程序 切片级漏洞 多线程网络爬虫 聚类分析 
边缘计算系统应用程序切片架构研究
《信息与电脑》2024年第2期41-44,共4页朱友康 朱华 周秀云 董国刚 李世杰 
武汉生物工程学院自然科学研究项目(项目编号:2022ZKZ04)。
文章提出一个以应用程序为中心的端到端切片框架,为应用程序切片设计一个多用户的移动边缘计算(Mobile Edge Computing,MEC)架构,该架构能够将不同的业务实体集成起来,同时提出与多用户管理架构兼容集成网络的应用程序切片管理架构。
关键词：边缘计算 应用程序切片 应用程序服务 应用程序组件功能 
基于程序过程间语义优化的深度学习漏洞检测方法被引量：2
《网络与信息安全学报》2023年第6期86-101,共16页李妍 羌卫中 李珍 邹德清 金海 
国家自然科学基金(62272187);国家通用技术基础研究联合基金(U1936211)。
近年来,软件漏洞引发的安全事件层出不穷,及早发现并修补漏洞能够有效降低损失。传统的基于规则的漏洞检测方法依赖于专家定义规则,存在较高的漏报率,基于深度学习的方法能够自动学习漏洞程序的潜在特征,然而随着软件复杂程度的提升,该...
关键词：漏洞检测 程序切片 深度学习 注意力机制 
基于程序控制流图的模糊测试漏洞挖掘方法
《武汉大学学报（工学版）》2023年第9期1146-1153,共8页李伟明 郭瑾仪 唐娜 
国家重点基础研发计划(编号:2017YFB0802205)。
提出了一种利用程序控制流图和符号化执行来指导生成模糊测试初始用例的方法。首先通过动态计算上下文敏感度级别和增加函数返回边优化符号化执行效率,构建出准确的二进制程序的控制流图,得到主要的程序执行路径;在此基础上,提出基于分...
关键词：模糊测试 符号化执行 程序控制流图 程序切片 
基于图表示和MHGAT的代码漏洞静态检测方法被引量：2
《系统工程与电子技术》2023年第5期1535-1543,共9页程靖云 王布宏 罗鹏 
国家自然科学基金(60831001);国防基金(9140A31010109HK0101)资助课题。
针对现有的静态分析技术难以及时、准确地检测软件安全漏洞的问题,提出了一种基于图表示和多头图注意力网络(multi-head graph attention network,MHGAT)的代码漏洞静态检测方法。首先,通过程序切片从源代码的系统依赖图中提取漏洞代码...
关键词：漏洞检测 程序切片 图表征学习 图注意力网络 多头自注意力 
有效覆盖引导的定向灰盒模糊测试被引量：4
《软件学报》2022年第11期3967-3982,共16页杨克 贺也平 马恒太 蔡春芳 谢异 董柯 
中国科学院战略性先导科技专项(XDA-Y01-01,XDC02010600)。
定向灰盒模糊测试技术在度量种子对目标执行状态的搜索能力时,除了考虑种子逼近目标代码的程度之外,还需要分析种子对多样化执行状态的发现能力,从而避免陷入局部最优.现有的定向灰盒模糊测试主要根据全程序的覆盖统计来度量种子搜索多...
关键词：定向模糊测试 有效覆盖 冗余种子 能量调度 程序切片 
全选清除导出
共20页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部