Skip to content

Home

Jump to bottom
enjhnsn2 edited this page Sep 10, 2017 · 4 revisions

What is Reilex?

Reilex is a very barebones implementation of a symbolic execution pipeline for the Reverse Engineering Intermediate Language. It allows for higher level analysis of binaries through a well-defined API by abstracting away the basic steps of processing the binary. It includes:

  • Binary Loader
  • Machine code -> REIL lifter
  • Symbolic Execution Engine
  • Some example applications

To cover the sections of Reilex front to back, read the wiki in the following order:
Loader->Lifter->Execution Engine->Pathing->Example Applications->Top level API reilex_diagram

Clone this wiki locally