Proj CMI Paper Reading: Compiler Validation via Equivalence Modulo Inputs

Abstract

本文：Equivalence Modulo Inputs
目标：验证编译器优化
方法：动静态分析，收集原始程序的EMI变体，做差分测试，随机修剪未执行代码？

实验：

1. 11 个月内进行了广泛的测试，仅针对 GCC 和 LLVM 就获得了 147 个已确认的、独特的错误报告。这些错误中的大多数是错误编译，并且已经修复了 100 多个