rust lisa

Rustlisa

LISA에 구축 된 녹을위한 추상 해석 기반 정적 분석기 (정적 분석을위한 라이브러리)

? 짓다

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에서 Java Application으로 Run을 사용하고 First Argument로 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에 대한 태그를 추가하여 풀 요청을 열 수 있습니다.

다음 단계

• 녹 구조에서 LISA 제어 흐름 그래프 노드로의 완전한 컴파일
• Rust Control-Flow 그래프 노드의 완전한 semantics 방법
• 수치 분석을 위해 앞치마를 통합하십시오