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.
forked from angr/simuvex
-
Notifications
You must be signed in to change notification settings - Fork 0
A symbolic execution engine for the VEX IR
License
tyb0807/simuvex
About
A symbolic execution engine for the VEX IR
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Python 100.0%