Fehler in der Speicherverwaltung sind mit einem normalen Debugger kaum zu entdecken. Hilfe versprechen Mpatrol und Valgrind: Die Malloc-Debugger überwachen jede Memory-Aktion und warnen den Entwickler, wenn sein Programm Speicherlücken zurücklässt oder neben dem erlaubten Bereich schreibt.

Splint liest C-Quellcode und findet typische Programmierfehler, das klappt ohne Änderung am Code. Mit etwas Zusatzaufwand ist aber noch mehr drin: In speziellen Kommentaren beschreibt der Entwickler sein Programm, damit ihn Splint besser versteht und noch mehr schmutzige Codestellen entdeckt.