…
|
||
---|---|---|
.. | ||
README | ||
compiler_test.diff | ||
csmith.SlackBuild | ||
csmith.info | ||
launchn.diff | ||
slack-desc |
README
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.