Splint 3.1.1
Splint ist ein Werkzeug für die Überprüfung statisch C-Programme für Sicherheitslücken und Programmierfehler.Splint hat viele der traditionellen lint Kontrollen einschließlich ungenutzten Deklarationen, Typ Inkonsistenzen, Verwendung vor definitionem...