用 AI 检测代码覆盖率

最近发现一个检测代码覆盖率的新玩法,可以在不执行代码的情况下,利用 AI 来预测代码的覆盖率。本文来简单了解一下。

Alive2: LLVM 编译器优化正确性验证工具

编译器会进行很多的代码转换和优化的操作,如何保证这些操作的正确性尤为重要。这时候就需要翻译验证(translation validation) 工具了,本文简单介绍下发现了 LLVM 转换中 10 多个 bug 的 Alive2。