GitHub - yansendao/csmith: Csmith, a random generator of C programs

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 836 Commits
autoconf		autoconf
cmake		cmake
doc		doc
driver		driver
m4		m4
runtime		runtime
scripts		scripts
src		src
tamer		tamer
.gitattributes		.gitattributes
.gitignore		.gitignore
.travis.yml		.travis.yml
AUTHORS		AUTHORS
BUGS_REPORTED.TXT		BUGS_REPORTED.TXT
CMakeLists.txt		CMakeLists.txt
COPYING		COPYING
ChangeLog		ChangeLog
INSTALL		INSTALL
Makefile.am		Makefile.am
Makefile.in		Makefile.in
NEWS		NEWS
README		README
TODO		TODO
aclocal.m4		aclocal.m4
bootstrap		bootstrap
cmake_config.h.in		cmake_config.h.in
config.h.in		config.h.in
configure		configure
configure.ac		configure.ac
gen100.py		gen100.py
git-hash.sh		git-hash.sh
mac.patch		mac.patch
version.m4		version.m4

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/