lisa
0.1
Lisa (Library for Static Analysis) มีจุดมุ่งหมายเพื่อลดการสร้างและการใช้งานของเครื่องวิเคราะห์แบบคงที่ตามทฤษฎีการตีความนามธรรม Lisa จัดเตรียมเครื่องมือวิเคราะห์ที่ทำงานบนกราฟการควบคุมการไหลแบบทั่วไปและขยายได้ของโปรแกรมเพื่อวิเคราะห์ ล่ามบทคัดย่อในลิซ่าถูกสร้างขึ้นสำหรับการวิเคราะห์การเป็นตัวแทนดังกล่าวโดยให้โครงสร้างพื้นฐานการวิเคราะห์ที่เป็นเอกลักษณ์สำหรับเครื่องวิเคราะห์ทั้งหมดที่จะพึ่งพามัน
การสร้างเครื่องวิเคราะห์เมื่อลิซ่าเดือดลงไปเขียนตัวแยกวิเคราะห์สำหรับภาษาที่มีจุดมุ่งหมายในการวิเคราะห์แปลซอร์สโค้ดหรือรหัสที่รวบรวมไปยังการแสดงกราฟการไหลของ LISA จากนั้นการตรวจสอบอย่างง่าย ๆ ซ้ำ ๆ ผลลัพธ์ที่ได้จากการวิเคราะห์ความหมายของ Lisa สามารถกำหนดได้อย่างง่ายดายเพื่อแปลข้อมูลความหมายเป็นคำเตือนที่อาจมีค่าสำหรับผู้ใช้ขั้นสุดท้าย
สำหรับข้อมูลเพิ่มเติมเอกสารและคำแนะนำที่เป็นประโยชน์โปรดดูที่เว็บไซต์โครงการ!
Lisa ได้รับการพัฒนาและดูแลโดยกลุ่มซอฟต์แวร์และการตรวจสอบระบบ (SSV) @ Università CA 'Foscari ในเวนิสประเทศอิตาลี ยินดีต้อนรับการมีส่วนร่วมภายนอกเสมอ! ตรวจสอบแนวทางการสนับสนุนของเราสำหรับข้อมูลเกี่ยวกับวิธีการมีส่วนร่วมใน Lisa
มุ่งหน้าไปยังหน้าเผยแพร่สำหรับรายการทั้งหมดของการเผยแพร่
ภาพรวมของการกระทำล่าสุดของสาขา master มีให้เสมอในแพ็คเกจ GitHub โปรดทราบว่าคุณจะต้องใช้โทเค็นการเข้าถึงส่วนบุคคลเพื่อใช้แพ็คเกจเป็นเซิร์ฟเวอร์สำหรับการแก้ไขการพึ่งพา คุณสามารถอ้างถึงคู่มือ GitHub อย่างเป็นทางการสำหรับ Maven หรือ Gradle สำหรับข้อมูลเพิ่มเติม
