diff options
| author | hexcoder <hexcoder-@users.noreply.github.com> | 2021-03-09 22:09:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-09 22:09:58 +0100 |
| commit | aa12e46013f1900793adbd28d50e9d56243fefb0 (patch) | |
| tree | 7934b524227ed77033d6f83e44eafdfdca9ed716 | |
| parent | 2c18fbbb2e386d97888ff714600620e5bfff7008 (diff) | |
| download | afl++-aa12e46013f1900793adbd28d50e9d56243fefb0.tar.gz | |
formatting and RedQueen reference added
| -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: |