Viele Software-Entwickler träumen von Tools, die automatisch Fehler finden und damit beim lästigen Debugging helfen. Sehr leistungsfähig ist Splint: Das Semantik-Prüfprogramm liest und versteht den Code und findet eine Vielzahl typischer Fehler.