Skip to content

Commit

Permalink
transition
Browse files Browse the repository at this point in the history
  • Loading branch information
rhelmot committed Sep 30, 2017
1 parent 18a6007 commit ac61997
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions docs/examples.md
Original file line number Diff line number Diff line change
Expand Up @@ -49,7 +49,7 @@ You can find this script [here](https://github.com/angr/angr-doc/tree/master/exa
### CSAW CTF 2015 Quals - Reversing 500, "wyvern"

```
Script author: Andrew Dutcher (github: @rhelmot)
Script author: Audrey Dutcher (github: @rhelmot)
Script runtime: 15 mins
Concepts presented: stdin constraining, concrete optimization with Unicorn
```
Expand Down Expand Up @@ -180,7 +180,7 @@ CADET_00001.adapted (by Jacopo Corbetta) is the same program, modified to be run
### Grub "back to 28" bug

```
Script author: Andrew Dutcher (github: @rhelmot)
Script author: Audrey Dutcher (github: @rhelmot)
Concepts presented: unusal target (custom function hooking required), customized state pruning methods
```

Expand Down
4 changes: 2 additions & 2 deletions docs/more-examples.md
Original file line number Diff line number Diff line change
Expand Up @@ -124,7 +124,7 @@ It takes a few minutes to run on my laptop.

## ReverseMe example: MMA CTF 2015 - HowToUse

Author: Andrew Dutcher (github: @rhelmot)
Author: Audrey Dutcher (github: @rhelmot)

We solved this simple reversing challenge with angr, since we were too lazy to reverse it or run it in Windows.
The resulting [script](https://github.com/angr/angr-doc/tree/master/examples/mma_howtouse/solve.py) shows how we grabbed the flag out of the [DLL](https://github.com/angr/angr-doc/tree/master/examples/mma_howtouse/howtouse.dll).
Expand Down Expand Up @@ -189,7 +189,7 @@ The solving script demonstrates the following:

## CrackMe example: 9447 CTF 2015 - Reversing 330, "nobranch"

Author: Andrew Dutcher (github: @rhelmot)
Author: Audrey Dutcher (github: @rhelmot)

angr cannot currently solve this problem natively, as the problem is too complex for z3 to solve.
Formatting the constraints to z3 a little differently allows z3 to come up with an answer relatively quickly.
Expand Down

0 comments on commit ac61997

Please sign in to comment.