Reverse Dependencies of claripy
The following projects have a declared dependency on claripy:
- angr — A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries
- cozy-re — The Cozy Comparative Symbolic Evaluation Engine
- pakala — An EVM symbolic execution tool and vulnerability scanner
- zeratool — Automatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems
1