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 nicht erreichbar Code, ignoriert Rückgabewerte, Ausführungspfade ohne Wiederkehr, wahrscheinlich Endlosschleifen und durch Fällen fallen.
Mächtiger Kontrollen durch zusätzliche Informationen im Quellcode Anmerkungen gegeben ermöglicht. Anmerkungen sind stilisierte Kommentare Dieses Dokument Annahmen über Funktionen, Variablen, Parameter und Typen.
Zusätzlich zu den Kontrollen insbesondere von Annotationen aktivieren, viele der herkömmlichen faserPrüfungen werden durch Ausnutzen dieser zusätzlichen Information verbessert.
Als weitere Anstrengungen in Annotation-Programme, bessere Prüfergebnisse setzen. Eine repräsentative Aufwand-Nutzen-Kurve für die Verwendung Schiene ist in Abbildung 1 dargestellt.
Splint ist flexibel gestaltet und ermöglicht Programmierern die entsprechenden Punkte auf dem Aufwand-Nutzen-Kurve für bestimmte Projekte auszuwählen.
Da verschiedene Überprüfungen eingeschaltet sind und weitere Informationen im Code angegeben Annotationen die Anzahl der Fehler, die entdeckt werden können, drastisch erhöht.
Probleme, die durch Splint festgestellt sind:
Kommentare nicht gefunden