-
题名基于数据流分析的二进制代码程序理解方法
被引量：2
- 1
-
-
作者
唐和平
吴志勇
黄曙光
李永成
-
机构
解放军电子工程学院网络工程系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第17期25-27,共3页
-
基金
解放军电子工程学院博士研究生创新基金资助项目(2007CX017)
-
文摘
通过数据流分析将程序转换成数据流描述标记,结合数据流到达-定值分析,确定每个基本块的输入、输出定值集合,推导出函数输入与输出间的联系,实现函数功能的静态理解。实验结果表明,在不需要额外提示的情况下,该方法能准确识别二进制形式的字符串拷贝等字符串处理函数。
-
关键词
数据流分析
反汇编
到达-定值
程序理解
-
Keywords
data flow analysis
disassemble
reach-definition
program understanding
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名数据流分析的二进制程序理解方法
- 2
-
-
作者
唐和平
黄曙光
吴志勇
-
机构
解放军电子工程学院网络工程系
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第23期64-66,71,共4页
-
文摘
二进制程序数据流静态分析首先将被分析的程序转换成数据流描述标记,确定每个基本块的输入、输出定值集合,结合程序控制流图,建立模块内数据流方程组,通过迭代的方法解数据流方程并推导出函数输入与输出之间的联系,实现函数功能的静态理解。经过实验表明,在不需要额外提示的情况下,能够准确识别二进制形式的字符串拷贝函数。
-
关键词
敏感数据流
反汇编
到达-定值
程序理解
-
Keywords
sensitive data flow
disassemble
reach-definition
program understanding
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
