bcov 用于高效二进制级别覆盖率分析的工具。 bcov在没有编译器支持的情况下静态地检测x86-64 ELF二进制文件。它具有探针修剪，精确的CFG分析和复杂的仪器技术的功能。我们总结了本研究在2分钟预告片。 资源 有关详细信息，请参见我们的ESEC / FSE'20。您可以找到略微扩展的预印本。 我们在llvm-dev邮件列表上有一篇。它简要介绍了bcov并讨论了潜在的未来工作。 这篇博客详细介绍了剥离二进制文件中功能定义的可用性。 您可以找到我们的ESEC / FSE'20演讲。幻灯片（带