Veröffentlichung des GNU cflow 1.7 Tools

Nach drei Jahren Entwicklung wurde die Version 1.7 des GNU cflow-Tools veröffentlicht, das dazu dient, anschauliche Funktionsaufrufgraphen in C-Programmen zu erstellen. Dies kann verwendet werden, um das Verständnis der Anwendungslogik zu erleichtern. Der Graph wird ausschließlich auf Grundlage der Analyse des Quelltextes erstellt, ohne dass das Programm ausgeführt werden muss. Die Generierung von sowohl direkten als auch inversen Flussgraphen sowie von Listen mit Verweis-Kreuzungen für Code-Dateien wird unterstützt.

Die Veröffentlichung zeichnet sich durch die Implementierung der Unterstützung für das Ausgabeformat „dot“ (‚—format=dot‘) aus, um Ergebnisse in der DOT-Sprache zu erzeugen, die für die Visualisierung in der Graphviz-Software verwendet werden können. Es wurde die Möglichkeit hinzugefügt, mehrere Startfunktionen durch Duplizieren der Optionen ‚—main‘ anzugeben; für jede dieser Funktionen wird ein separater Graph erzeugt. Außerdem wurde die Option „—target=FUNCTION“ hinzugefügt, die es ermöglicht, den resultierenden Graphen nur auf den Pfad zu beschränken, der bestimmte Funktionen umfasst (die Option „—target“ kann mehrmals angegeben werden). Im cflow-Modus wurden neue Befehle zur Navigation durch den Graphen hinzugefügt: „c“ — Wechsel zur aufrufenden Funktion, „n“ — Wechsel zur nächsten Funktion auf derselben Verschachtelungsebene und „p“ — Wechsel zur vorherigen Funktion mit derselben Verschachtelungstiefe.

In der neuen Version wurden auch zwei Sicherheitsanfälligkeiten behoben, die bereits 2019 festgestellt wurden und zu Speicherbeschädigungen bei der Verarbeitung speziell formatierter Quelltexte in cflow führen. Die erste Anfälligkeit (CVE-2019-16165) entsteht durch den Zugriff auf den Speicher nach seiner Freigabe (use-after-free) im Code des Parsers (Funktion reference in parser.c). Die zweite Anfälligkeit (CVE-2019-16166) betrifft einen Pufferüberlauf in der Funktion nexttoken(). Nach Ansicht der Entwickler stellen die genannten Probleme keine Sicherheitsbedrohung dar, da sie lediglich zu einem unerwarteten Beenden des Programms führen.

Quelle: opennet.ru