checkergcc(1)

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. 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. This version of Checker does not need to have the system libraries recompiled.

BUGS
Checker dramatically slows program execution, so it is strictly for debugging.