ATLAS: Multi-View Code Representation Tool for C and C++ Source Programs
ATLAS ist ein Open-Source-Kommandozeilen-Tool, das aus C- und C++-Quelldateien direkt ausgerichtete abstrakte Syntaxbäume, Kontrollflussgraphen und Datenflussgraphen generiert, ohne dass ein vollständiger Build erforderlich ist, und dabei Multi-View-Repräsentationen in den Formaten JSON, DOT oder PNG erzeugt.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Stellen Sie sich vor, Sie haben eine riesige, komplizierte Lego-Burg aus tausenden winzigen Steinen gebaut. Sie möchten verstehen, wie sie funktioniert, aber der Blick auf die fertige Burg allein reicht nicht aus. Sie benötigen drei spezifische Blaupausen:
- Die Form-Blaupause: Wie die Steine gestapelt sind (Syntax).
- Die Verkehrs-Blaupause: Wie eine Person durch die Räume und Flure gehen würde (Control Flow).
- Die Versorgungs-Blaupause: Wie Materialien von einem Raum zum anderen bewegt werden, um Dinge zu bauen (Data Flow).
Jahrelang mussten Sie, wenn Sie eine solche Blaupause für eine bestimmte Art von Burg (C- und C++-Code) wollten, eine riesige Baucrew anheuern, um das Gebäude erst fertigzustellen. Wenn auch nur ein einziger Stein fehlte (eine fehlende Datei oder ein Header), stoppte die Crew, und Sie erhielten gar keine Blaupausen.
Hier kommt ATLAS ins Spiel.
ATLAS ist wie ein superintelligenter, sofort einsatzbereiter Scanner, dem es egal ist, ob die Burg fertig ist. Er kann einen Haufen loser Steine, eine halbfertige Wand oder eine komplette Burg analysieren und sofort alle drei Blaupausen für Sie zeichnen.
So funktioniert es, unter Verwendung einfacher Analogien:
1. Die „Baustopp-Regel“
Die meisten Werkzeuge sind wie strenge Architekten, die sagen: „Ich kann keinen Plan zeichnen, bis Sie das Gebäude fertiggestellt und mir die offizielle Genehmigung übergeben haben.“ Wenn Ihnen eine einzige Header-Datei (ein kleiner Anleitungsbogen) fehlt, geben sie auf.
ATLAS ist anders. Es ist wie ein Detektiv, der ein halbfertiges Puzzle betrachten und sagen kann: „Ich brauche das Bild auf dem Karton nicht, um zu wissen, wohin dieses Teil gehört.“ Es kann Code analysieren, selbst wenn Teile des Projekts fehlen oder wenn der Code tatsächlich nicht kompiliert werden könnte. Es arbeitet direkt am rohen Quelltext.
2. Das „Universelle ID-Tag“-System
Normalerweise, wenn Sie eine Form-Blaupause von einem Werkzeug und eine Verkehrs-Blaupause von einem anderen erhalten, verwenden diese unterschiedliche Nummerierungssysteme. Es ist, als würde eine Karte „Raum 101“ verwenden und die andere „Den blauen Flur“. Man kann sie nicht einfach zusammenführen.
ATLAS gibt jedem einzelnen Stück Code ein universelles ID-Tag.
- Eine Variable namens
xerhält dieselbe ID in der Form-, Verkehrs- und Versorgungs-Blaupause. - Da sie alle diese Tags teilen, können Sie die Blaupausen mischen und kombinieren. Sie können nur die Verkehrs-Blaupause betrachten, nur die Versorgungsleitungen oder eine kombinierte Ansicht, bei der die Verkehrs-Linien rot und die Versorgungs-Linien blau sind, alles übereinander auf derselben Karte.
3. Die „Zoom- und Filter-Funktion“
Manchmal ist eine Blaupause zu unübersichtlich, weil sie zu viele winzige Details enthält (wie jede einzelne Zahl oder wiederholte Variablennamen).
ATLAS hat drei „magische Knöpfe“ (Command-Line-Flags), um aufzuräumen, ohne den Code neu scannen zu müssen:
- Collapse (Zusammenklappen): Wenn das Wort „count“ 50 Mal erscheint, führt dieser Knopf sie zu einem einzigen großen Knoten zusammen, so als würde man alle „Küchen“-Räume zu einer einzigen „Küchenzone“ gruppieren.
- Blacklist (Schwarze Liste): Sie können ATLAS sagen: „Zeig mir nicht die Zahlen.“ Es entfernt sofort alle numerischen Steine von der Karte, sodass nur noch die Struktur übrig bleibt.
- View Selection (Auswahlansicht): Sie können nach der Verkehrs-Blaupause fragen, oder nur nach der Versorgungs-Blaupause, oder nach beiden.
4. Wie gut ist es?
Die Autoren haben ATLAS mit einer riesigen Bibliothek von Open-Source-Code (TheAlgorithms) getestet.
- Erfolgsrate: Es zeichnete eine korrekte „Verkehrs-Blaupause“ (Control Flow Graph) für 96,8 % der C-Dateien und 91,7 % der C++-Dateien.
- Die „kaputten“ Dateien: Selbst für Dateien, die so fehlerhaft waren, dass sie von einem normalen Computer nicht kompiliert werden konnten, gelang es ATLAS dennoch, die Karte korrekt zu zeichnen.
- Praxisanwendung: Es wird bereits als die „Augen“ für ein KI-System (SPARC) verwendet, das Testfälle für Code schreibt. Da ATLAS eine so klare Karte darüber liefert, wie der Code sich bewegt, kann die KI bessere Tests schreiben, als sie es zuvor konnte.
5. Was es (noch) nicht kann
ATLAS ist erstaunlich, aber es ist keine Magie. Es gibt zu, dass es einige Schwachstellen hat:
- Es verfolgt „Geister-Pointer“ (wo ein Pointer auf etwas Verborgenes im Speicher zeigt) nicht besonders gut.
- Es hat Schwierigkeiten mit komplexen C++-Funktionen wie fortgeschrittenen Templates oder Operator Overloading.
- Es wurde noch nicht auf „megagroße“ Projekte (Millionen von Codezeilen) getestet, sondern nur auf kleinere bis mittlere Größen.
Das Faz-it
ATLAS ist ein Werkzeug, das Forschern und Entwicklern ermöglicht, das „Skelett“ von C- und C++-Code zu sehen, ohne den ganzen Körper erst bauen zu müssen. Es richtet die Struktur, die Bewegung und den Datenfluss in einer einheitlichen Karte aus, was es Computern (und Menschen) viel einfacher macht, Software zu verstehen, zu analysieren und zu verbessern. Es ist kostenlos, Open-Source und kommt in einer „Docker“-Box, was bedeutet, dass jeder es ausführen kann, ohne ein Dutzend verschiedener Tools installieren zu müssen.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.