数据流分析的二进制程序理解方法

摘要

二进制程序数据流静态分析首先将被分析的程序转换成数据流描述标记,确定每个基本块的输入、输出定值集合,结合程序控制流图,建立模块内数据流方程组,通过迭代的方法解数据流方程并推导出函数输入与输出之间的联系,实现函数功能的静态理解.经过实验表明,在不需要额外提示的情况下,能够准确识别二进制形式的字符串拷贝函数.