随着信息时代的来临,社会对软件的需求迅速增长,各种类型的、复杂多变的软件与日俱增,而这些软件大部分是用高级语言编写的,但绝大部分软件产品只提供可执行的程序,即通常意义上的二进制代码,而不提供高级语言文本,因而软件的分析和理解不得不停留在机器语言的级别上。可是机器代码程序的可读性差,分析起来复杂、困难而且容易出错,效率很低,在很大程度上依赖于人的智力劳动。因而,如何简化程序理解和软件分析是软件工程中的重要课题。程序切片是一种分解程序的重要工具,在软件分析和理解等领域有广泛的应用。本文在二进制程序分析和理解中引入程序切片技术,解决在程序理解、程序复杂性度量、程序转换中遇到的问题。通过切片运算可以达到分解程序的目的,从而降低程序的复杂度,便于程序的理解和进一步的分析。本文的主要工作如下：首先,本文介绍了二进制程序的文件结构,包括PE文件的基本组成部分,其在磁盘和内存中的布局,以及操作系统是如何将二进制程序加载进内存,并介绍反汇编二进制程序的算法。其次,本文使用图理论辅助二进制程序的分析,通过使用反汇编引擎,识别代码中的用户自定义函数,并构造函数的控制流程图和数据流程图。借助控制流程图,识别程序中的if-else, while, do-while等高级语言结构。然后使用表达式算法对程序进行数据流分析,在生成伪高级语言过程中,消除指令的冗余寄存器,冗余条件转移码等,完成了过程调用参数,返回值及它们类型的恢复。然后,利用静态切片技术将程序简化为影响指定的程序语句和判定式的集合,捕获原来程序的行为子集的一部分,通过控制流和数据流分析得到语句间的依赖关系,从而完善对二进制程序上的分析,例如识别间接跳转,间接调用等用控制流分析无法识别的程序结构等。最后,本文选取了数据结构中的冒泡算法和基于win32的对话框程序验证程序切片分析系统的有效性和流程图的可视化。