Skip to content

Commit 91f738e

Browse files
committed
Update README
1 parent 99297a1 commit 91f738e

File tree

1 file changed

+15
-0
lines changed

1 file changed

+15
-0
lines changed

README.md

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -34,3 +34,18 @@ $ pip install -e '.[dev]'
3434
- Interactive graph of data flow
3535
- Additional context & runtime information
3636

37+
[CrasHD Examples](https://github.com/zeropointdynamics/examples-crashd) is a collection of reproducible crashes that can be used with this plugin.
38+
39+
## Usage
40+
41+
The following snippets use the example from [examples-crashd/afl_training/vulnerable.c](https://github.com/zeropointdynamics/examples-crashd/tree/master/afl_training)
42+
43+
After compiling the above example (`vulnerable.c`) you can emulate the binary using zelos:
44+
```console
45+
$ zelos vulnerable < inputs/crashing_input
46+
```
47+
48+
To gain a more information on the crashing program, use the `--taint` and `--taint_output` flags in order to keep track of dataflow leading from the crash. When the `--taint` flag is used, Zelos will calculate the dataflow and taint information related to the crash. `--taint_output terminal` is used to specify that the output of `--taint` will be to stdout.
49+
```console
50+
$ zelos --taint --taint_output terminal vulnerable < inputs/crashing_input
51+
```

0 commit comments

Comments
 (0)