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.
angr / simuvex Goto Github PK
View Code? Open in Web Editor NEW[DEPRECATED] A symbolic execution engine for the VEX IR
License: BSD 2-Clause "Simplified" License