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

摘要：

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

关键词：逆向分析、中间表示、控制流、抽象表示

所属期刊栏目：36

分类号：TP311(计算技术、计算机技术)

资助基金：国家"863"计划基金资助项目2007AA01Z483;河南省高新领域重点攻关基金资助项目082102210011

在线出版日期：2011-01-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：31-33,36