Qilin

Euen Die Dokumentation für Qilin befindet sich in der Entwicklung.

Nachricht

• Debloaterx, die in unserem OOPSLA -Papier veröffentlicht wurde, ist jetzt in Qilin erhältlich
• Qilin unterstützt jetzt Soot-4.5.0

Qilin: Ein vollständig imperatives Java -Zeigeranalyse -Framework.

Das Repository veranstaltet Qilin, ein neues Java-Zeigeranalyse-Framework zur Unterstützung feinkörniger Kontextsensitivität. Für technische Details finden Sie in unserem ECOOP'22 -Papier.

Ein kurzer Start

Voraussetzungen

• Java 16+ (Qilin verwendet das Muster -Matching instanceof seit Java 16).
• Python 3.5+ (die in artifact/qilin.py verwendete API subprocess.run wird in Python 3.5 hinzugefügt).

Herunterladen

Dieses Repository enthält ein submodule , das eine Reihe realer referenzierter Benchmark für Qilin enthält. Wenn Sie Qilin auf diesen Benchmarks ausführen möchten, verwenden Sie den folgenden Befehl, um den Qilin -Quellcode abzurufen:

 $ git clone --recurse-submodules https://github.com/QilinPTA/Qilin.git

Wenn Sie Qilin auf normale Weise geklont haben, können Sie den folgenden Befehl weiterhin verwenden, um diese Benchmarks herunterzuladen:

 $ git submodule update --init

Bauen von Qilin mit Gradle

Wir verwenden Gradle als Build -Automatisierungswerkzeug. Um Qilin zu bauen, verwenden Sie

 $ ./run.sh

Dieses Skript enthält Befehle, um Qilin-VERSION-SNAPSHOT.jar zu generieren, die automatisch in artifact/ in das Artefakt verschoben werden.

Für Benutzer, die Qilin in IDE erstellen möchten, finden Sie diese Seite.

Mit Qilin

Sie können Qilin entweder über die Befehlszeilenschnittstelle (z. B. driver.Main ) oder als Bibliothek verwenden. Für Forscher, die an einer Java -Zeigeranalyse arbeiten, haben wir eine Reihe von Skripten, Benchmarks (z. B. DaCapo2006 ) und JDK -Bibliotheken unter artifact/ bereitgestellt.

Um Qilin zu testen, können Sie direkt:

 $ cd artifact
$ python3 run.py antlr ci -print

Der obige Befehl analysiert antlr mit einer kontextunempfindlichen Zeigeranalyse, wobei einige Metriken auf dem Bildschirm angezeigt werden.
Wir planen, das Skript run.py zu optimieren, um seine Hilfe infrifulierter zu gestalten.

Dokumentation

Über Qilin	Setup -Handbuch	Benutzerhandbuch	Entwicklerleitfaden
Einführung von Qilin - was es tut und wie wir es entwerfen	Eine Schritt -für -Schritt -Setup -Handbuch zum Erstellen von Qilin	Befehlszeilenoptionen von Qilin und Qilin mit einem Beispiel ausführen	Detaillierte technische Dokumentation und wie Sie Qilin als Bi. für Ihr Tool verwenden oder Ihre eigenen Analysen in Qilin schreiben

Beitrag zu Qilin

Beiträge sind immer willkommen. Qilin ist ein Open-Source-Projekt, das wir in der Hoffnung veröffentlichen, dass es für die gesamte Forschungsgemeinschaft nützlich sein wird. Wenn Sie eine neue Funktion oder eine Fehlerbehebung haben, die Sie im offiziellen Code -Repository sehen möchten, eröffnen Sie hier eine Merge -Anfrage hier auf Github und hinterlassen Sie eine kurze Beschreibung dessen, was Sie getan haben.

Lizenz

Qilin ist unter der GPL v2.1 -Lizenz lizenziert, siehe Lizenzdatei.