diff options
| author | van Hauser <vh@thc.org> | 2021-03-24 18:19:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-24 18:19:45 +0100 |
| commit | c2b58cff6fa7d6af766cc6f686046d7e043a3977 (patch) | |
| tree | 0c04cd932d129b45e31fd17c328844295677ca5f /instrumentation/README.cmplog.md | |
| parent | 958436be4ba057e8409787e7ff4ddcfa095c46da (diff) | |
| parent | 6e2a0ef233fc09e8751e2d4cba3298610d8bed2c (diff) | |
| download | afl++-c2b58cff6fa7d6af766cc6f686046d7e043a3977.tar.gz | |
Merge pull request #843 from AFLplusplus/tmp
Tmp
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: |