基于动态切片与预训练模型的代码漏洞检测 被引量：3

1

作者 嵇友晴 卢跃 +2 位作者 潘世文 张迎周 谢金言 《小型微型计算机系统》 CSCD 北大核心 2024年第6期1529-1536,共8页

当前大部分基于深度学习的漏洞检测模型,通常以整个文件或函数作为输入,检测粒度较粗,存在准确率低下、可扩展性差等挑战.为了应对这些挑战并提升漏洞检测技术的性能,同时针对静态切片方法在发现特定执行条件下的漏洞存在不足的问题,提... 当前大部分基于深度学习的漏洞检测模型,通常以整个文件或函数作为输入,检测粒度较粗,存在准确率低下、可扩展性差等挑战.为了应对这些挑战并提升漏洞检测技术的性能,同时针对静态切片方法在发现特定执行条件下的漏洞存在不足的问题,提出了一种基于动态切片与预训练模型的代码漏洞检测方法.通过动态切片获取包含路径特征的语句块,借助CodeBERT预训练模型的语义提取能力将具有语义特征和路径特征的动态切片结果表示成二维张量;将代码结构和语义特征编码成灰度图像中的像素值,借助Swin Transformer的特征提取能力,以此更准确地进行漏洞检测.实验数据表明本文的方法取得了较好的效果,可降低误报率和漏报率,同时提高漏洞检测的准确性和可靠性. 展开更多

关键词 代码缺陷检测 动态切片 预训练模型 Swin Transformer

在线阅读 下载PDF 职称材料

基于动态切片和关联分析的错误定位方法 被引量：10

2

作者 曹鹤玲 姜淑娟 +1 位作者 鞠小林 王兴亚 《计算机学报》 EI CSCD 北大核心 2015年第11期2188-2202,共15页

错误定位是软件调试中非常耗时费力的活动之一,自动错误定位技术可以提高调试效率,降低调试成本.该文提出一种把动态切片、关联分析及排序策略相结合的错误定位方法.首先,收集程序执行的动态切片及相应的执行结果构建混合谱矩阵;然后,... 错误定位是软件调试中非常耗时费力的活动之一,自动错误定位技术可以提高调试效率,降低调试成本.该文提出一种把动态切片、关联分析及排序策略相结合的错误定位方法.首先,收集程序执行的动态切片及相应的执行结果构建混合谱矩阵;然后,基于混合谱矩阵进行关联分析,随后依据提出的排序策略对语句进行排序,得出较合理的语句优先级次序,从而进行错误定位.为验证该方法有效性,作者设计并实现了一个错误定位原型工具DSFL,针对一组Java基准程序开展错误定位实验,并与12种错误定位技术进行对比.实验结果表明该方法可以在一定程度上提高错误定位精度和效率. 展开更多

关键词 动态切片 关联分析 错误定位 排序策略

在线阅读 下载PDF 职称材料

一种基于覆盖测试的动态切片的计算方法 被引量：3

3

作者 易彤 吴方君 《应用科学学报》 CAS CSCD 2004年第2期205-210,共6页

针对现有动态切片方法的缺陷,提出了一种基于覆盖测试的动态切片的计算方法.该方法的关键是建立一个基于覆盖测试的动态依赖图,它既利用动态执行信息又利用静态信息.文中提供的动态切片方法还克服了以往动态切片方法的缺点,即动态切片... 针对现有动态切片方法的缺陷,提出了一种基于覆盖测试的动态切片的计算方法.该方法的关键是建立一个基于覆盖测试的动态依赖图,它既利用动态执行信息又利用静态信息.文中提供的动态切片方法还克服了以往动态切片方法的缺点,即动态切片不会因切片标准变化而重新计算. 展开更多

关键词 覆盖测试 动态切片 计算方法 程序分析 程序切片 软件测试 动态依赖图

在线阅读 下载PDF 职称材料

状态图描述的动态切片技术

4

作者 苗春雨 陈丽娜 《计算机科学》 CSCD 北大核心 2014年第5期204-207,214,共5页

众所周知,动态切片技术在串行计算机程序的理解、分析和验证方面非常有用,但传统的动态切片定义不适合Statechart描述。首先规范定义了适合动态切片的形式化语义模型(可观察语义),然后提出了更自然的Statechart描述的动态切片概念,正式... 众所周知,动态切片技术在串行计算机程序的理解、分析和验证方面非常有用,但传统的动态切片定义不适合Statechart描述。首先规范定义了适合动态切片的形式化语义模型(可观察语义),然后提出了更自然的Statechart描述的动态切片概念,正式定义了动态切片准则、动态切片生成算法和最小动态切片的概念,解释了如何提供有效的动态切片准则,并提出一种简单实用的、借助可观察语义生成最小动态切片的近似算法。 展开更多

关键词 Statechart描述 动态切片 切片准则 可观察语义

在线阅读 下载PDF 职称材料

基于UML图和动态切片的回归测试研究 被引量：2

5

作者 宋建生 钱雪忠 《计算机工程与设计》 CSCD 北大核心 2011年第11期3734-3737,共4页

重点将UML图和动态切片应用于回归测试中。针对现在应用于软件开发的UML图不能很好地满足软件测试的要求,引入了时序状态图和改进后的状态图,对两种图进行形式化定义,并且通过实例说明定义内容,其中时序状态图用于类间测试,改进后的状... 重点将UML图和动态切片应用于回归测试中。针对现在应用于软件开发的UML图不能很好地满足软件测试的要求,引入了时序状态图和改进后的状态图,对两种图进行形式化定义,并且通过实例说明定义内容,其中时序状态图用于类间测试,改进后的状态图用于类内测试。对定义的图进行切片分析,形成测试步骤和测试算法。网上购物实例表明时序状态图和改进状态图可以提高回归测试效率。 展开更多

关键词 动态切片 回归测试 软件测试 时序状态图 UML状态图

在线阅读 下载PDF 职称材料

Petri网动态切片的最小变化域分析方法 被引量：1

6

作者 赵芳 方贤文 方欢 《计算机科学与探索》 CSCD 北大核心 2016年第4期516-523,共8页

在业务流程管理中,确定流程模型的最小变化域是一项重要的问题。已有的方法主要是从整个模型的角度去分析考察它的最小变化域,计算量比较复杂,具有一定的局限性。为了尽快查找到目标模型中的最小变化域,提出了Petri网动态切片的方法。... 在业务流程管理中,确定流程模型的最小变化域是一项重要的问题。已有的方法主要是从整个模型的角度去分析考察它的最小变化域,计算量比较复杂,具有一定的局限性。为了尽快查找到目标模型中的最小变化域,提出了Petri网动态切片的方法。首先通过对比分析源模型和目标模型的结构图得出目标模型的可疑区域,接着依据行为轮廓的思想在目标模型可疑区域中搜索出变化域,然后通过Petri网动态切片的方法得到目标模型的最小变化域。最后通过具体的电子购物实例,验证了该方法的有效性。 展开更多

关键词 最小变化域 PETRI网 动态切片 可疑区域 行为轮廓 变化域

在线阅读 下载PDF 职称材料

基于谓词动态切片技术的AOP测试用例生成方法研究

7

作者 王波 柴玉梅 王黎明 《小型微型计算机系统》 CSCD 北大核心 2013年第6期1321-1327,共7页

面向方面程序设计是面向对象程序设计技术的补充和完善,高效的面向方面程序测试方法是面向方面程序的质量保证.提出一个基于谓词动态切片技术的测试方法.首先,构造完整的AOP语句控制流图,它包含AOP的方面、切入点、连接点、建议等因素.... 面向方面程序设计是面向对象程序设计技术的补充和完善,高效的面向方面程序测试方法是面向方面程序的质量保证.提出一个基于谓词动态切片技术的测试方法.首先,构造完整的AOP语句控制流图,它包含AOP的方面、切入点、连接点、建议等因素.然后,根据完整的AOP语句控制流图生成所有路径,针对每条路径,构造其分支函数,计算得到相应的测试数据,若路径不可执行,则不再计算其测试数据.在这个过程中,通过构建简化动态依赖图来生成谓词动态切片,再用谓词动态切片来帮助调整测试数据.最后,将各路径的实际输出数据与期望输出数据相比较,即可判断该程序是否有错误.经实例分析和实验验证,此方法可以系统地测试一个完整的面向方面程序,提高了测试数据的生成效率,并产生有效的测试用例. 展开更多

关键词 面向方面程序设计 语句控制流图 谓词动态切片 分支函数

在线阅读 下载PDF 职称材料

基于动态程序切片和污点分析的安卓应用隐私泄露检测

8

作者 汪全盛 王田田 +1 位作者 马锐 张迎周 《小型微型计算机系统》 北大核心 2025年第3期704-712,共9页

污点分析是检测Android应用程序隐私数据泄露的有效手段,静态污点分析不直接运行程序,容易产生较高的误报率.本文提出以动态程序切片指导静态污点分析的Android应用隐私泄露检测方法.首先对Android应用程序进行静态污点分析,输出以污点... 污点分析是检测Android应用程序隐私数据泄露的有效手段,静态污点分析不直接运行程序,容易产生较高的误报率.本文提出以动态程序切片指导静态污点分析的Android应用隐私泄露检测方法.首先对Android应用程序进行静态污点分析,输出以污点源与污点汇聚点信息标注的潜在泄露数据流,再对源代码的中间表示进行静态插桩,通过实际场景中的动态运行获取代码基本块执行路径,根据污点分析及动态执行结果制定切片准则,并采用后向程序切片对信息流进行二次处理以降低假阳性.本文根据提出的方法实现了原型工具并进行了实验验证.实验使用了2个不同的测试集,分别为DroidBench和TaintBench.实验结果表明:引入动态程序切片技术能够有效降低静态污点分析的误报,本文提出的方法能够减少70.3%的误报率. 展开更多

关键词 污点分析 动态程序切片 Android隐私泄露 数据流处理

在线阅读 下载PDF 职称材料

一种基于模块单子语义的动态程序切片方法 被引量：13

9

作者 张迎周 徐宝文 《计算机学报》 EI CSCD 北大核心 2006年第4期526-534,共9页

提出一种基于程序模块单子语义的新动态切片方法———模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片... 提出一种基于程序模块单子语义的新动态切片方法———模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片算法.据此,可直接在抽象语法结构上计算动态切片,不必记录程序执行历史;相应单子切片器也无需显式地构造诸如依赖图的中间结构.这种模块化抽象机制使得文中的动态切片算法具有很强的可扩展性和重用性. 展开更多

关键词 程序切片 动态切片 单子 单子转换器 模块单子语义

在线阅读 下载PDF 职称材料

一种基于前向计算的动态程序切片方法 被引量：3

10

作者 王兴亚 姜淑娟 +1 位作者 鞠小林 邵浩然 《计算机科学》 CSCD 北大核心 2014年第1期250-253,278,共5页

动态程序切片技术是一种重要的程序分析技术,在软件分析、测试与调试过程中有着广泛的应用。给出一种基于前向计算的动态程序切片方法,该方法首先在对当前执行语句进行定义使用分析的基础上计算该语句定义变量的影响集,其次计算该语句... 动态程序切片技术是一种重要的程序分析技术,在软件分析、测试与调试过程中有着广泛的应用。给出一种基于前向计算的动态程序切片方法,该方法首先在对当前执行语句进行定义使用分析的基础上计算该语句定义变量的影响集,其次计算该语句的直接动态依赖关系,最后计算当前执行语句中变量的动态切片。根据该方法设计并实现了一个Java动态程序切片系统,基于一组基准测试程序开展了切片实验,并与已有的切片方法进行了比较。实验结果表明,该方法可以得到比较精确的动态程序切片结果。 展开更多

关键词 动态切片 前向计算 程序依赖性 三地址码

在线阅读 下载PDF 职称材料

动态程序切片研究及其应用 被引量：1

11

作者 李英梅 伦立军 丁雪梅 《东北农业大学学报》 CAS CSCD 2005年第3期397-400,共4页

动态程序切片根据程序的输入,从源程序删除零条或多条语句,得到对最终结果有潜在影响的源程序子集,可用于程序调试、程序理解、软件测试和软件维护等方面。文章讨论了动态切片基本概念,提出了一种基于动态流的动态切片方法,并讨论了其... 动态程序切片根据程序的输入,从源程序删除零条或多条语句,得到对最终结果有潜在影响的源程序子集,可用于程序调试、程序理解、软件测试和软件维护等方面。文章讨论了动态切片基本概念,提出了一种基于动态流的动态切片方法,并讨论了其在软件测试和程序调试中的应用。 展开更多

关键词 程序切片 动态切片 切片准则

在线阅读 下载PDF 职称材料

面向方面程序的简化动态依赖图切片方法

12

作者 张广泉 黄静 +1 位作者 章晓芳 刘长林 《计算机科学与探索》 CSCD 2011年第3期229-237,共9页

程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了... 程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了面向方面程序切片技术。在此基础上,提出了一种基于简化动态依赖图的面向方面程序切片方法,可以减少动态依赖图中节点和边的数量,生成准确的面向方面程序的动态切片,从而有助于人们更好地对面向方面程序进行分析和理解。 展开更多

关键词 面向方面程序 静态切片 动态切片 简化动态依赖图

在线阅读 下载PDF 职称材料

一种简化依赖关系的动态程序切片算法 被引量：1

13

作者 贾利敏 张忠林 《郑州大学学报（工学版）》 CAS 北大核心 2009年第2期84-87,共4页

动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集.笔者提出了一种简化依赖关系的动态程序切片算法,主要目的是解决H.Agrawal的动态切片算法计算切片不太精确的问题,该算法通过程序执行轨迹,确定... 动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集.笔者提出了一种简化依赖关系的动态程序切片算法,主要目的是解决H.Agrawal的动态切片算法计算切片不太精确的问题,该算法通过程序执行轨迹,确定数据依赖结点、控制依赖结点和结点可到达语句来计算变量切片.实例证明,该算法提高了动态切片的精确度,减少了计算动态程序切片的复杂度. 展开更多

关键词 动态程序切片 切片准则 动态程序切片算法 依赖关系 程序依赖图

在线阅读 下载PDF 职称材料

基于动态程序切片的软件水印方案

14

作者 邓小鸿 孙星明 +1 位作者 孙光 拜亚萌 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2007年第A01期193-196,共4页

针对中间码中水印信息抗逆向工程差的问题,提出基于动态程序切片的软件水印方案.利用动态程序切片技术将系统分割为隐秘部分与公开部分,然后改变交互模块间数据依赖关系嵌入水印信息,记录执行历史中的数据依赖关系提取水印信息.恢复隐... 针对中间码中水印信息抗逆向工程差的问题,提出基于动态程序切片的软件水印方案.利用动态程序切片技术将系统分割为隐秘部分与公开部分,然后改变交互模块间数据依赖关系嵌入水印信息,记录执行历史中的数据依赖关系提取水印信息.恢复隐秘部分复杂性实验证明算法对逆向工程攻击是鲁棒的;系统分割前后的运行时间对比实验证明算法对系统效率的影响在合理范围内.隐秘部分放在安全主机中确保水印系统的安全性,该方案适用于对移动计算与分布式软件进行保护. 展开更多

关键词 动态程序切片 软件水印 中间码 逆向工程 鲁棒性

在线阅读 下载PDF 职称材料

一种用于测试数据生成的动态程序切片算法 被引量：6

15

作者 王雪莲 赵瑞莲 李立健 《计算机应用》 CSCD 北大核心 2005年第6期1445-1447,1450,共4页

介绍了程序切片技术的基本概念,提出了一种基于前向分析的动态程序切片算法,探讨了程序切片在软件测试数据生成中的应用,结果表明可以有效地提高基于路径的测试数据生成效率。

关键词 程序切片 测试数据生成 前向分析 动态程序切片算法

在线阅读 下载PDF 职称材料

基于动态时间切片和高效变异的定向模糊测试

16

作者 钟远鑫 刘嘉勇 贾鹏 《信息网络安全》 CSCD 北大核心 2023年第8期99-108,共10页

定向灰盒模糊测试(Directed Grey Box Fuzzing,DGF)是一种漏洞挖掘领域的新技术,它的最大优势是高效性。DGF已被广泛应用于补丁测试、信息流检测和崩溃复现等领域。然而,现有的DGF技术存在两个问题,第一,传统的DGF没有考虑到长路径种子... 定向灰盒模糊测试(Directed Grey Box Fuzzing,DGF)是一种漏洞挖掘领域的新技术,它的最大优势是高效性。DGF已被广泛应用于补丁测试、信息流检测和崩溃复现等领域。然而,现有的DGF技术存在两个问题,第一,传统的DGF没有考虑到长路径种子也能触发漏洞,并且没有考虑种子的优先级;第二,强随机性的变异会浪费大量资源,从而降低定向模糊测试的效率。文章提出了一种基于动态时间切片和高效变异的定向灰盒模糊测试方法。文章提出了动态时间切片策略,将时间分为3个阶段,包括无差别探索阶段、短路径优先阶段和长路径优先阶段,同时应用了基于种子路径执行频率的模拟退火算法用于能量分配。同时,还使用了ε-贪婪算法来引导变异过程的havoc阶段,以提升变异效率。文章基于这3种策略实现了一个名为DyFuzz的系统并且在8个真实的数据集上与AFLGo进行比较。实验表明,该方法能够有效提高触发漏洞的概率和速度,覆盖更多的边缘和触发更多的崩溃。 展开更多

关键词 漏洞挖掘 定向模糊测试 动态时间切片 havoc变异 能量分配

在线阅读 下载PDF 职称材料

一种可检测Java程序盗版的动态胎记技术 被引量：1

17

作者 邓小鸿 拜亚萌 +1 位作者 黄斌 满君丰 《计算机工程与应用》 CSCD 北大核心 2010年第17期69-71,84,共4页

针对Java程序易盗版的特点,提出了一种新的动态软件胎记技术。首先将Java程序进行转换得到其字节码集合U,然后利用动态程序切片技术得到U在特定输入I下的子集S,最后采用k-gram胎记提取算法得到S的一个特征值序列作为软件胎记。实验分析... 针对Java程序易盗版的特点,提出了一种新的动态软件胎记技术。首先将Java程序进行转换得到其字节码集合U,然后利用动态程序切片技术得到U在特定输入I下的子集S,最后采用k-gram胎记提取算法得到S的一个特征值序列作为软件胎记。实验分析显示这种胎记能很好地抵抗各种程序变换攻击,具有很强的置信性和鲁棒性,并能有效地检测程序盗版行为。 展开更多

关键词 版权保护 动态程序切片 软件胎记 置信性 鲁棒性

在线阅读 下载PDF 职称材料

增强上下文的错误定位技术 被引量：5

18

作者 张卓 谭庆平 +3 位作者 毛晓光 雷晏 常曦 薛建新 《软件学报》 EI CSCD 北大核心 2019年第2期266-281,共16页

错误定位就是寻找程序错误的位置.现有的错误定位方法大多利用测试用例的覆盖信息,以标识一组导致程序失效的可疑语句,却忽视了这些语句相互作用导致失效的上下文.因此,提出一种增强上下文的错误定位方法Context-FL,以构建上下文的方式... 错误定位就是寻找程序错误的位置.现有的错误定位方法大多利用测试用例的覆盖信息,以标识一组导致程序失效的可疑语句,却忽视了这些语句相互作用导致失效的上下文.因此,提出一种增强上下文的错误定位方法Context-FL,以构建上下文的方式来优化错误定位性能.Context-FL利用动态切片技术构建数据与控制相关性的错误传播上下文,显示了导致失效的语句之间传播依赖关系;然后,基于可疑值度量来区分上下文片段中不同语句的可疑度;最后,Context-FL以标记可疑值的上下文作为定位结果.实验结果表明,Context-FL优于8种典型错误定位方法. 展开更多

关键词 错误定位 上下文 动态切片 SFL 可疑值

在线阅读 下载PDF 职称材料

失效上下文统计分析的软件故障定位方法 被引量：1

19

作者 王克朝 王甜甜 +1 位作者 任向民 贾宗福 《计算机应用》 CSCD 北大核心 2015年第3期882-885,890,共5页

针对程序切片方法不提供语句的可疑程度描述,而覆盖分析方法不能充分分析程序元素间的相互影响等问题,提出上下文统计分析的软件故障定位方法。首先,将源程序转换为抽象语法树和程序依赖图;接下来,插桩程序,收集运行时信息;然后,根据失... 针对程序切片方法不提供语句的可疑程度描述,而覆盖分析方法不能充分分析程序元素间的相互影响等问题,提出上下文统计分析的软件故障定位方法。首先,将源程序转换为抽象语法树和程序依赖图;接下来,插桩程序,收集运行时信息;然后,根据失效点,执行按需的反向动态切片,确定失效产生的上下文;最后,对于反向动态切片中的节点,统计计算可疑度,输出带可疑度排序的动态程序切片。该方法不但描述了失效产生的上下文,还计算上下文中各个语句的可疑度。实验结果表明,所提方法与单一的覆盖分析方法相比,平均Expense降低了1.3%,与单一的切片方法相比,平均Expense降低了5.6%,所提方法可以有效辅助开发人员定位与修正软件缺陷。 展开更多

关键词 软件调试 故障定位 动态切片 覆盖分析 失效上下文

在线阅读 下载PDF 职称材料

无线传感器网络中的分簇安全数据汇聚方案 被引量：4

20

作者 刘冰 马壮 +1 位作者 陈宜栋 李艳俊 《计算机工程》 CAS CSCD 北大核心 2019年第9期136-142,共7页

为在无线传感器网络(WSN)的数据收集、处理和传输过程中降低能耗,提高数据的安全性与机密性,提出一种动态分簇安全数据汇聚算法CDSDA。对基于分簇的WSN安全数据汇聚算法CSDA进行改进,依据节点所采集数据的重要程度与节点的剩余能量,对... 为在无线传感器网络(WSN)的数据收集、处理和传输过程中降低能耗,提高数据的安全性与机密性,提出一种动态分簇安全数据汇聚算法CDSDA。对基于分簇的WSN安全数据汇聚算法CSDA进行改进,依据节点所采集数据的重要程度与节点的剩余能量,对数据进行动态切片,在此基础上,进行簇内汇聚和簇间汇聚以得到最终结果。仿真结果表明,与CSDA算法相比,CDSDA算法在通信开销、数据正确率、数据隐私保护等方面具有较好性能。 展开更多

关键词 无线传感器网络 分簇结构 数据汇聚 动态切片 隐私保护

在线阅读 下载PDF 职称材料