基于可执行代码中间表示的控制流分析

• 作者: 王瑞敏 王震宇 田佳 窦增杰 陈楠
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 逆向分析 中间表示 控制流 抽象表示
• 年，卷（期）: 2010,（21）
• 页码范围: 31-33,36
• 分类号: TP311
• 字数: 3180字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.21.011

摘要

为准确刻画程序的控制流和正确地提取程序控制结构,给出可执行代码控制流分析的整体架构和算法,阐述可执行代码反汇编结果的抽象表示、程序控制流构造等技术.反汇编结果抽象表示采用简化汇编语言中间表示(SAIR)以保证分析的简洁性和严密性.基于SAIR给出程序控制流构造函数,设计程序控制流构造算法并给出分析实例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王震宇	解放军信息工程大学信息工程学院	17	97	5.0	9.0
2	王瑞敏	解放军信息工程大学信息工程学院	7	13	2.0	3.0
3	窦增杰	解放军信息工程大学信息工程学院	6	11	2.0	3.0
4	陈楠	解放军信息工程大学信息工程学院	4	9	2.0	3.0
5	田佳	解放军信息工程大学信息工程学院	1	5	1.0	1.0