跳转语句跟随域分析与程序依赖图构造算法
程序切片是一种程序分析和逆向工程所采用的基本技术。程序依赖图是程序切片中最基础的表示形式，通过程序依赖图可进行控制流、数据流分析，从而获得程序切片.本文采用F(p)表达式作为源代码的中间表示形式，给出了构造控制流图、数据依赖图、控制依赖图的三种算法、进而生成程序依赖图。在深入分析结构化跳转语句带来的隐含控制依赖关系的跟随域问题基础上，提出了采用虚节点栈构造控制依赖图的算法，解决带多层结构化跳转语句程序的控制依赖关系分析问题。
程序切片 程序依赖图 控制依赖 跟随域 逆向工程 跳转语句
韩喆 陈世鸿
武汉大学 计算机学院,湖北省 武汉市 430074
国内会议
天津
中文
499-507
2009-10-23（万方平台首次上网日期，不代表论文的发表时间）