Csmith
Jump to navigation
Jump to search
| Csmith | |
|---|---|
| Original authors | Xuejun Yang, Yang Chen, Eric Eide, John Regehr |
| Initial release | 2011 |
| Stable release | 2.3.0
/ June 21, 2017 |
| Repository | github |
| Written in | C++, Perl |
| Engine | |
| Type | Compiler fuzzer |
| License | BSD license |
| Website | embed |
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
[edit | edit source]- University of Utah Csmith webpage
- yarpgen: Yet Another Random Program Generator, yarpgen is a random C/C++ program generator
References
[edit | edit source]- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).