yapall

การวิเคราะห์ตัวชี้อื่นสำหรับ LLVM

Yapall เป็นการวิเคราะห์ตัวชี้ที่แม่นยำและปรับขนาดได้สำหรับ LLVM เอาต์พุตของ Yapall สามารถใช้สำหรับงานการวิเคราะห์โปรแกรมที่หลากหลายรวมถึง:

• การสร้าง callgraphs ด้วยการจัดการที่แม่นยำของการเรียกใช้ฟังก์ชันทางอ้อมและการเรียกวิธีการเสมือนจริง
• การวิเคราะห์การควบคุมระหว่างกระบวนการระหว่างกระบวนการและการไหลของข้อมูล
• การตอบคำถามอาจ-ALIAS

Yapall เป็น K-callsite ที่ไวต่อการกำหนดค่า K, Field-, Array- และ Flow-Insensitive และดำเนินการก่อสร้าง CallGraph แบบ on-the-fly Yapall เขียนขึ้นโดยใช้ทางขึ้นและมีขนานกันอย่างมาก

สำหรับข้อมูลเพิ่มเติมดูเอกสารประกอบ

กิตติกรรมประกาศ

เนื้อหานี้ขึ้นอยู่กับงานที่ได้รับการสนับสนุนโดยหน่วยงานโครงการวิจัยขั้นสูง (DARPA) ภายใต้สัญญาหมายเลข N66001-21-C-4023 ความคิดเห็นการค้นพบและข้อสรุปหรือคำแนะนำใด ๆ ที่แสดงในเนื้อหานี้เป็นของผู้เขียนและไม่จำเป็นต้องสะท้อนมุมมองของ DARPA

การกระจาย

คำแถลงการกระจาย A. ได้รับการอนุมัติสำหรับการเปิดตัวสาธารณะ: Distribution Unlimited