Schiene Schiene ist ein Werkzeug, das C-Programme für Sicherheitsprobleme und Codierfehler überprüft.
Jetzt downloaden

Schiene Ranking & Zusammenfassung

Schiene Stichworte

Debugger Sicherheitsprobleme Kodierfehler Schiene

Schiene Beschreibung

Schiene ist ein Werkzeug, das C-Programme für Sicherheitsprobleme und Codierfehler überprüft. SPLINT ist ein Werkzeug zum statischen Prüfen von C-Programmen für Sicherheitsanfälligkeiten und Programmierfehler. SPLINT führt viele der traditionellen Fusselprüfungen ein, einschließlich nicht genutzter Erklärungen, Typinkonsistenzen, Verwendung vor dem Definition, unerreichbarer Code, ignorierter Rückgabewerte, Ausführungswege ohne Rückgabe, wahrscheinlich unendlich Loops und Tropfen durch Fälle Anmerkungen sind stilisierte Kommentare, die Annahmen über Funktionen, Variablen, Parameter und Typen dokumentieren Ergebnisse prüfen. Eine Repräsentationsaufwands-Nutzen-Kurve für die Verwendung von Split wird in Abbildung 1 angezeigt. CODE-ANNOTATIONEN Die Anzahl der Fehler, die erkannt werden können, erhöht sich drastisch C-Compiler · Verstöße gegen Informationsverstöße · Speicherverwaltungsfehler einschließlich der Anwendungen von baumelnden Referenzen und Speicherlecks · Gefahrener Aliasing · Modifikationen und globale variable Anwendungen, die mit den angegebenen Schnittstellen inkonsistent sind · Problematischer Kontrollfluß, z. und verdächtige Aussagen · Anfälligkeiten der Pufferüberlauf · gefährlich Makro-Implementierungen oder Invokationen · Verstöße gegen kundenspezifische Namenskonventionen.

Schiene Zugehörige Software