SentineLabs / verified-ida
git clone https://github.com/SentineLabs/verified-ida.git
Verified IDA is a harness for model-led reverse engineering.
+0
stars, 24h · #28,144
+~0
stars, 7 days · #28,619
+~0
stars, 30 days · #34,972
43
★ total
3
forks · 0 open issues
Star history (as recorded here)
LanguagePython
LicenseMIT
Created2026-09-14 (1mo ago)
Last push1mo ago
OwnerOrganization