摘要： 通过数据流分析将程序转换成数据流描述标记，结合数据流到达-定值分析，确定每个基本块的输入、输出定值集合，推导出函数输入与输出间的联系，实现函数功能的静态理解。实验结果表明，在不需要额外提示的情况下，该方法能准确识别二进制形式的字符串拷贝等字符串处理函数。
关键词:
数据流分析,
反汇编,
到达-定值,
程序理解
Abstract: On the basis of data flow analysis, this paper translates program into data flow descriptive markers and obtains reach in and out definitions sets of basic blocks through data flow reach-definition anlysis. It establishes relation between function input and output to achieve static understanding. Experimental results demonstrate that string operating functions such as copy routine are correctly identified without extra clue by using this method.
Key words:
data flow analysis,
disassemble,
reach-definition,
program understanding
中图分类号:
唐和平, 吴志勇, 黄曙光, 李永成. 基于数据流分析的二进制代码程序理解方法[J]. 计算机工程, 2010, 36(17): 25-27.
TANG He-Beng, TUN Zhi-Yong, HUANG Shu-Guang, LI Yong-Cheng. Program Understanding Approach for Binary Code Based on Data Flow Analysis[J]. Computer Engineering, 2010, 36(17): 25-27.