一种面向目标代码的程序静态分析方法

摘要

本发明公开了一种面向目标代码的程序静态分析方法，所述方法包括反编译步骤、中间表示精化步骤、程序分析步骤及可视化步骤。其中反编译步骤以待分析的目标代码文件作为输入，对输入文件进行拆封装格式、反编译操作，生成汇编代码、控制流图及过程边界等信息并作为该步骤的输出；中间表示精化步骤根据反编译步骤生成的信息，生成相应的数据结构并进行精化操作；程序分析步骤根据反编译步骤和中间表示精化步骤输出的信息生成待分析程序的几种中间表示形式；可视化步骤用于分析过程中各种图形和其他信息的可视化显示。该方法根据实际执行的二进制代码，对程序行为进行分析，比面向源码的分析工具具有更高的保真度。