[DEPRECATED] A symbolic execution engine for the VEX IR
BSD 2-Clause "Simplified" License
79
stars
57
forks
source link
readme
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.