基于路径分析的死循环检测
| Data(s) |
2009
|
|---|---|
| Resumo |
提出了一种自动检测C语言程序中是否含有死循环的方法.该方法基于程序分析技术,包括循环展开和路径可行性分析技术.该方法首先通过遍历控制流图生成待查循环的检验路径;之后通过分析检验路径的可行性以及路径之间的联系,判断这些路径是否符合死循环模式.在此方法基础上实现了原型工具LoopAnalyzer,并对一组基准程序进行测试.实验结果表明此工具能有效地检测出C语言程序中的死循环,并且准确率较高. |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
阮辉; 严俊; 张健.基于路径分析的死循环检测,计算机学报,2009,32(9):1750-1758 |
| Palavras-Chave | #死循环 #循环展开 #路径可行性 #测试数据 |
| Tipo |
期刊论文 |
