机构名称：
¥ 1.0
我们提出了Homi，这是一种通过仅维持少数有前途的状态来增强符号执行的新技术。实际上，符号执行通常在担心失去重要状态的情况下保持尽可能多的状态。在本文中，我们表明，只有一小部分国家在增加代码覆盖范围或达到错误点方面起着重要作用。基于这一观察结果，Homi旨在最大程度地减少状态总数，同时在符号执行过程中保持有前途的状态。我们通过一种学习算法来确定有希望的状态，该算法根据测试过程中积累的数据不断更新概率修剪策略。实验结果表明，HOMI大大增加了代码覆盖范围以及在开源C程序中查找Klee的错误的能力。
通过学习积极的国家预防策略来实现符号执行
主要关键词
相关文件推荐
