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

第 １１期 电 子 学 报 Ｖｏｌ．４２ Ｎｏ．１１ 年 月 ２０１４ １１ ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｎｏｖ． ２０１４ 基于动态协同双向映射的相似执行路径生成方法 ， １ ２３ 郭 曦 ，王 盼 （ 华中农业大学信息学院计算机科学系，湖北武汉 ； 武汉电力职业技术学院，湖北武汉 ； １． ４３００７０２． ４３００７９ 武汉大学电气工程学院，湖北武汉 ） ３． ４３００７２ 摘 要： 相似执行路径的生成是代码分析和检测的基础性工作之一，现有的方法通常以程序的行为序列或结构 为分析对象，通过改变关键谓词的取值等方法来进行分析，但由于缺乏必要的引导信息导致生成的相似路径的有效性 较低，另外由于路径的谓词集合较长而难以求解也降低了分析的精度 提出基于动态协同双向映射的分析方法，通过 ． 对程序控制流图的表示形式进行扩展，结合后向符号分析的方法生成候选路径的最弱前置条件，并以此为引导信息使 用编辑距离的方法通过改变距离因子的取值来生成有针对性的相似路径集合 实验结果表明，与现有的方法相比，该 ． 方法的准确性和效率有明显的优势． 关键词： 静态分析；控制流图；最弱前置条件；相似执行路径 中图分类号： 文献标识码： 文章编号： （ ） ＴＰ３１１ Ａ ０３７２２１１２２０１４１１２１６８０６ 电子学报 ： ： ： ＵＲＬ ｈｔｔｐ／／ｗｗｗ．ｅｊｏｕｒｎａｌ．ｏｒｇ．ｃｎ ＤＯＩ １０．３９６９／ｊ．ｉｓｓｎ．０３７２２１１２．２０１４．１１．００７ ＡＴｅｃｈｎｉｑｕｅｏｆＳｉｍｉｌａｒＥｘｅｃｕｔｉｏｎＰａｔｈｓＧｅｎｅｒａｔｉｏｎＢａｓｅｄｏｎ ＤｙｎａｍｉｃＳｙｎｅｒｇｙＢｉｄｉｒｅｃｔｉｏｎａｌＭａｐｐｉｎｇ ， １ ２３ ， ＧＵＯＸｉＷＡＮＧＰａｎ （ ， ， ， ， ， ； １．ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅＣｏｌｌｅｇｅｏｆＩｎｆｏｒｍａｔｉｃｓＨｕａｚｈｏｎｇＡｇｒｉｃｕｌｔｕｒｅＵｎｉｖｅｒｓｉｔｙＷｕｈａｎＨｕｂｅｉ４３００７０Ｃｈｉｎａ ， ， ， ； ２．ＷｕｈａｎＥｌｅｃｔｒｉｃＰｏｗｅｒＴｅｃｈｎｉｃａｌＣｏｌｌｅｇｅＷ