论文部分内容阅读
程序切片是一种程序分析和逆向工程所采用的基本技术。程序依赖图是程序切片中最基础的表示形式，通过程序依赖图可进行控制流、数据流分析，从而获得程序切片.本文采用F(p)表达式作为源代码的中间表示形式，给出了构造控制流图、数据依赖图、控制依赖图的三种算法、进而生成程序依赖图。在深入分析结构化跳转语句带来的隐含控制依赖关系的跟随域问题基础上，提出了采用虚节点栈构造控制依赖图的算法，解决带多层结构化跳转语句程序的控制依赖关系分析问题。