论文部分内容阅读
提出了一种自动检测C语言程序中是否含有死循环的方法．该方法基于程序分析技术，包括循环展开和路径可行性分析技术．该方法首先通过遍历控制流图生成待查循环的检验路径；之后通过分析检验路径的可行性以及路径之间的联系，判断这些路径是否符合死循环模式．在此方法基础上实现了原型工具LoopAnalyzer，并对一组基准程序进行测试．实验结果表明此工具能有效地检测出C语言程序中的死循环，并且准确率较高．