程序的静态分析相关硕士博士期刊学术论文

本文提出了一种检测C语言程序的循环结构中是否存在死循环的方法,该方法基于循环结构中的循环变量,采用了程序的静态分析技术,以及......