Running symbolic execution forever
Running symbolic execution forever
复制标题
永远运行符号执行
DOI：
10.1145/3395363.3397360
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Busse F
中科院分区：
文献类型：
--
作者：
Busse F
当使用符号执行来分析实际应用程序时，它通常会在相对较短的时间内消耗所有可用内存，有时会导致无法在较长时间内分析应用程序。在本文中，我们提出了一种技术，它可以将正在进行的符号执行分析记录到磁盘上，并在以后选择性地恢复感兴趣的路径，从而使符号执行可以无限期地运行。为了取得成功，我们的方法解决了几个关键的研究挑战，这些挑战涉及检测重新执行的差异、有效存储长期运行的执行、在重新执行期间更改搜索启发式规则以及提供存储的执行的全局视图。我们对93个Linux应用程序的广泛评估表明，我们的方法是实用的，使这些应用程序能够运行数天，同时继续探索新的执行路径。
When symbolic execution is used to analyse real-world applications, it often consumes all available memory in a relatively short amount of time, sometimes making it impossible to analyse an application for an extended period. In this paper, we present a technique that can record an ongoing symbolic execution analysis to disk and selectively restore paths of interest later, making it possible to run symbolic execution indefinitely. To be successful, our approach addresses several essential research challenges related to detecting divergences on re-execution, storing long-running executions efficiently, changing search heuristics during re-execution, and providing a global view of the stored execution. Our extensive evaluation of 93 Linux applications shows that our approach is practical, enabling these applications to run for days while continuing to explore new execution paths.
使用测试范围来改进符号执行
影响因子：
4.1
作者：
Rui Qiu;S. Khurshid;C. Păsăreanu;Junye Wen;Guowei Yang
通讯作者：
Guowei Yang