基于动态协同双向映射的相似执行路径生成方法

• 作者: 王盼 郭曦
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 静态分析 控制流图 最弱前置条件 相似执行路径
• 年，卷（期）: 2014,（11）
• 所属期刊栏目: 学术论文
• 页码范围: 2168-2173
• 页数: 6页
• 分类号: TP311
• 字数: 6307字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2014.11.007

摘要

相似执行路径的生成是代码分析和检测的基础性工作之一，现有的方法通常以程序的行为序列或结构为分析对象，通过改变关键谓词的取值等方法来进行分析，但由于缺乏必要的引导信息导致生成的相似路径的有效性较低，另外由于路径的谓词集合较长而难以求解也降低了分析的精度。提出基于动态协同双向映射的分析方法，通过对程序控制流图的表示形式进行扩展，结合后向符号分析的方法生成候选路径的最弱前置条件，并以此为引导信息使用编辑距离的方法通过改变距离因子的取值来生成有针对性的相似路径集合。实验结果表明，与现有的方法相比，该方法的准确性和效率有明显的优势。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王盼		19	69	4.0	8.0
3	郭曦	华中农业大学信息学院计算机科学系	8	18	3.0	4.0