文件名称:csmith:Csmith,C程序的随机生成器
文件大小:528KB
文件格式:ZIP
更新时间:2024-05-02 10:54:28
C++
关于
Csmith是C程序的随机生成器。 它的主要目的是使用差异测试作为测试预告片来查找带有随机程序的编译器错误。
Csmith可以在编译器测试领域之外使用。 如果您的应用程序需要一个C程序测试套件,而您又不用费心编写它们,请随时尝试Csmith。
Csmith输出的C程序没有任何未定义的行为(相信我们,这并非微不足道),以及每个生成程序的统计信息。
安装Csmith
您可以从下载的压缩包中安装Csmith ,也可以从源代码中构建它。 以下命令适用于Ubuntu。
git clone https://github.com/csmith-project/csmith.git
cd csmith
sudo apt install g++ cmake m4
cmake -DCMAKE_INSTALL_PREFIX=