Geek Repo
Location:Salt Lake City, UT, USA
Home Page:http://embed.cs.utah.edu/csmith/
Github PK Tool:Github PK Tool
C-Reduce, a C and C++ program reducer
Csmith, a random generator of C programs
Tools for testing C compilers for the correct handling of volatile objects.