-
题名基于路径驱动的多路径分析算法
被引量：2
- 1
-
-
作者
张平
李清宝
崔晨
-
机构
解放军信息工程大学信息工程学院
-
出处
《计算机科学》
CSCD
北大核心
2013年第2期145-147,185,共4页
-
基金
国防型号项目资助
-
文摘
针对动态二进制程序分析方法存在路径覆盖不全的问题,提出了基于路径驱动的多路径分析算法。其核心思想是在可控的模拟调试环境中动态执行被分析的二进制程序,通过修改CPU程序计数器PC值,驱动程序执行在当前输入条件下无法访问的程序路径,实现对多条程序路径的访问。基于该算法,设计并实现了一个基于路径驱动的多路径二进制程序分析系统。测试结果表明,该算法能够较全面地发掘程序执行路径,有效提高了分析代码的覆盖率。
-
关键词
路径驱动
动态分析
二进制程序
模拟调试环境
-
Keywords
Path driven, Dynamic analysis, Binary program, Simulation instrument environment
-
分类号
P309.5
[天文地球—地球物理学]
-
-
题名基于自动路径驱动的动态控制流恢复算法
被引量：1
- 2
-
-
作者
张平
李清宝
崔晨
-
机构
解放军信息工程大学一系
-
出处
《计算机工程》
CAS
CSCD
2013年第8期77-82,共6页
-
基金
国家"863"计划基金资助项目(2009AA01ZA434)
-
文摘
动态控制流恢复方法存在路径覆盖不全的问题。为解决该问题,提出一种基于自动路径驱动的控制流恢复算法。在可控的模拟调试环境中动态执行并分析二进制程序,通过修改CPU程序计数器的值,使驱动程序执行在当前输入条件下无法访问的程序路径,从而构建控制流图。基于该算法,设计实现自动路径驱动控制流恢复系统。测试结果表明,该算法能够较全面地发掘程序执行路径,与传统动态执行算法和交互式反汇编器相比,能有效提高恢复控制流图的覆盖率。
-
关键词
控制流图
路径驱动
动态分析
二进制程序
模拟调试环境
程序计数器
-
Keywords
Control Flow Graph（CFG）
path driven
dynamic analysis
binary program
simulation instrument environment
Program Counter（PC）
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
