Release Branches for MoFlow
C++ C OCaml Other Java Shell Other
Switch branches/tags
Nothing to show
Clone or download
vrtadmin Merge pull request #4 from yrp604/master
Changes to build on debian
Latest commit ed71dfb Nov 10, 2015
Failed to load latest commit information.
BAP-0.7-moflow Merge pull request #4 from yrp604/master Nov 10, 2015
afl-dyninst Fixes #5 - Segmentation Fault on PIE binaries Mar 29, 2015 updated README Jul 1, 2014


First checkin includes tools based on BAP framework

To get started, install dependencies listed in the BAP-0.7-moflow/INSTALL file then run the script from the BAP-0.7-moflow directory. This version of moflow was written and tested on Ubuntu 12.04 LTS

Utilities can be found in the custom_utils directory

Current tools include:

slicer - post-crash graph backtaint slicer

motriage - post-crash forward symbolic emulator looking for more exploitable conditions

egas - moflow clone of SAGE

The pintool also includes substantial changes compared to the original

More tracing and debugging tools will be released shortly