smebre

State machine expansion - using binary reverse engineering with dynamic taint analysis and symbolic execution

Prerequisite

1. Intel Pin-2.14-71313

• Download and extract Pin in an appropriate location
• https://software.intel.com/sites/landingpage/pintool/downloads/pin-2.14-71313-gcc.4.4.7-linux.tar.gz

2. Triton Pintool

• Compile and install with option 'Pintool'
• For more detailed instruction, refer to the section "Pintool for Linux users" in installation doc (https://triton.quarkslab.com/documentation/doxygen/#install_sec)

How to run

• Please refer to the HOWTO file in the root directory

Possible issue https://github.com/Choonginlee/smebre/issues/1#issue-356670792