ดาวน์โหลด maple ir - ดาวน์โหลดซอร์สโค้ด maple ir

maple ir

หมวดหมู่อื่นๆ

1.0.0

ดาวน์โหลด

เมเปิ้ล-เออร์

Maple-IR เป็นกรอบการวิเคราะห์แบบคงที่จากอุตสาหกรรม IR สำหรับ Java bytecode ปัจจุบันมันใช้การวิเคราะห์ตามรูปแบบ SSA รวมถึงการก่อสร้างและการทำลายล้างจาก bytecode ไปยัง IR Toolchain ใช้อินพุต bytecode ยกไปยัง SSA IR แปลง IR จากนั้นทำการคอมไพล์อีกครั้งกลับไปที่ bytecode สิ่งนี้ทำโดยการดำเนินการตามสัญลักษณ์แต่ละวิธีในขณะที่จำลองสแต็กคล้ายกับวิธีการที่ Binary Ninja หรือ HEX-rays ของ IDA Pro ทำงาน การวิเคราะห์การไหลของข้อมูล Intraprocedural ถูกนำมาใช้อย่างเต็มที่และการปรับให้เหมาะสมเช่นการพับเก็บอย่างต่อเนื่องและการคัดลอกข้อเสนอก็ถูกนำมาใช้เช่นกัน นอกจากนี้ยังมีผู้ส่งออก CFG GraphViz ดูตัวอย่างด้านล่าง

Maple-IR ไม่ได้อยู่ในการพัฒนาที่ใช้งานอยู่ มันอยู่ในช่องว่างอย่างไม่มีกำหนดแม้ว่าการบริจาครหัสจะได้รับการต้อนรับ โปรดยื่นคำถามความคิดเห็นและปัญหาเกี่ยวกับการติดตามปัญหา

Maple-IR ในรูปแบบปัจจุบันยังไม่พร้อมการผลิตแม้ว่าจะสามารถทำได้ด้วยความพยายามเพียงเล็กน้อย

หากคุณใช้ Maple-IR โปรดแจ้งให้เราทราบ! เราชอบที่จะได้ยินเกี่ยวกับโครงการเจ๋ง ๆ ที่คุณใช้

LLVM แต่แย่กว่านั้น!

"มันเหมือน LLVM แต่แย่กว่านั้น"

คุณสมบัติ

Java Bytecode (คำนำหน้าสแต็ค) ถึง SSA IR (Infix AST)
ssa ir เพื่อ remetecode reitembly
Visual (graphviz) และ Text Pretty Printer
อินพุตข้อความไปยังการแยกวิเคราะห์ IR; IR ของมนุษย์-แก้ไขได้ ( วางแผน )

ปรัชญา

เข้าสู่ IR และอยู่ใน IR นามธรรม ABSMATE ASM/JVM โดยเฉพาะรายละเอียด
แปลง IR แล้วรวมรหัส deobfuscated ประกอบใหม่
ตั้งเป้าหมายเพื่อความถูกต้องทางความหมาย

ภาพหน้าจอและตัวอย่าง

นี่คือการสร้างภาพ GraphViz สำหรับ IR ที่ได้รับการปรับปรุง (โพสต์ SSA) ที่ดีที่สุดสำหรับรหัสต่อไปนี้:

 void test130 () {
    int x = 5 ;
    int y = 10 ;

    do {
        try {
            trap ( x , y );
            y = x ;
            trap ( x , y );
            y = 123 ;
        } catch ( RuntimeException e ) {
            do {
                trap ( x , y );
                int z = y ;
                trap ( x , y );
                y = x ;
                trap ( x , y );
                x = z ;
                trap ( x , y );
            } while (! p ());
        }
    } while ( p ());

    System . out . println ( x );
    System . out . println ( y );
}

ตัวอย่างเอาต์พุต

นี่คือฟังก์ชั่นที่น่ารังเกียจในรูปแบบ SSA ที่ได้รับการปรับให้เหมาะสมซึ่งนำมาจาก decompiler fernflower:

รายละเอียดทางเทคนิค

การทำลาย SSA ถูกนำมาใช้โดยใช้วิธีการของ Sreedhar และคณะ และ Boissinot et al .. Destructor Boissinot เป็นผู้ทำลายเริ่มต้น SSA Construction ดำเนินการตามอัลกอริทึมการสแกนเชิงเส้น 1-pass ที่รวดเร็วขึ้นอยู่กับวิธีการของ Cytron et al. โดยใช้เขตแดนการปกครอง สำหรับรายละเอียดเพิ่มเติมโปรดดู ssagenpass.java Bytecode Destruction เป็นเรื่องยุ่งยากใน Java เนื่องจากมีข้อยกเว้น นอกจากนี้การทำให้เป็นเส้นตรงกราฟการไหลของการควบคุม (CFG) ในลักษณะที่เรียบง่ายเป็นเรื่องยากเนื่องจากการทำรังลูป การจัดการเชิงเส้นได้รับการจัดการโดยการใช้อัลกอริทึมส่วนประกอบที่เชื่อมต่อแบบ superconnection ของ Tarjan ตารางข้อยกเว้นสำหรับแต่ละวิธีจะถูกยกเลิกและสร้างใหม่ตามโครงสร้างกราฟการควบคุมของกราฟ สำหรับรายละเอียดเพิ่มเติมดูที่ ControlFlowGraphdumper

สำหรับรายละเอียดเพิ่มเติมดูที่กระดาษสีขาว

คำเตือน

การวิเคราะห์แบบชั่วคราวยังไม่ได้ดำเนินการอย่างเต็มที่ (เป็นเรื่องยาก)
IR ผ่านจำนวนมากไม่ได้ออกแบบโดยคำนึงถึง javac ตัวอย่างเช่นซึ่งหมายความว่า finally บล็อกจะถูกประมวลผลอย่างถูกต้องแม้ว่าจะไม่เรียบร้อย

การรวบรวม

เพื่อสร้าง:

 mvn clean compile test package

การสร้างจะผลิตสองขวดหนึ่งที่มีการพึ่งพารวม ( mapleir-full.jar ) และอีกหนึ่งไม่มี ( mapleir-full-with-deps.jar ) คุณยังสามารถใช้แต่ละโมดูลทีละโมเลกุล

จากนั้นทางเลือก: