rust lisa

Rustlisa

Analyzer statis berbasis interpretasi abstrak untuk karat dibangun di atas LISA (Perpustakaan untuk Analisis Statis)

? Membangun

Rustlisa hadir sebagai proyek Gradle 6.6.

Pembangunan dilakukan dalam gerhana. Anda perlu:

• Instal plugin Paket Lulusan Ide melalui Eclipse Marketplace; Dari bilah menu Eclipse:
  • Membantu
  • Eclipse Marketplace ...
  • Cari Paket Ide Lulusan 3.8
  • Instal Gradle IDE Pack 3.8
• Impor proyek ke ruang kerja Eclipse sebagai proyek Gradle.
• Jalankan ./rust-lisa/gradlew build

Jalankan proyek dengan Java 11. Catatan: Untuk menjalankan Gradle, Anda harus menjalankan proyek yang diperlukan dengan Java 11 dan tidak ada versi yang lebih besar .

Berlari

Untuk menjalankan proyek dengan menggunakan Eclipse, Anda dapat menggunakan aplikasi Java di Eclipse dan meneruskan jalur ke file karat sebagai argumen pertama.

Hasilnya akan diletakkan di bawah folder output , yang akan memiliki semua laporan yang diaktifkan dan file .dot dengan LISA-CFG

Anda dapat menjalankan tugas lulusan lainnya

./rust-lisa/gradlew -q :tasks --all

Menyumbang

Sebelum setiap komit perlu untuk membuka cabang baru

git checkout -b < branch-name >

Kemudian Anda dapat mulai berkomitmen di cabang itu. Setelah selesai, pertama -tama Anda harus berlari

./rust-lisa/gradlew build
./rust-lisa/gradlew spotlessApply

dan melakukan setiap perubahan yang dilakukan pada file.

Setelah itu, Anda dapat membuka permintaan tarik, menandai pengulas dan menambahkan tag tentang PR, juga dengan deskripsi singkat.

Langkah selanjutnya

• Kompilasi lengkap dari konstruksi karat ke node grafik kontrol LISA
• Metode semantics Lengkap dari Node Grafik Aliran Kontrol Karat
• mengintegrasikan apron untuk analisis numerik