ColorGo：定向 Concolic 执行

定向模糊测试是网络安全中针对程序特定部分的关键技术。这种方法在崩溃复现、补丁测试和漏洞检测等各种安全相关领域至关重要。尽管其重要性不言而喻，但当前的定向模糊测试方法在效率与有效性之间存在权衡。例如，定向灰盒模糊测试虽然在生成模糊测试输入方面效率很高，但缺乏足够的精度。低精度导致时间浪费在执行无法帮助到达目标站点的代码上。相反，基于解释器或观察器的定向符号执行可以产生高质量的输入，但会产生不可忽略的运行时开销。这些限制削弱了定向模糊测试器在真实场景中的可行性。为了同时兼顾效率与有效性，在本文中，我们将基于编译的 concolic 执行引入定向模糊测试，并提出 ColorGo，在保持符号执行高精度的同时实现了高可扩展性。ColorGo 是一种新型的定向白盒模糊测试器，它具体执行插桩程序，并对生成的输入具有约束求解能力。它通过增量着色指导探索，包括静态可达性分析和动态可行性分析。我们在多样的真实程序上评估了 ColorGo，并证明 ColorGo 在到达目标站点和复现目标崩溃方面比 AFLGo 高达 100 倍。