基于路径分析的死循环检测
文献类型:期刊论文
作者 | 阮辉 ; 严俊 ; 张健 |
刊名 | 计算机学报
![]() |
出版日期 | 2009 |
卷号 | 32期号:9页码:1750-1758 |
关键词 | 死循环 循环展开 路径可行性 测试数据 |
其他题名 | infinite loop detection based on path analysis |
中文摘要 | 提出了一种自动检测C语言程序中是否含有死循环的方法.该方法基于程序分析技术,包括循环展开和路径可行性分析技术.该方法首先通过遍历控制流图生成待查循环的检验路径;之后通过分析检验路径的可行性以及路径之间的联系,判断这些路径是否符合死循环模式.在此方法基础上实现了原型工具LoopAnalyzer,并对一组基准程序进行测试.实验结果表明此工具能有效地检测出C语言程序中的死循环,并且准确率较高. |
收录类别 | ei |
语种 | 中文 |
公开日期 | 2010-08-11 |
源URL | [http://124.16.136.157/handle/311060/3134] ![]() |
专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
推荐引用方式 GB/T 7714 | 阮辉,严俊,张健. 基于路径分析的死循环检测[J]. 计算机学报,2009,32(9):1750-1758. |
APA | 阮辉,严俊,&张健.(2009).基于路径分析的死循环检测.计算机学报,32(9),1750-1758. |
MLA | 阮辉,et al."基于路径分析的死循环检测".计算机学报 32.9(2009):1750-1758. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。