改进的基于逆向流分析的C程序切片算法 (2014年)

【文件属性】：

文件名称：改进的基于逆向流分析的C程序切片算法 (2014年)

文件大小：819KB

文件格式：PDF

更新时间：2024-06-03 08:34:32

工程技术 论文

为解决切片算法时空开销太大的问题,提出一种改进的基于逆向流的静态切片算法。只需通过分析控制依赖,获得程序整体框架,再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖,以此得到程序切片。该算法减少了计算控制流的工作量,避免计算谓词依赖集的过程,减少了存储资源开销,提高了切片的效率。