diff options
Diffstat (limited to 'development/csmith/README')
| -rw-r--r-- | development/csmith/README | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/development/csmith/README b/development/csmith/README new file mode 100644 index 0000000000..c244b3c26b --- /dev/null +++ b/development/csmith/README @@ -0,0 +1,12 @@ +csmith (generates random C programs) + +Csmith is a random generator of C programs. Its primary purpose is to +find compiler bugs with random programs, using differential testing as +the test oracle. Csmith outputs C programs free of undefined behaviors +(believe us, that's not trivial), and the statistics of each generated +program (as comments at the end of the code). + +It is useful for stress-testing compilers, static analyzers, and other +tools that process C code. Csmith has found bugs in every tool that +it has tested, and has been used to find and report more than 400 +previously unknown compiler bugs. |