-
题名相关路径静态分析中协同式逆向推理方法
被引量：5
- 1
-
-
作者
郭曦
王盼
-
机构
华中农业大学信息学院计算机科学系
武汉电力职业技术学院
School of Computer Science
-
出处
《软件学报》
EI
CSCD
北大核心
2015年第1期1-13,共13页
-
基金
国家自然科学基金(61173138,61272452,91118003,61003268)
湖北省自然科学基金(2014CFB144)
+1 种基金
中央高校基本科研业务费专项资金(0900206154)
武汉大学博士研究生短期出国(境)研修专项经费
-
文摘
相关路径生成,是程序动态分析中的一种重要方法.通过对目标执行路径的获取和分析来生成与其相关的近邻执行路径,在程序行为特征分析、编译优化和调试等研究方向有重要的作用.现有的方法主要通过改变路径节点序列来生成近邻的路径集合,由于缺乏关键节点的路径引导信息,导致生成大量冗余或者无效的路径集合.提出采用协同式逆向分析的近邻路径生成方法,针对目标路径的后置条件,采用逆向符号分析方法产生程序各个基本块的前置条件作为执行路径的引导信息.同时,通过调整距离因子k的取值,可以有针对性地生成与目标路径的编辑距离不超过k的近邻路径集合.实验结果表明:与现有方法相比,该方法在准确性和效率方面有明显的优势.
-
关键词
逆向分析
近邻路径
最弱前置条件
符号执行
-
Keywords
reverse analysis
similar path
weakest precondition
symbolic execution
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于动态协同双向映射的相似执行路径生成方法
被引量：1
- 2
-
-
作者
郭曦
王盼
-
机构
华中农业大学信息学院计算机科学系
武汉电力职业技术学院
武汉大学电气工程学院
-
出处
《电子学报》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名程序状态条件合并中变量隐式关联分析方法
- 3
-
-
作者
郭曦
王盼
-
机构
华中农业大学信息学院计算机科学系
武汉电力职业技术学院电力工程系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2018年第10期2331-2342,共12页
-
基金
国家自然科学基金项目(61502194)
中央高校基本科研业务费专项资金(2662018JC028)~~
-
文摘
程序分析的主要目标是对程序的性质进行研究,符号执行作为目前主流的分析方法在生成高效的测试用例集或提高路径覆盖率等方面发挥着重要的作用,其中路径条件表达式的提取以及约束求解是路径分析过程中的关键步骤.现有的路径分析方法普遍存在约束求解效率不高而导致的路径覆盖率较低的问题.由于符号执行引擎所采用的搜索策略不尽相同,在符号执行分析过程中存在状态合并的过程,该抽象过程可能导致产生不正确的测试用例.以提高路径分析效率为目标,提出一种高效的程序分析方法:首先对传统的符号执行树的表示方法进行改进,提取不同路径共享的符号表达式和路径约束条件以提高符号执行过程中状态合并的效率,然后采用隐式关联分析方法,产生逆向分析中的依赖条件集合,并给出基于依赖条件重构的算法以提高路径覆盖率.实验结果表明:相对于传统的状态合并以及符号执行方法,该方法有更为高效的状态合并效率以及更高的路径约束条件分析精度.
-
关键词
路径分析
状态合并
依赖条件
符号执行
约束求解
-
Keywords
path analysis
state merging
dependency condition
symbolic execution
constrain solving
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
