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.
This repository has been archived by the owner on May 18, 2022. It is now read-only.