| 相关路径静态分析中协同式逆向推理方法 |
| |
| 作者姓名： | 郭曦 王盼 |
| |
| 作者单位： | 华中农业大学 信息学院 计算机科学系, 湖北 武汉 430070;School of Computer Science, College of Computing, Georgia Institute of Technology, Atlanta 30332, USA;武汉电力职业技术学院, 湖北 武汉 430079 |
| |
| 基金项目： | 国家自然科学基金(61173138, 61272452, 91118003, 61003268); 湖北省自然科学基金(2014CFB144); 中央高校基本科研业务费专项资金(0900206154); 武汉大学博士研究生短期出国(境)研修专项经费 |
| |
| 摘 要： | 相关路径生成,是程序动态分析中的一种重要方法.通过对目标执行路径的获取和分析来生成与其相关的近邻执行路径,在程序行为特征分析、编译优化和调试等研究方向有重要的作用.现有的方法主要通过改变路径节点序列来生成近邻的路径集合,由于缺乏关键节点的路径引导信息,导致生成大量冗余或者无效的路径集合.提出采用协同式逆向分析的近邻路径生成方法,针对目标路径的后置条件,采用逆向符号分析方法产生程序各个基本块的前置条件作为执行路径的引导信息.同时,通过调整距离因子k的取值,可以有针对性地生成与目标路径的编辑距离不超过k的近邻路径集合.实验结果表明:与现有方法相比,该方法在准确性和效率方面有明显的优势.
|
| 关 键 词： | 逆向分析 近邻路径 最弱前置条件 符号执行 |
| 收稿时间： | 2014-02-08 |
| 修稿时间： | 2014-04-03 |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载免费的PDF全文 |
|
