Towards a Rust Symbolic Execution Engine
After months of iteration with Claude, a Rust port of Angr’s symbolic execution engine that matches or beats Python on most CTF benchmarks – up to 12.7x on the largest.
After months of iteration with Claude, a Rust port of Angr’s symbolic execution engine that matches or beats Python on most CTF benchmarks – up to 12.7x on the largest.