Csmith is a tool that can generate random C programs that
statically and dynamically conform to the C99 standard. It is
useful for stress-testing compilers, static analyzers, and
other tools that process C code