基于流分析的可执行程序结构化表示工具

• 作者: 王伟 罗海宁 韦韬
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 安全漏洞 控制流分析 数据流分析 基本块
• 年，卷（期）: 2007,（16）
• 所属期刊栏目: 产品、研发、测试
• 页码范围: 95-98,120
• 页数: 5页
• 分类号: TP311
• 字数: 7121字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.16.029

摘要

直接面向可执行程序进行安全漏洞分析时,首先需要得到二进制代码的中间语言表示.探讨了流分析技术在汇编代码理解中的应用,并在Linux平台上实现了一个轻量级汇编代码结构化表示工具BESTAR.该系统利用控制流和数据流分析技术识别通用控制结构,分析程序执行流,重构表达式和函数,发现数据依赖关系,将汇编代码转换成一个结构化、易理解的中间语言程序,为进一步进行安全分析打下了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王伟	北京大学计算机科学研究所	118	881	16.0	26.0
3	罗海宁	武警工程学院电子技术系	6	16	2.0	3.0
4	韦韬	北京大学计算机科学研究所	14	96	5.0	9.0