Téléchargement de SootUp - Téléchargement du code source SootUp

SootUp

Autres catégories

v1.3.0

Télécharger

Bibliothèque de suotup

Ceci est la maison du projet Sootup . Une refonte complète de la bonne suie du cadre d'analyse statique.

Qu'est-ce que Sootup

Transforme JVM Bytecode (et autres entrées!) En Jimple de représentation intermédiaire.
Fournit une génération de classe d'hiérarchie
Génération de callgraph avec différents algorithmes / précision
Analyse inter-procédurale de flux de données avec le cadre IDE / IFDS activé par Heros
Applique des transformations simples sur la récupération d'un corps de méthodes (voir BodyInterceptor )
Fournit l'analyse et la sérialisation de l'IR jimple.

Commencer

Des exemples de documentation et d'utilisation sont disponibles sur des exemples. Vérifiez les javadocs. Avez-vous des questions? N'hésitez pas à commencer une discussion.

Améliorations de suotup

(par rapport à sa suie prédécesseur.)

Nouvelle API améliorée (sans global / singletons)
Architecture entièrement parallélisable
Permet le chargement paresseux des classes (plus de chargement entrelacé des classes utilisées / dépendantes)
Échec de la stratégie précoce - validation d'entrée lors de la construction / construire des objets
À la date (c'est-à-dire Java8!) Sourcecode frontend (méfiez-vous: Impossible de gérer les entrées d'essai, encore!)
Prise en charge complète de Java 21 pour Bytecode
Vues multiples (plus de scène statique unique)
Objets et graphiques IR immuables

N'hésitez pas à améliorer la sucotup!

Contributif

Pour les commentaires et les demandes de fonctionnalités, créez mieux les problèmes appropriés.
Pour les questions et les clarifications, veuillez utiliser les discussions.

Publications

Le document de suotup explique plus de détails et la décision de conception derrière Sootup.
Un préimprimée est également disponible.

Si vous utilisez Sootup dans vos travaux de recherche, n'hésitez pas à le citer comme suit:

 @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"
}