lisa

---

麗莎（用於靜態分析的庫）旨在根據抽象解釋理論簡化靜態分析儀的創建和實施。麗莎提供了一個分析引擎，該引擎可用於程序分析的程序的通用和可擴展的控制流程圖表示。 Lisa中的抽象口譯員是為了分析這種表示形式而建立的，為所有依賴它的分析儀提供了獨特的分析基礎架構。

建立對麗莎的分析儀歸結為編寫一個旨在分析，將源代碼或編譯的代碼轉換為麗莎的控制流圖表示的語言的解析器。然後，可以輕鬆地定義對麗莎語義分析提供的結果的簡單檢查，以將語義信息轉化為對最終用戶可能具有價值的警告。

有關更多信息，文檔和有用指南，請參閱項目網站！

貢獻

麗莎是由意大利威尼斯的軟件和系統驗證（SSV）組開發和維護的。總是歡迎外部貢獻！查看我們的貢獻指南，以獲取有關如何為麗莎貢獻的信息。

發行

前往發布頁面以獲取完整的版本列表。

快照

master分支的最後一個提交的快照始終在GitHub軟件包上可用。請注意，您將需要一個個人訪問令牌才能將軟件包用作解決依賴項的服務器。您可以參考Maven或Gradle的官方GitHub指南以獲取更多信息。