diff options
| author | van Hauser <vh@thc.org> | 2021-03-15 23:15:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-15 23:15:37 +0100 |
| commit | 37829765282421d9e3cb9448bceedcb58256e76a (patch) | |
| tree | 79c15c7a4f879c90f683a61a8ad878bd19e2a69e /instrumentation/README.cmplog.md | |
| parent | 41788950ccb99e8d2bdc274916ce815bf3d5035c (diff) | |
| parent | 23f7bee81c46ad4f0f65fa56d08064ab5f1e2e6f (diff) | |
| download | afl++-37829765282421d9e3cb9448bceedcb58256e76a.tar.gz | |
Merge pull request #821 from AFLplusplus/stable
3.11c
Diffstat (limited to 'instrumentation/README.cmplog.md')
| -rw-r--r-- | instrumentation/README.cmplog.md | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/instrumentation/README.cmplog.md b/instrumentation/README.cmplog.md index 5f855e1f..a796c7a7 100644 --- a/instrumentation/README.cmplog.md +++ b/instrumentation/README.cmplog.md @@ -1,10 +1,11 @@ # CmpLog instrumentation -The CmpLog instrumentation enables the logging of the comparisons operands in a +The CmpLog instrumentation enables logging of comparison operands in a shared memory. These values can be used by various mutators built on top of it. -At the moment we support the RedQueen mutator (input-2-state instructions only). +At the moment we support the RedQueen mutator (input-2-state instructions only), +for details see [the RedQueen paper](https://www.syssec.ruhr-uni-bochum.de/media/emma/veroeffentlichungen/2018/12/17/NDSS19-Redqueen.pdf). ## Build @@ -13,7 +14,7 @@ program. The first version is built using the regular AFL++ instrumentation. -The second one, the CmpLog binary, with setting AFL_LLVM_CMPLOG during the compilation. +The second one, the CmpLog binary, is built with setting AFL_LLVM_CMPLOG during the compilation. For example: @@ -26,11 +27,12 @@ export AFL_LLVM_CMPLOG=1 ./configure --cc=~/path/to/afl-clang-fast make cp ./program ./program.cmplog +unset AFL_LLVM_CMPLOG ``` ## Use -AFL++ has the new -c option that needs to be used to specify the CmpLog binary (the second +AFL++ has the new `-c` option that needs to be used to specify the CmpLog binary (the second build). For example: |