diff options
| author |  Mike Aizatsky <mike.aizatsky@gmail.com> | 2016-10-26 20:41:40 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2016-10-26 20:41:40 -0700 |
| commit | 7c3815b35da0514e082d88dd1b4395e58ac832b1 (patch) | |
| tree | 77c0ccb7ab57e234bd320174669b854919b8cb96 /docs/reproducing.md | |
| parent | c481c5980d6a2e1000afb81604bacf3f5cfc8ed0 (diff) | |
Update reproducing.md
Diffstat (limited to 'docs/reproducing.md')
| -rw-r--r-- | docs/reproducing.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/reproducing.md b/docs/reproducing.md index 07d99d8c..383d295a 100644 --- a/docs/reproducing.md +++ b/docs/reproducing.md @@ -12,7 +12,7 @@ If you have docker installed, follow these steps: - *Reproduce from nightly sources.* Run: <pre> -docker run --rm -v <b><i>testcase_file</i></b>:/testcase -t ossfuzz/<b><i>target</i></b> reproduce <b><i>fuzzer</i></b> +docker run --rm -v <b><i>$testcase_file</i></b>:/testcase -t ossfuzz/<b><i>$target</i></b> reproduce <b><i>$fuzzer</i></b> </pre> It builds the fuzzer from nightly sources (in the image) and runs it with testcase input. @@ -24,7 +24,7 @@ docker run --rm -ti -v <b><i>~/Downloads/testcase</i></b>:/testcase ossfuzz/<b>< - *Reproduce with local sources.* Run: <pre> -docker run --rm -v <b><i>local_sources</i></b>:/src/<b><i>target</i></b> -v <b><i>reproducer_file</i></b>:/testcase -t ossfuzz/<b><i>target</i></b> reproduce <b><i>fuzzer</i></b> +docker run --rm -v <b><i>$target_checkout_dir</i></b>:/src/<b><i>$target</i></b> -v <b><i>$reproducer_file</i></b>:/testcase -t ossfuzz/<b><i>$target</i></b> reproduce <b><i>$fuzzer</i></b> </pre> This is essentialy the previous command that addionally mounts local sources into the running container. |