A symbolic executor for Binary Ninja's MLIL. This was used to successfully solve a control flow flattening challenge.
- Supports SSA form
- Supports state forking
Additional info:
- Memory is symbolized on load / store
- Z3 is required
-
Notifications
You must be signed in to change notification settings - Fork 2
Colton1skees/Symex
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Symbolic executor for Binary Ninja's MLIL
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published