/simuvex

[DEPRECATED] A symbolic execution engine for the VEX IR

Primary LanguagePythonBSD 2-Clause "Simplified" LicenseBSD-2-Clause

SimuVEX

SimuVEX used to be angr's state simulation engine. Since it made little sense to keep it separate, it has been merged into angr. This repository and package are here for compatibility.