Bug#633762: ITP: csmith -- random generator of C programs
 

Package: wnpp
Severity: wishlist
Owner: Peter Pentchev <roam@ringlet.net>

* Package name : csmith
Version : 2.0.0
Upstream Author : Xuejun Yang <jxyang@cs.utah.edu>,
Yang Chen <chenyang@cs.utah.edu>,
Eric Eide <eeide@cs.utah.edu>,
John Regehr <regehr@cs.utah.edu>
* URL : http://embed.cs.utah.edu/csmith/
* License : BSD-2
Programming Lang: C++
Description : random generator of C programs

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