Skip to content

hevrard/csmith

 
 

Repository files navigation

-*- mode: Text -*-

                  Csmith --- a random generator of C programs

              Xuejun Yang, Yang Chen, Eric Eide, and John Regehr
                  {jxyang,chenyang,eeide,regehr}@cs.utah.edu

                    University of Utah School of Computing
                            http://www.cs.utah.edu/
                                       

Please send bug reports and fixes to <csmith-bugs@flux.utah.edu>.

There is a mailing list, <csmith-dev@flux.utah.edu>, for discussing Csmith.
Visit <http://www.flux.utah.edu/mailman/listinfo/csmith-dev> to subscribe.
To post messages to the list, you must first subscribe to the list.

Most Csmith info can be found here:

  http://embed.cs.utah.edu/csmith/

About

Csmith, a random generator of C programs

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C++ 57.8%
  • Shell 19.2%
  • Perl 11.0%
  • Makefile 5.8%
  • C 3.1%
  • M4 2.0%
  • CMake 1.1%