diff options
Diffstat (limited to 'instrumentation')
| -rw-r--r-- | instrumentation/README.cmplog.md | 5 | ||||
| -rw-r--r-- | instrumentation/afl-compiler-rt.o.c | 9 |
2 files changed, 10 insertions, 4 deletions
diff --git a/instrumentation/README.cmplog.md b/instrumentation/README.cmplog.md index a2caca4f..8a9fd372 100644 --- a/instrumentation/README.cmplog.md +++ b/instrumentation/README.cmplog.md @@ -4,9 +4,8 @@ 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), for details -see -[the RedQueen paper](https://www.syssec.ruhr-uni-bochum.de/media/emma/veroeffentlichungen/2018/12/17/NDSS19-Redqueen.pdf). +we support the Redqueen mutator (input-2-state instructions only), for details +see [the Redqueen paper](https://github.com/RUB-SysSec/redqueen). ## Build diff --git a/instrumentation/afl-compiler-rt.o.c b/instrumentation/afl-compiler-rt.o.c index a84f31e3..59839750 100644 --- a/instrumentation/afl-compiler-rt.o.c +++ b/instrumentation/afl-compiler-rt.o.c @@ -154,7 +154,14 @@ static int __afl_dummy_fd[2] = {2, 2}; static void at_exit(int signal) { - if (child_pid > 0) { kill(child_pid, SIGKILL); } + if (unlikely(child_pid > 0)) { + + kill(child_pid, SIGKILL); + child_pid = -1; + + } + + _exit(0); } |