rust-symex Project
Rust port of Angr’s core symbolic execution engine that matches or beats the Python original on 13 of 16 CTF benchmarks (up to 12.7x on the largest) and is now the default engine, built to over 160K LoC across 2,593 iterations of an autonomous agent loop.