lisa
0.1
LISA（静的分析のためのライブラリ）は、抽象的な解釈理論に基づいて静的分析装置の作成と実装を容易にすることを目的としています。 LISAは、分析するプログラムの一般的で拡張可能な制御フローグラフ表現で機能する分析エンジンを提供します。リサの抽象通訳者は、そのような表現を分析するために構築されており、それに依存するすべてのアナライザーにユニークな分析インフラストラクチャを提供します。
リサに分析装置を構築すると、ソースコードまたはコンパイルされたコードをリサのコントロールフローグラフ表現に翻訳することを目的とする言語のパーサーの書き込みになります。次に、LISAのセマンティック分析によって提供される結果を繰り返して簡単にチェックして、セマンティック情報を最終ユーザーにとって価値のある警告に変換することができます。
詳細、ドキュメント、有用なガイドについては、プロジェクトWebサイトを参照してください！
LISAは、イタリアのヴェネツィアにあるソフトウェアおよびシステム検証（SSV）Group @UniversitàCa 'Foscariによって開発および維持されています。外部の貢献はいつでも大歓迎です！ LISAに貢献する方法に関する情報については、貢献ガイドラインをご覧ください。
リリースの完全なリストについては、リリースページにアクセスしてください。
masterブランチの最後のコミットのスナップショットは、GitHubパッケージでいつでも利用できます。依存関係を解決するためのサーバーとしてパッケージを使用するには、個人的なアクセストークンが必要であることに注意してください。詳細については、MavenまたはGradleの公式Githubガイドを参照してください。
