SootUp

Sootup -Bibliothek

Dies ist die Heimat des Sootup -Projekts. Eine vollständige Überholung des guten Rahmens für einen guten, alten statischen Analyse.

Was ist Sootup

• Verwandelt JVM -Bytecode (und andere Eingänge!) In die Zwischendarstellung Jimple.
• Bietet die Erzeugung der Klassenarchie
• Callgraph -Erzeugung mit unterschiedlichen Algorithmen/Präzisionen
• Inter-procedurale Datenflussanalyse mit dem von HEROS aktivierten ID/IFDS-Framework
• Wendet einfache Transformationen beim Abrufen eines Methodenkörpers an (siehe BodyInterceptor )
• Bietet Parsing und Serialisierung des Jimple IR.

Erste Schritte

Beispiele für Dokumentations- und Verwendungsbeispiele finden Sie in Beispielen. Überprüfen Sie die Javadocs. Haben Sie Fragen? Fühlen Sie sich frei, eine Diskussion zu beginnen.

Sootup -Verbesserungen

(im Vergleich zu seinem Vorgänger Ruß.)

• Neue verbesserte API (ohne Globale/Singletons)
• Vollparallelisierbare Architektur
• Ermöglicht das faule Laden von Klassen (keine verschachtelte Belastung von gebrauchten/abhängigen Klassen mehr)
• Frühe Strategie fehlschlagen - Eingabevalidierung beim Erstellen/Erstellen von Objekten
• Auf dem neuesten Stand (dh Java8!) Sourcecode Frontend (Vorsicht: Versuchs-Catch-Eingänge können noch nicht verarbeiten!)
• Full Java 21 Unterstützung für Bytecode
• Mehrere Ansichten (keine einzelne statische Szene mehr)
• Unveränderliche Jimple IR -Objekte und Grafiken

Fühlen Sie sich frei, den Sootup zu verbessern!

Beitragen

Für Feedback- und Feature -Anfragen erstellen Sie am besten geeignete Probleme.
Für Fragen und Klarstellung verwenden Sie bitte die Diskussionen.

Veröffentlichungen

Das Sootup -Papier erläutert weitere Details und die Designentscheidung hinter Sootup.
Preprint ist ebenfalls erhältlich.

Wenn Sie Sootup in Ihrer Forschungsarbeit verwenden, können Sie es wie folgt zitieren:

 @InProceedings{10.1007/978-3-031-57246-3_13,
author="Karakaya, Kadiray
and Schott, Stefan
and Klauke, Jonas
and Bodden, Eric
and Schmidt, Markus
and Luo, Linghui
and He, Dongjie",
editor="Finkbeiner, Bernd
and Kov{'a}cs, Laura",
title="SootUp: A Redesign of the Soot Static Analysis Framework",
booktitle="Tools and Algorithms for the Construction and Analysis of Systems",
year="2024",
publisher="Springer Nature Switzerland",
address="Cham",
pages="229--247",
isbn="978-3-031-57246-3"
}

Unterstützer

Die Entwicklung von Sootup wird durch großzügige Unterstützung der German Research Foundation (DFG) und des Heinz Nixdorf Institute (HNI) finanziert.

Werden Sie Sponsor!