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.
-
Notifications
You must be signed in to change notification settings - Fork 57
[DEPRECATED] A symbolic execution engine for the VEX IR
License
angr/simuvex
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
[DEPRECATED] A symbolic execution engine for the VEX IR
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published