Commit 09af9cf8 authored by Christopher Roberts's avatar Christopher Roberts

Better markdown for README

parent 5a7a081f
#Concolic Execution for low point reverse engineering problems
# Concolic Execution for low point reverse engineering problems
python easy_re.py -h
usage: easy_re.py [-h] [-f FILE] [-s START] [-e END] [-a]
- python easy_re.py -h
- usage: easy_re.py [-h] [-f FILE] [-s START] [-e END] [-a]
Quick Concolic Analysis
# Quick Concolic Analysis
optional arguments:
-h, --help show this help message and exit
-f FILE, --file FILE Binary File
-s START, --start START
Where to start analyzing from
-e END, --end END Where to stop analyzing
-a, --args Solve for a symbolic arg (optional)
> optional arguments:
> -h, --help show this help message and exit
> -f FILE, --file FILE Binary File
> -s START, --start START
> Where to start analyzing from
> -e END, --end END Where to stop analyzing
> -a, --args Solve for a symbolic arg (optional)
#Solve for STDIN in a program
# -f for the filename
# -s for the address to start at
# -e for the address to end at
- -f for the filename
- -s for the address to start at
- -e for the address to end at
```
python easy_re.py -f crackme0x04 -s 0x08048509 -e 0x080484ef
```
#Solve for ARGs in a program
# -f for the filename
# -s for the address to start at
# -e for the address to end at
# -a for arg solves
- -f for the filename
- -s for the address to start at
- -e for the address to end at
- -a for arg solves
```
python easy_re.py -f baby2 -s 0x004005b6 -e 0x4031a3 -a
```
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment