规模化模糊测试：调度器的未言之故

如何仅使用现有模糊器和普通 PC 检索 1,000 个程序中的漏洞？我们考虑了这一问题，表明制定一个良好策略——决定针对哪些程序进行模糊测试以及持续多久——会显著影响跨程序发现漏洞的数量。事实上，采用有效策略的影响力，相当于使用前沿模糊器的效果。该问题称为规模化模糊测试，策略称为调度器。我们表明，除了将所有程序分配相等模糊时间的朴素调度器外，还可以考虑基于各程序模糊进程动态调整时间分配的调度器。由于导师能引起更高的总漏洞数，以及大多数程序中发现漏洞的数量，动态调度器优于朴素调度器。在最坏情况下，朴素调度器与动态调度器之间的性能差距，甚至可以超过两个模糊器之间的差距。我们的发现表明，推进调度器的任务对于规模化模糊测试至关重要。我们开发了多个调度器，并利用最为 sophisticated 的一个调度器，对我们新编译的约 5,000 个 Ubuntu 程序进行同步模糊测试，检测出 4908 个漏洞。