WALA

Wala

---

Die TJ Watson Libraries for Analysis (Wala) bieten statische Analysefunktionen für Java -Bytecode und verwandte Sprachen sowie für JavaScript. Das System ist unter der Eclipse Public Lizenz lizenziert, die von der OSI (Open Source Initiative) als vollständig zertifizierte Open -Source -Lizenz genehmigt wurde. Die anfängliche Wala -Infrastruktur wurde im Rahmen des DOMO -Forschungsprojekts im IBM TJ Watson Research Center unabhängig entwickelt. Im Jahr 2006 spendete IBM die Software an die Community.

Für aktuelle Updates zu Wala gehen Sie der Mailingliste bei.

Kernwala -Funktionen

Wala -Funktionen umfassen:

• Java -Typ -System- und Klassenhierarchieanalyse
• Quellsprachframework unterstützt Java und JavaScript
• Interprocedurale Datenflow -Analyse (RHS Solver)
• Kontextempfindlicher tabellierungsbasiertes Slicer
• Zeigeranalyse und Call Graph Construction
• SSA-basierte Register-Transfer-Sprache IR
• Allgemeiner Framework für iterative Datenfluss
• Allgemeine Analyse -Dienstprogramme und Datenstrukturen
• Eine Bytecode -Instrumentierungsbibliothek (Shrike)

Erste Schritte

Der schnellste Weg, um mit Wala zu beginnen, besteht darin, die Pakete in Maven Central zu verwenden, wie hier erwähnt. Sehen Sie sich das Wala-Start-Repo für ein basierendes Beispiel für Gradle an. Wir organisieren die tiefere technische Wiki-Dokumentation aktiv neu. In der Zwischenzeit können Sie sich Tutorial -Folien ansehen, um einen Überblick über Wala zu erhalten:

• Kernwala (PDF)
• Wala JavaScript (PDF)

Hier können Sie auch Screencasts des Wala JavaScript -Tutorials ansehen.

Um die Wiki-Dokumentation zu durchsuchen, empfehlen wir schließlich eine ortsspezifische Suche in GitHub, z. B. eine Suche nach "Anrufdiagramm".

Dokumentation

Wir veranstalten Dokumentation für Wala im Github Wiki. Wir haben ein Wiki -Format ausgewählt, damit Sie einen Beitrag leisten können. Sei nicht schüchtern!

Die Abteilung für Veröffentlichungen von Wala bevölkert dieses Wiki mit technischen Dokumentation auf nachfragebetriebener Basis, die von Fragen gestellt wird, die auf die Wala-Wala-Mailingliste und auch auf Gitter veröffentlicht wurden. Wir empfehlen diese Seite zum Durchsuchen der Mailinglistenarchive.

Derzeit haben wir die Javadoc -Dokumentation für den Wala -Code, der kontinuierlich aktualisiert wird. Wenn Sie der Meinung sind, dass eine bestimmte Datei bessere Javadoc verdient, öffnen Sie bitte eine Feature -Anfrage.

Hilfe bekommen

Um Hilfe bei Wala zu erhalten, senden Sie bitte entweder eine E -Mail an die Mailingliste, stellen Sie eine Frage auf dem Gitter oder öffnen Sie ein Problem.

Erforderliche Java -Versionen

Die meisten Komponenten jeder offiziellen Wala -Version werden für Java 11 oder neuer gebaut. Komponenten, die Eclipse verwenden, erfordern jedoch mindestens Java 17.

Gebäude aus der Quelle

Wala verwendet Gradle als Build -System. Wenn Sie WALA selbst ändern oder bauen möchten, finden Sie in den Gradle-spezifischen Readme weitere Anweisungen und hilfreiche Tipps.

Wala -Tools in JavaScript

Vor kurzem haben wir die in JavaScript implementierten Wala -Tools erweitert. Wir haben einen Normalisierer und einige grundlegende Programmanalysen für JavaScript im JS_WALA GITHUB -Repository veröffentlicht. Wir haben auch Jsdelta und Wala Delta, Delta Debuggers für JavaScript-Prozessing-Tools zur Verfügung gestellt. Weitere Informationen zu diesen Tools finden Sie in den verknüpften Github -Repositories.

WALA-Basis-Werkzeuge

Mehrere Gruppen haben Open-Source-Tools entwickelt, die Wala verbessern oder aufbauen, die für andere Wala-Benutzer nützlich sein können. Weitere Informationen finden Sie auf der Wala-basierten Tools-Seite.

Anerkennung

Wir danken YourKit, dass sie Wala -Entwicklern eine kostenlose Lizenz für den hervorragenden Java -Profiler zur Verfügung gestellt haben, mit dem wir die Wala -Leistung verbessern und aufrechterhalten.