rust lisa
1.0.0
เครื่องวิเคราะห์แบบคงที่การตีความแบบนามธรรมสำหรับการเกิดสนิมที่สร้างขึ้นบน Lisa (ห้องสมุดเพื่อการวิเคราะห์แบบคงที่)
Rustlisa มาเป็นโครงการ Gradle 6.6
การพัฒนาทำในคราส คุณต้องทำ:
./rust-lisa/gradlew buildเรียกใช้โครงการด้วย Java 11 หมายเหตุ: เพื่อให้ Gradle Run คุณต้องเรียกใช้โครงการที่จำเป็นด้วย Java 11 และไม่มีเวอร์ชันที่ยิ่งใหญ่กว่า
ในการเรียกใช้โครงการโดยใช้ Eclipse คุณสามารถใช้ Run as Java Application ใน Eclipse และส่งผ่านเส้นทางไปยังไฟล์สนิมเป็นอาร์กิวเมนต์แรก
ผลลัพธ์จะถูกนำไปใช้ภายใต้โฟลเดอร์ output ซึ่งจะมีรายงานที่เปิดใช้งานทั้งหมดและไฟล์. DOT กับ LISA-CFG
คุณสามารถเรียกใช้งาน Gradle อื่น ๆ ด้วย
./rust-lisa/gradlew -q :tasks --allก่อนที่ทุกครั้งจะมีความจำเป็นต้องเปิดสาขาใหม่ด้วย
git checkout -b < branch-name >จากนั้นคุณสามารถเริ่มทำสาขานั้นได้ เมื่อคุณทำเสร็จแล้วคุณต้องวิ่งก่อน
./rust-lisa/gradlew build
./rust-lisa/gradlew spotlessApplyและกระทำการเปลี่ยนแปลงทุกครั้งที่เกิดขึ้นกับไฟล์
หลังจากนั้นคุณสามารถเปิดคำขอดึงทำเครื่องหมายผู้ตรวจสอบและเพิ่มแท็กเกี่ยวกับการประชาสัมพันธ์ด้วยคำอธิบายสั้น ๆ
semantics ที่สมบูรณ์ของโหนดกราฟการควบคุมสนิม
