Unduh seninja - Unduh Kode Sumber seninja

seninja

Kategori lainnya

v0.5.0

Unduh

Seninja - Plugin Eksekusi Simbolik untuk Biner Ninja

: Mulailah eksekusi

: Langkah keadaan saat ini

: Jalankan sampai cabang

: Jalankan keadaan saat ini hingga alamat yang saat ini dipilih

: Mulailah pencarian DFS

: Mulailah pencarian BFS

: Tetapkan alamat yang saat ini dipilih sebagai target pencarian

: Hindari alamat yang saat ini dipilih selama pencarian

: Setel ulang target dan hindari alamat

: Hentikan pencarian

: Reset Seninja

Tampilan Daftar

Tampilan register dapat digunakan untuk memvisualisasikan nilai register negara aktif. Nilai register dapat dimodifikasi dengan mengklik dua kali. Menu klik kanan memungkinkan untuk:

Salin konten register
Mengkonkretkan nilai register
Mengevaluasi nilai register menggunakan solver
Suntikan simbol
Tunjukkan ekspresi register
Atur register ke alamat buffer yang dibuat dengan tampilan buffer

Tampilan memori

Tampilan memori dapat digunakan untuk memvisualisasikan nilai sebagian memori keadaan aktif. Dengan mengklik "memori monitor", pengguna dapat menentukan alamat memori untuk dipantau. Widget akan menunjukkan 512 byte mulai dari alamat itu. Tampilan memori terpecah dalam dua bagian: tampilan hexview dan ASCII. Hexview menunjukkan nilai hex dari setiap byte hanya jika byte dipetakan dan konkret. Jika byte tidak dipetakan, _ yang ditampilkan; Jika byte simbolis, widget menunjukkan karakter . .

Menu klik kanan memungkinkan untuk:

Salin seleksi (dalam berbagai format, misalnya Little-Endian, Binary, dll.)
Mengkonkretkan nilai seleksi
Mengevaluasi nilai seleksi menggunakan solver
Suntikan simbol

Tampilan buffer

Widget ini memungkinkan pembuatan buffer yang berisi data simbolik.

API baris perintah

Lebih banyak API dapat dieksekusi melalui shell Python. Misalnya, kita dapat menggunakan solver untuk membuktikan suatu kondisi untuk keadaan saat ini:

 > >> import borzacchiello_seninja as seninja
> >> s = seninja . get_current_state ()
> >> s . solver . satisfiable ( extra_constraints = [ s . regs . eax == 3 ])

Kode akan memeriksa kepuasan eax == 3 mengingat batasan jalur dari keadaan aktif.

Konsultasikan dengan wiki untuk memiliki info lebih lanjut tentang perintah tersebut.

Pengaturan

Seninja memberi kepada pengguna kemungkinan untuk mengkonfigurasi banyak bagian dari mesin simbolik (misalnya dimensi halaman, strategi akses memori simbolik, dll.). Semua pengaturan yang tersedia dapat diakses dan dimodifikasi dengan mengklik Edit/Preferences/Settings dan memilih SENinja di widget kiri.