Quest generates C code that can uncover bugs in a C compiler. The generated code passes complex arguments between functions and thus tests the translation of function calls. This part of a compiler is hard to test with real-world code because complex functions calls are rare. Not totally surprising, Quest uncovered bugs in production-quality compilers. As such, Quest is most interesting for compiler writers.

Bugs Found in GCC with Quest

• http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18742
• http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23324
• http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16819
• http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19268
• http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30148

Documentation

For additional documentation, please see the Wiki page; for information about installation see the README. The ManPage has details about using Quest. Slides from a 20-minute talk provide an overview (even for non-experts). Quest is discussed in depth in Random Testing of C Calling Conventions, a paper from AADEBUG 2005.

Help Wanted

All help is welcome but especially for:

• building and releasing a Debian package, improving the Debian support
• support for creating a Debian source package
• building an OSX universal binary