Csmith

Csmith
Original author(s)	Xuejun Yang, Yang Chen, Eric Eide, John Regehr
Initial release	2011; 13 years ago
Stable release	2.3.0 / June 21, 2017; 7 years ago
Repository	github.com/csmith-project/csmith/
Written in	C++, Perl
Type	Compiler fuzzer
License	BSD license
Website	embed.cs.utah.edu/csmith/

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]

External links

University of Utah Csmith webpage
yarpgen: Yet Another Random Program Generator, yarpgen is a random C/C++ program generator

References

^ Yang, Xuejun; Chen, Yang; Eide, Eric; Regehr, John (2011). "Finding and understanding bugs in C compilers". Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11. p. 283. CiteSeerX 10.1.1.225.1281. doi:10.1145/1993498.1993532. ISBN 9781450306638.

[YangChen2011-1] Yang, Xuejun; Chen, Yang; Eide, Eric; Regehr, John (2011). "Finding and understanding bugs in C compilers". Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11. p. 283. CiteSeerX 10.1.1.225.1281. doi:10.1145/1993498.1993532. ISBN 9781450306638.

[1]