-
题名基于动态协同双向映射的相似执行路径生成方法
被引量:1
- 1
-
-
作者
郭曦
王盼
-
机构
华中农业大学信息学院计算机科学系
武汉电力职业技术学院
武汉大学电气工程学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2014年第11期2168-2173,共6页
-
基金
国家自然科学基金(No.61103220
No.91118003)
+2 种基金
湖北省自然科学基金(No.2014CFB144)
中央高校基本科研业务费专项资金(No.0900206154)
武汉大学搏士短期出国(境)研修专项经费
-
文摘
相似执行路径的生成是代码分析和检测的基础性工作之一,现有的方法通常以程序的行为序列或结构为分析对象,通过改变关键谓词的取值等方法来进行分析,但由于缺乏必要的引导信息导致生成的相似路径的有效性较低,另外由于路径的谓词集合较长而难以求解也降低了分析的精度.提出基于动态协同双向映射的分析方法,通过对程序控制流图的表示形式进行扩展,结合后向符号分析的方法生成候选路径的最弱前置条件,并以此为引导信息使用编辑距离的方法通过改变距离因子的取值来生成有针对性的相似路径集合.实验结果表明,与现有的方法相比,该方法的准确性和效率有明显的优势.
-
关键词
静态分析
控制流图
最弱前置条件
相似执行路径
-
Keywords
static analysis
control flow graph
weakest precondition
similar execution path
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-