-
题名基于路径约束的间接跳转目标地址识别
- 1
-
-
作者
李丹
王震宇
井靖
王国好
-
机构
信息工程大学
-
出处
《计算机科学》
CSCD
北大核心
2013年第06A期315-319,共5页
-
文摘
间接跳转目标地址的识别一直是二进制代码控制流重构的难点之一,其跳转目标一般依赖于程序动态执行时的信息,传统方法无法精确识别。通过对控制流重构技术的研究,提出一种基于路径约束的间接跳转目标地址识别方法,即对于一个间接跳转,在初始控制流图的基础上构建从程序入口点到间接跳转的路径集合,对于每条路径,首先通过数据流分析相关技术得到跳转目标地址关于自由变量的一个表达式,然后对路径约束求解,得到满足约束的自由变量的一组特定解,并以此确定跳转目标表达式的值。通过该方法,每个间接跳转都可以根据路径集合确定跳转目标的地址集合。
-
关键词
控制流重构
间接跳转
目标地址识别
路径约束
数据流分析
-
Keywords
control flow reconstruction, indirect jump,recognition of target address,trace constraint,data flow analysis
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-