基于数据流分析的二进制代码程序理解方法

摘要：

通过数据流分析将程序转换成数据流描述标记,结合数据流到达-定值分析,确定每个基本块的输入、输出定值集合,推导出函数输入与输出间的联系,实现函数功能的静态理解.实验结果表明,在不需要额外提示的情况下,该方法能准确识别二进制形式的字符串拷贝等字符串处理函数.

关键词：数据流分析、反汇编、到达-定值、程序理解

所属期刊栏目：36

分类号：TP391(计算技术、计算机技术)

资助基金：解放军电子工程学院博士研究生创新基金资助项目2007CX017

在线出版日期：2010-10-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：25-27