|
Project Information
|
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
DocumentationFor 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 WantedAll help is welcome but especially for:
|