Unduh maple ir - Unduh Kode Sumber maple ir

maple ir

Kategori lainnya

1.0.0

Unduh

Maple-IR

Maple-IR adalah kerangka analisis statis berbasis IR industri untuk java bytecode. Saat ini, ia mengimplementasikan analisis berbasis bentuk SSA serta konstruksi dan penghancuran dari bytecode ke IR. Toolchain mengambil input bytecode, mengangkatnya ke SSA IR, mengubah IR, kemudian mengkompilasi ulang kembali ke bytecode. Ini dilakukan dengan secara simbolis mengeksekusi setiap metode saat mensimulasikan tumpukan, mirip dengan bagaimana Ninja Biner atau Ida Pro's Hex-Ray beroperasi. Analisis aliran data intraprocedural sepenuhnya diimplementasikan, dan optimisasi seperti lipatan konstan dan propogasi salin juga diimplementasikan. Eksportir CFG GraphViz juga tersedia; Lihat di bawah untuk contoh.

Maple-IR tidak dalam pengembangan aktif. Ini pada hiatus tanpa batas waktu, meskipun kontribusi kode dipersilakan. Silakan mengajukan pertanyaan, komentar, dan masalah pada pelacak masalah.

Maple-IR dalam bentuk saat ini belum siap-produksi, meskipun dapat dilakukan dengan sedikit usaha.

Jika Anda menggunakan Maple-IR, beri tahu kami! Kami ingin mendengar tentang proyek keren yang Anda gunakan.

Llvm tapi lebih buruk!

"Ini seperti LLVM, tapi lebih buruk."

Fitur

Java Bytecode (berbasis stack awalan) ke SSA IR (infix ast)
SSA IR ke Bytecode Remblok
Visual (graphviz) dan teks printer cantik
Input teks ke IR parsing; IR yang dapat diedit manusia ( direncanakan )

Filsafat

Masukkan IR dan tetap di IR, abstrak detail khusus ASM/JVM
Ubah IR kemudian menyusun kembali kode deobfuscated
Bertujuan untuk kebenaran semantik

Tangkapan layar dan contoh

Berikut ini adalah visualisasi GraphViz untuk IR yang dioptimalkan, dirusak (POST-SSA) untuk kode berikut:

 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 );
}

Output contoh

Berikut adalah fungsi yang lebih nastier, dalam bentuk SSA yang dioptimalkan, diambil dari dekompiler Fernflower:

Detail teknis

Penghancuran SSA diimplementasikan menggunakan metode Sreedhar et al. dan Boissinot et al .. Boissinot Destructor saat ini adalah destruktor default. Konstruksi SSA diimplementasikan berdasarkan algoritma pemindaian linier 1-pass yang cepat berdasarkan pada metode Cytron et al. Menggunakan Dominasi Perbatasan. Untuk detail lebih lanjut lihat ssagenpass.java. Penghancuran bytecode rumit di java karena rentang pengecualian. Selain itu, lineearisasi grafik aliran kontrol (CFG) secara sederhana sulit karena sarang loop. Linierisasi ditangani dengan secara rekursif menerapkan algoritma komponen superconnected Tarjan. Tabel pengecualian untuk setiap metode dibuang dan diregenerasi berdasarkan struktur grafik aliran kontrol. Untuk detail lebih lanjut, lihat ControlFlowGraphDumper.

Untuk detail lebih lanjut, lihat whitepaper.

Peringatan

Analisis interprocedural belum sepenuhnya diimplementasikan (sulit).
Banyak umpan IR tidak dirancang dengan mempertimbangkan javac . Ini berarti, misalnya, finally blok diproses dengan benar, meskipun tidak rapi.

Menyusun

Untuk membangun:

 mvn clean compile test package

Bangunan akan menghasilkan dua stoples, satu dengan dependensi termasuk ( mapleir-full.jar ), dan satu tanpa ( mapleir-full-with-deps.jar ). Anda juga dapat menggunakan setiap modul secara individual.

Kemudian, secara opsional: