Code-Auditor Werkzeug zur statischen Analyse von Programmen. Ein Checkout-Compiler enthält viele Fähigkeiten eines Code-Auditors. Geprüft werden z. B. Einhaltung der Regeln der strukturierten Programmierung, Feldgrenzen von Indizes, nicht ausführbarer Code...