使用Csmith自动挖掘编译器的Bug

        编译器作为系统软件，无论在小型还是大型软件系统中都有着相当重要的作用。以C程序为代表的计算机软件都需要通过编译来得到可执行文件，因此由编译器导致的 Bug 会对软件带来灾难性的影响。那么如何挖掘编译器中的bug呢？Csmith是一种广泛使用的编译器验证工具，本文首先介绍用Csmith验证编译器的基本思想，然后演示Csmith的用法，最后展示一个基于Csmith的自动寻找编译器Bug的脚本。

一、用Csmith验证编译器的基本思想

        Csmith论文原文：Finding and understanding bugs in C compilers | Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation

        Csmith是一种针对编译器的测试工具，它可以随机产生有效的C代码来帮助发现编译器中的Bug。
        Csmith使用差分测试的方法，如下图所示：

        测试的具体步骤如下：

• 使用Csmith生成大量测试程序。
• 将同一程序运行在不同的编译器上，或是同一编译器的不同编译选项。