Csmith

Test case generation tool From Wikipedia, the free encyclopedia

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]

Original authorsXuejun Yang, Yang Chen, Eric Eide, John Regehr
Initial release2011; 15 years ago (2011)
Stable release
2.3.0 / June 21, 2017; 8 years ago (2017-06-21)
Written inC++, Perl
Quick facts Original authors, Initial release ...
Csmith
Original authorsXuejun Yang, Yang Chen, Eric Eide, John Regehr
Initial release2011; 15 years ago (2011)
Stable release
2.3.0 / June 21, 2017; 8 years ago (2017-06-21)
Written inC++, Perl
TypeCompiler fuzzer
LicenseBSD license
Websiteembed.cs.utah.edu/csmith/
Repositorygithub.com/csmith-project/csmith/
Close

References

Related Articles

Wikiwand AI