From 1334851e7c35bf7bf35db0dc2a974b2e0249d8f8 Mon Sep 17 00:00:00 2001 From: vanhauser-thc Date: Mon, 4 Jul 2022 09:59:47 +0200 Subject: cmplog support for gcc_plugin by adacore --- instrumentation/README.gcc_plugin.md | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'instrumentation/README.gcc_plugin.md') diff --git a/instrumentation/README.gcc_plugin.md b/instrumentation/README.gcc_plugin.md index ed39af9d..011a574a 100644 --- a/instrumentation/README.gcc_plugin.md +++ b/instrumentation/README.gcc_plugin.md @@ -99,4 +99,11 @@ See ## 6) Bonus feature #3: selective instrumentation It can be more effective to fuzzing to only instrument parts of the code. For -details, see [README.instrument_list.md](README.instrument_list.md). \ No newline at end of file +details, see [README.instrument_list.md](README.instrument_list.md). + +## 7) Bonus feature #4: CMPLOG + +The gcc_plugin also support CMPLOG/Redqueen, just set `AFL_GCC_CMPLOG` before +instrumenting the target. +Read more about this in the llvm document. + -- cgit 1.4.1