Triton adalah kerangka kerja Dynamic Binary Analysis (DBA). Ini menyediakan komponen internal seperti mesin Dynamic Symbolic Execution (DSE), mesin tarn dinamis, representasi AST dari arsitektur Arsitektur Instrumentasi Set ( 86) x86, x86-64 dan AArch64, penyederhanaan SMT, antarmuka pemecah SMT dan, yang terakhir tetapi paling tidak, Python binding. Berdasarkan komponen-komponen ini, lu dapat membangun alat analisis program, mengotomatisasi rekayasa balik, dan melakukan verifikasi perangkat lunak.
0 Komentar
Silahkan tuliskan komentar Anda yang sesuai dengan topik postingan halaman ini. Komentar yang berisi tautan tidak akan ditampilkan sebelum disetujui.