S2E/s2e

S2E: Sebuah platform untuk analisis program jalur ganda dengan eksekusi simbolik selektif.

↗ Buka di GitHub

Bintang

526

Fork

96

Bahasa

C++

Lisensi

NOASSERTION

Push terakhir

3 hari yang lalu

C++linux windows testing reverse-engineering analysis qemu llvm kvm device automated vulnerabilities cgc coverage drivers execution pov s2e symbolic vm x86

Belum ada intel terkait

Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.