13 lines
607 B
Plaintext
13 lines
607 B
Plaintext
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.
|