Symbolic execution engine using REIL (Reverse Engineering Intermediate Language)
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
reil
wiki
LICENSE
README.md
execution.py
graph.py
handlers.py
helper.py
loader.py
pathing.py
reilex.py

README.md

reilex

Symbolic execution engine using REIL (Reverse Engineering Intermediate Language)
Check out the wiki (in progress) on the github page to find out more about the project.
Uses a modified version of the REIL Translation Library: https://github.com/c01db33f/reil (found in reil/ folder)

Requirements:
Z3
Capstone