基于GCC关键变量数据流分析算法的程序切片技术

来源：计算机工程与应用杂志2017年第24期北京时间：

作者：杨小川，姜 军，马晓东，漆锋滨

单位：江南计算技术研究所，江苏 无锡 214083

摘要：随着程序的规模的扩大和复杂度的提高，通过直接分析源码进行程序切片，变得十分困难。在现有的利用编译优化技术来优化程序切片的方法中，存在无法有效利用程序的编译时信息和编译器的优化技术，以及对语言的支持不完善的问题。为此，分析了GCC编译器在编译时的中间表示，首次提出了基于GCC关键变量数据流分析算法的程序切片技术，以程序的GIMPLE中间表示为基础，以程序基本块为单位，通过迭代求解数据流方程，分析程序基本块内和不同基本块间的关键变量数据流信息。该程序切片技术可以获取源程序中仅与预设目标函数相关的关键变量和关键语句，缩减程序规模。最后通过实验，证明了该算法的可行性。

关键词：程序切片,目标函数,关键变量,数据流分析,GIMPLE中间表示