about summary refs log tree commit diff
path: root/instrumentation
diff options
context:
space:
mode:
authorJana Aydinbas <46303940+llzmb@users.noreply.github.com>2021-12-13 18:23:28 +0100
committerGitHub <noreply@github.com>2021-12-13 18:23:28 +0100
commitaceb1af908cd0d2b0b03cd23b917e59a18e7b0eb (patch)
tree25eb770e6101757b5af15c2f4d227b4a7eabfeda /instrumentation
parent3a60f6a251210497f001673edefbe7a4e1627703 (diff)
parent52dd5d479d411460c8cf2010a89f72e269d799ea (diff)
downloadafl++-aceb1af908cd0d2b0b03cd23b917e59a18e7b0eb.tar.gz
Merge branch 'dev' into docs_add_overview
Diffstat (limited to 'instrumentation')
-rw-r--r--instrumentation/README.cmplog.md9
-rw-r--r--instrumentation/README.laf-intel.md8
2 files changed, 7 insertions, 10 deletions
diff --git a/instrumentation/README.cmplog.md b/instrumentation/README.cmplog.md
index 146b4620..668c07eb 100644
--- a/instrumentation/README.cmplog.md
+++ b/instrumentation/README.cmplog.md
@@ -11,12 +11,11 @@ see
 ## Build
 
 To use CmpLog, you have to build two versions of the instrumented target
-program.
+program:
 
-The first version is built using the regular AFL++ instrumentation.
-
-The second one, the CmpLog binary, is built with setting AFL_LLVM_CMPLOG during
-the compilation.
+* The first version is built using the regular AFL++ instrumentation.
+* The second one, the CmpLog binary, is built with setting `AFL_LLVM_CMPLOG`
+  during the compilation.
 
 For example:
 
diff --git a/instrumentation/README.laf-intel.md b/instrumentation/README.laf-intel.md
index 06e653ea..414be060 100644
--- a/instrumentation/README.laf-intel.md
+++ b/instrumentation/README.laf-intel.md
@@ -39,13 +39,11 @@ AFL_LLVM_LAF_SPLIT_COMPARES_BITW=<bit_width>`, where bit_width may be 64, 32, or
 16. For example, a bit_width of 16 would split larger comparisons down to 16 bit
 comparisons.
 
-A new experimental feature is splitting floating point comparisons into a series
+A new unique feature is splitting floating point comparisons into a series
 of sign, exponent and mantissa comparisons followed by splitting each of them
 into 8 bit comparisons when necessary. It is activated with the
-`AFL_LLVM_LAF_SPLIT_FLOATS` setting. Note that full IEEE 754 functionality is
-not preserved, that is values of nan and infinity will probably behave
-differently.
+`AFL_LLVM_LAF_SPLIT_FLOATS` setting.
 
 Note that setting this automatically activates `AFL_LLVM_LAF_SPLIT_COMPARES`.
 
-You can also set `AFL_LLVM_LAF_ALL` and have all of the above enabled. :-)
\ No newline at end of file
+You can also set `AFL_LLVM_LAF_ALL` and have all of the above enabled. :-)