rust lisa

Rustlisa

Ein abstrakter interpretationsbasierter statischer Analysator für Rost, der auf LISA baut (Bibliothek für statische Analyse)

? Bauen

Rustlisa kommt als Gradle 6.6 -Projekt.

Die Entwicklung erfolgt in Eclipse. Sie müssen:

• Installieren Sie das Gradle IDE Pack -Plugin über den Eclipse -Marktplatz. In der Eclipse -Menüleiste:
  • Helfen
  • Eclipse Marketplace ...
  • Suche nach Gradle IDE Pack 3.8
  • Installieren Sie Gradle IDE Pack 3.8
• Importieren Sie das Projekt in den Eclipse -Arbeitsbereich als Gradle -Projekt.
• Führen Sie den ./rust-lisa/gradlew build aus

Führen Sie das Projekt mit Java 11 aus. Hinweis: Um Gradle Run zu haben, müssen Sie das Projekt mit Java 11 und keine größere Version ausführen.

Laufen

Um das Projekt mit Eclipse auszuführen, können Sie Run als Java -Anwendung in Eclipse verwenden und einen Pfad an eine Rust -Datei als erstes Argument weitergeben.

Das Ergebnis wird unter den output gestellt, in dem alle aktivierten Berichte und eine .dot-Datei mit dem LISA-CFG enthalten sind

Sie können andere Gradle -Aufgaben mit Ausführen

./rust-lisa/gradlew -q :tasks --all

Beitragen

Vor jedem Commit ist es notwendig, einen neuen Zweig mit mit

git checkout -b < branch-name >

Dann können Sie sich für diesen Zweig verpflichten. Sobald Sie fertig sind, müssen Sie zuerst laufen

./rust-lisa/gradlew build
./rust-lisa/gradlew spotlessApply

und verpflichten Sie jede Änderung an den Dateien.

Danach können Sie eine Pull -Anfrage öffnen, die Rezensenten markieren und Tags über die PR hinzufügen, auch mit einer kurzen Beschreibung.

Nächste Schritte

• Vollständige Zusammenstellung von Rostkonstrukten zu Lisa Control-Flow-Graphknoten
• Komplette semantics von Rost Control-Flow-Graphenknoten
• Schürze für numerische Analysen integrieren