From 9ba4b6993e24cb2f257d5708a8f3eb0efa7d6f3b Mon Sep 17 00:00:00 2001 From: Saahil Ognawala Date: Wed, 24 Jul 2019 09:46:47 +0200 Subject: [PATCH] Change LLVM 3.8 to 6.0 in the instructions --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 5ba7aba..ef6b531 100644 --- a/README.md +++ b/README.md @@ -68,12 +68,12 @@ macke 2beAnalyzed.bc Otherwise if you want to analyze the isolated functions with fuzzing (AFL) then run the following: ``` -macke --use-fuzzer=1 --fuzz-bc=2beAnalyzedCompiledWithClang3.8.bc 2beAnalyzed.bc +macke --use-fuzzer=1 --fuzz-bc=2beAnalyzedCompiledWithClang6.0.bc 2beAnalyzed.bc ``` Finally, if you want to analyze the isolated functions with flipper (switch between KLEE and AFL, whenever one of them saturates) then run the following: ``` -macke --flipper=1 --fuzz-bc=2beAnalyzedCompiledWithClang3.8.bc 2beAnalyzed.bc +macke --flipper=1 --fuzz-bc=2beAnalyzedCompiledWithClang6.0.bc 2beAnalyzed.bc ``` We wish you happy testing! If you have problems converting existing source code bases to bitcode files, you should have a look at this [tool for improving make](https://github.com/tum-i22/MakeAdditions).