lisa
0.1
LISA (Library for Static Analysis) zielt darauf ab, die Erstellung und Implementierung statischer Analysatoren auf der Grundlage der abstrakten Interpretationstheorie zu erleichtern. LISA bietet eine Analyse -Engine, die an einer generischen und erweiterbaren Kontrollflussgrafikdarstellung des Programms zur Analyse arbeitet. Abstrakte Dolmetscher in LISA werden zur Analyse einer solchen Darstellung entwickelt und bieten eine einzigartige Analyseinfrastruktur für alle Analysatoren, die darauf angewiesen sind.
Der Aufbau eines Analysators auf Lisa läuft darauf hinaus, einen Parser für die Sprache zu schreiben, die man analysieren und den Quellcode oder den kompilierten Code in Richtung der Steuerungsdarstellung von LISA übersetzen soll. Ein einfacher Überprüfungen über die Ergebnisse der semantischen Analysen von LISA können dann leicht definiert werden, um semantische Informationen in Warnungen zu übersetzen, die für den endgültigen Benutzer von Wert sein können.
Weitere Informationen, Dokumentation und nützliche Leitfäden finden Sie auf der Projektwebsite!
Lisa wird von der SSV -Gruppe der Software- und Systemverifizierung (SSV) @ Universität Ca 'foscari in Venedig, Italien, entwickelt und verwaltet. Externe Beiträge sind immer willkommen! Weitere Informationen zum Beitrag zu LISA finden Sie in unseren beitragenden Richtlinien.
Gehen Sie zur vollständigen Liste der Veröffentlichungen zur Veröffentlichungsseite.
Der Schnappschuss des letzten Ausschusses des master -Zweigs ist immer in Github -Paketen erhältlich. Beachten Sie, dass Sie ein persönliches Zugriffs -Token benötigen, um Pakete als Server zur Lösung von Abhängigkeiten zu verwenden. Weitere Informationen finden Sie im offiziellen Github -Leitfaden für Maven oder Gradle.
