rust lisa
1.0.0
LISA上に構築された錆のための抽象的な解釈ベースの静的分析器(静的分析のためのライブラリ)
RustlisaはGradle 6.6プロジェクトとして来ます。
開発は日食で行われます。必要がある:
./rust-lisa/gradlew buildを実行しますJava 11を使用してプロジェクトを実行します。注: Gradleを実行するには、Java 11で必要なプロジェクトを実行する必要があります。
Eclipseを使用してプロジェクトを実行するには、EclipseでJavaアプリケーションとして実行され、最初の引数としてRustファイルへのパスを渡すことができます。
結果はoutputフォルダーの下に配置され、すべての有効なレポートとLISA-CFGを使用した.dotファイルがあります
他のGradleタスクを実行できます
./rust-lisa/gradlew -q :tasks --allすべてのコミットの前に、新しいブランチを開く必要があります
git checkout -b < branch-name >その後、そのブランチでコミットを開始できます。終了したら、最初に実行する必要があります
./rust-lisa/gradlew build
./rust-lisa/gradlew spotlessApplyファイルに行われたすべての変更をコミットします。
その後、プルリクエストを開き、レビュー担当者をマークし、PRに関するタグを追加して、簡単な説明でもできます。
semantics方法