NAME
checkergcc, checkerg++ - compiler interface to Checker
SYNOPSIS
checkergcc ...
DESCRIPTION
checkergcc or checkerg++ is the usual way to compile a C or C++ program with Checker. Programs compiled with Checker are rigorously checked for proper use of static, dynamic, and automatic memory.
Under Debian GNU/Linux, please read /usr/doc/gccchecker/README.Debian for more details. In addition, please see Texinfo document `checker' for further details on the use of Checker.
OVERVIEW
Use checkergcc or checkerg++ exactly as you would use gcc or g++ in compiling and linking your program. When your program is then executed, Checker will be invoked.
BUGS
Checker dramatically slows program execution, so it is strictly for debugging.