| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 基于路径分析的死循环检测 |
| 作者 | 阮辉1),2) 严俊1) 张健1) |
| 作者单位 | 1)(中国科学院软件研究所计算机科学国家重点实验室 北京 100190) 2)(中国科学院研究生院 北京 100190) |
| 发表年份 | 2009 |
| 发表月份 | 9期(1750—1758) |
| 文章摘要 | 摘要 提出了一种自动检测C语言程序中是否含有死循环的方法.该方法基于程序分析技术，包括循环展开和路径可行性分析技术.该方法首先通过遍历控制流图生成待查循环的检验路径；之后通过分析检验路径的可行性以及路径之间的联系，判断这些路径是否符合死循环模式.在此方法基础上实现了原型工具LoopAnalyzer，并对一组基准程序进行测试.实验结果表明此工具能有效地检测出C语言程序中的死循环，并且准确率较高. 关键词 死循环；循环展开；路径可行性；测试数据 中图法分类号：TP311 DOI号：10.3724/SP.J.1016.2009.01750 |