rust lisa
1.0.0
基于抽象解释的静态分析仪，用于丽莎建立的Rust（用于静态分析的库）
Rustlisa是一个Gradle 6.6项目。
开发是在日食中完成的。您需要：
./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控制方法的方法
