| Csmith | |
| Author: | Xuejun Yang, Yang Chen, Eric Eide, John Regehr |
| Latest Release Version: | 2.3.0 |
| Programming Language: | C++, Perl |
| Genre: | Compiler fuzzer |
| License: | BSD license |
Csmith is a test case generation tool. It can generate random C programs that statically and dynamically conform to the C99 standard. It is used for stress-testing compilers, static analyzers, and other tools that process C code. It is a free, open source, permissively licensed C compiler fuzzer developed by researchers at the University of Utah. It was previously called Randprog.[1]