rust lisa

Rustlisa

基於抽象解釋的靜態分析儀，用於麗莎建立的Rust（用於靜態分析的庫）

？建造

Rustlisa是一個Gradle 6.6項目。

開發是在日食中完成的。您需要：

• 通過Eclipse Marketplace安裝Gradle IDE包插件；從Eclipse菜單欄：
  • 幫助
  • 日食市場...
  • 搜索Gradle IDE包3.8
  • 安裝Gradle IDE包3.8
• 將項目作為Gradle項目導入Eclipse工作區。
• 運行./rust-lisa/gradlew build

使用Java 11。注意：為了讓Gradle運行，您必須使用Java 11進行必要的項目，並且沒有更大的版本。

跑步

要使用Eclipse運行項目，您可以在Eclipse中使用Run作為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控制方法的方法
• 集成圍裙進行數值分析