循环器 swMATH ID: 19489 软件作者: Burnim J、Jalbert N、Stergiou C、Sen K 描述: Looper:运行时对无限循环的轻量级检测。当正在运行的程序没有响应时,用户通常无法确定程序是否正在执行一些有用的计算,或者是否已进入无限循环。我们提出LOOPER,这是一种自动技术,用于动态分析正在运行的程序,以证明它是非终止的。LOOPER使用符号执行为依赖于程序值和堆形状的无限循环生成简单的非终结参数。构造的参数通过离线SMT求解器进行验证。我们已经在Java应用程序的原型工具中实现了我们的技术,并且我们在几个非终止基准上证明了我们技术的有效性,包括开源文本编辑器jEdit中报告的无限循环错误。我们的工具能够动态检测大型Java程序执行过程中的无限循环,并且不会发出错误警告,生成符号参数,有助于调试非终止。 主页: http://dl.acm.org/citation.cfm?id=1747517 相关软件: z3型;SLAM公司;蜗牛;可爱的;CCured公司;Con2colic公司;布吉;投掷;污水处理厂;jCUTE公司;杰伦吉;CATG公司;YOGI公司;MODIST公司;JPF-SE公司;SpecExplorer(SpecExplorer);BitBlaze公司;日本运通银行;ConTest公司;CESAR公司 引用于: 3文件 全部的 前5名8位作者引用 1 亚历克斯·艾肯 1 朱尔斯·德沙奈斯 1 纳菲·迪亚洛 1 加尔达洛,Wided 1 帕特丽斯·戈德弗里德 1 阿里·米利 1 塞·库什克 1 拉胡尔·夏尔马 2篇连载文章中引用 1 系统设计中的形式化方法 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 三 计算机科学(68至XX) 按年份列出的引文