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

• 作者: 吴志勇 唐和平 黄曙光
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 敏感数据流 反汇编 到达-定值 程序理解
• 年，卷（期）: 2010,（23）
• 页码范围: 64-66,71
• 分类号: TP393.08
• 字数: 6184字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.23.018

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴志勇	解放军电子工程学院网络工程系	7	70	4.0	7.0
2	黄曙光	解放军电子工程学院网络工程系	17	119	5.0	10.0
3	唐和平	解放军电子工程学院网络工程系	7	32	4.0	5.0