SootUp

Sootup Library

นี่คือบ้านของโครงการ เขม่า การยกเครื่องที่สมบูรณ์ของกรอบการวิเคราะห์แบบคงที่ที่ดีเก่าแก่

เขม่าคืออะไร

• แปลง JVM bytecode (และอินพุตอื่น ๆ !) เป็นตัวแทนระดับกลาง Jimple
• ให้การสร้างชั้นเรียน
• การสร้าง CallGraph ด้วยอัลกอริทึม/precisions ที่แตกต่างกัน
• การวิเคราะห์การไหลของข้อมูลระหว่างกระบวนการด้วยกรอบ IDE/IFDS ที่เปิดใช้งานโดย HEROS
• ใช้การแปลงอย่างง่ายในการดึงวิธีการของร่างกาย (ดู BodyInterceptor )
• ให้การแยกวิเคราะห์และการทำให้เป็นอนุกรมของ Jimple IR

เริ่มต้น

ตัวอย่างเอกสารและการใช้งานมีอยู่ในตัวอย่าง ตรวจสอบ Javadocs คุณมีคำถามหรือไม่? อย่าลังเลที่จะเริ่มการสนทนา

การปรับปรุง sootup

(เปรียบเทียบกับเขม่ารุ่นก่อน)

• API ที่ได้รับการปรับปรุงใหม่ (ไม่มี globals/singletons)
• สถาปัตยกรรมแบบขนานอย่างเต็มที่
• เปิดใช้งานการโหลดคลาสขี้เกียจ (ไม่มีการโหลด interleaved ของคลาสที่ใช้/พึ่งพาอีกต่อไป)
• ล้มเหลวในกลยุทธ์ก่อน - การตรวจสอบอินพุตในขณะที่สร้าง/สร้างวัตถุ
• up-tome (เช่น Java8!) Frontend Sourcecode (ระวัง: ไม่สามารถจัดการอินพุตที่จับได้ลอง!)
• การสนับสนุนแบบเต็ม Java 21 สำหรับ bytecode
• หลายมุมมอง (ไม่มีฉากคงที่อีกต่อไป)
• วัตถุและกราฟ Jimple IR ที่ไม่เปลี่ยนรูป

อย่าลังเลที่จะปรับปรุงเขม่า!

การบริจาค

สำหรับข้อเสนอแนะและคำขอคุณสมบัติสร้างปัญหาที่เหมาะสมที่สุด
สำหรับคำถามและคำชี้แจงโปรดใช้การอภิปราย

สิ่งพิมพ์

กระดาษเขม่าอธิบายรายละเอียดเพิ่มเติมและการตัดสินใจออกแบบที่อยู่เบื้องหลัง Sootup
Preprint ยังมีอยู่

หากคุณใช้ sootup ในงานวิจัยของคุณอย่าลังเลที่จะอ้างอิงดังนี้:

 @InProceedings{10.1007/978-3-031-57246-3_13,
author="Karakaya, Kadiray
and Schott, Stefan
and Klauke, Jonas
and Bodden, Eric
and Schmidt, Markus
and Luo, Linghui
and He, Dongjie",
editor="Finkbeiner, Bernd
and Kov{'a}cs, Laura",
title="SootUp: A Redesign of the Soot Static Analysis Framework",
booktitle="Tools and Algorithms for the Construction and Analysis of Systems",
year="2024",
publisher="Springer Nature Switzerland",
address="Cham",
pages="229--247",
isbn="978-3-031-57246-3"
}

ผู้สนับสนุน

การพัฒนา Sootup ได้รับการสนับสนุนจากมูลนิธิวิจัยเยอรมัน (DFG) และสถาบัน Heinz Nixdorf (HNI)

เป็นสปอนเซอร์!