基于循环变量的静态程序切片分析

本文提出了一种检测C语言程序的循环结构中是否存在死循环的方法,该方法基于循环结构中的循环变量,采用了程序的后向切片技术,以及程序的静态分析方法来分析和理解程序,通过上述方法来判断给定的程序中是否存在死循环模式,也即在程序运行中是否会遇到死循环问题,从而提高程序的运行效率。