はじめに ランダム Cプログラムジェネレータ Csmithの紹介. http://embed.cs.utah.edu/csmith/ コンパイラのテストでランダムテストは効果的であるというのが 昔から言われていまして、いくつかその手のものがあるのですが、 Csmithは GCCや llvm-clangで多くのバグを見つけたというのが 紹介されていたので気になってました。 論文は結構前から読めたのですが、ソースが公開されたのは 最近なのでインストールして使ってみました。そのときのメモ。 ビルド あんまり詳細なことが書かれていないのでよくわかってないですが、 C++コンパイラがあればビルドできると思います。 Ubuntu 10.10(x64) g++ 4.4.5で確認しました. % wget http://embed.cs.utah.edu/csmith/csmith-2.0.0.tar.gz