软件学报:jos:2016005 · 记录 #1
Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis
来源日期 2016-12-12
来源记录日期 2016-12-12
雷达观测 2026-11-05 00:24
摘要
在程序分析中，循环（Loop）的处理与分析是一个非常重要而且很有挑战的任务。例如，在符号执行（Symbolic Execution）中，循环的不断展开会导致程序路径数量指数级地增长。因此，符号执行通常会陷入不停的循环展开，而不能覆盖到新的程序分支上，最终影响了测试用例生成或者缺陷检测的效率。