Dna

DNA

Dna adalah kerangka analisis biner statis yang dibangun di atas LLVM. Khususnya ditulis hampir seluruhnya di C#, termasuk binding yang dikelola untuk LLVM, Remill, dan Souper.

Fungsionalitas

Dna mengimplementasikan rekonstruksi grafik aliran kontrol berulang sangat terinspirasi oleh kertas Saturnus. Ini secara iteratif menerapkan keturunan rekursif, mengangkat (menggunakan remill), dan pemecahan jalur sampai grafik aliran kontrol lengkap dipulihkan. Dalam kasus tabel lompatan, kami menggunakan algoritma rekursif berdasarkan Souper dan Z3 untuk menyelesaikan set target tabel lompatan yang mungkin. Anda dapat menemukan algoritma eksplorasi berulang di sini, dan algoritma pemecahan meja lompat di sini.

Setelah grafik aliran kontrol telah sepenuhnya dieksplorasi, ia dapat dikompilasi ulang ke x86 dan dimasukkan kembali ke dalam biner menggunakan algoritma dari sini dan di sini. Meskipun kode yang dikompilasi tidak cantik dengan cara apa pun , itu harus berjalan selama grafik aliran kontrol yang dipulihkan benar. Yang sedang berkata, itu masih merupakan prototipe penelitian - bug dan kasus tepi diharapkan. Eksplorasi grafik aliran kontrol mungkin gagal dalam kasus tabel lompatan yang tidak terbatas atau instruksi yang tidak dapat dipindahkan.

Beberapa fitur penting lainnya:

• Mendukung sebagian besar tabel lompat, termasuk tabel lompat terkompresi MSVC yang bersarang atau yang disebut.
• Mendukung kode pengangkat dengan SEH ke LLVM IR. Ketika SEH hadir, try / catch pernyataan dan filter intrinsik dimasukkan ke dalam grafik aliran kontrol. Meskipun kompilen tidak (belum) mendukung SEH (entri SEH tidak diperbaiki), sehingga pengecualian akan menyebabkan kecelakaan.
• Termasuk API yang kuat untuk menulis LLVM melewati secara asli di C#. Kami memiliki binding untuk MemorySSA EG, LoopInfo , pohon dominator, lulus manajemen pipa, dll.
• Visualisasi grafik untuk LLVM IR dan grafik aliran kontrol biner menggunakan GraphViz atau sebagai alternatif generator skrip untuk ninja biner.

Beberapa peringatan:

• Hanya x86_64 yang didukung
• Kode yang dikompilasi tidak sesuai dengan CET

Dependensi

• Llvm/llvmsharp
• Lakukan lagi
• Souper
• Asmresolver
• Sungai

Perhatikan bahwa Dna saat ini didasarkan pada LLVM 17.

Bangunan

Dna tidak akan dibangun di luar kotak. Patch khusus untuk melonggarkan dan souper diperlukan agar ini dibangun di atas jendela. Jika Anda ingin mengerjakan DNA, buka masalah atau email saya [email protected] . Pada titik tertentu saya dapat menerbitkan langkah -langkah pembuatan yang tepat, tetapi saya tidak membuat jaminan.