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

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