cclyzerpp

cclyzer ++

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

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

CCLYZER ++ เป็นความไวต่อฟิลด์และอาร์เรย์ดำเนินการก่อสร้าง callgraph แบบทันทีและสนับสนุนการกำหนดค่าที่แตกต่างกันมากมายของความไวต่อบริบทรวมถึงความไว K -callsite มันมีการวิเคราะห์ตามชุดย่อย (Andersen Style) และการรวมกันของการรวม (Steensgaard Style) Cclyzer ++ เขียนในSoufflé Datalog และมีความขนานกันอย่างมาก Cclyzer ++ มาจาก Cclyzer

ดูเอกสารสำหรับข้อมูลเพิ่มเติมเกี่ยวกับ CCZLyer ++ รวมถึงตัวอย่างของผลลัพธ์ นอกจากนี้ยังมีเอกสารออนไลน์

หากคุณใช้ CCLYZER ++ ในงานของคุณเองโปรดระบุการอ้างอิงต่อไปนี้:

• Langston Barrett และ Scott Moore "CCLYZER ++: การวิเคราะห์ตัวชี้ที่ปรับขนาดได้และแม่นยำสำหรับ LLVM" https://galois.com/blog/2022/08/cclyzer-scalable-and-precise-pointer-analysis-for-llvm/ 2022.
• George Balatsouras และ Yannis Smaragdakis "การวิเคราะห์จุดที่ไวต่อโครงสร้างสำหรับ C และ C ++" ในการวิเคราะห์แบบคงที่: การประชุมวิชาการนานาชาติ 23, SAS 2016, เอดินบะระ, สหราชอาณาจักร, 8-10 กันยายน 2016, การดำเนินการ 23, pp. 84-104 Springer Berlin Heidelberg, 2016

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

วัสดุนี้ขึ้นอยู่กับงานที่ได้รับการสนับสนุนจากกองทัพอากาศสหรัฐฯและหน่วยงานโครงการวิจัยขั้นสูง (DARPA) ภายใต้สัญญาหมายเลข FA8750-19-C-0004 ความคิดเห็นการค้นพบและข้อสรุปหรือคำแนะนำใด ๆ ที่แสดงในเนื้อหานี้เป็นของผู้เขียนและไม่จำเป็นต้องสะท้อนมุมมองของกองทัพอากาศสหรัฐฯหรือ DARPA ได้รับการอนุมัติสำหรับการเปิดตัวสาธารณะ Distribution Unlimited