about summary refs log tree commit diff
diff options
context:
space:
mode:
authorStefan Nagy <snagy2@vt.edu>2021-10-21 04:52:38 -0400
committerGitHub <noreply@github.com>2021-10-21 04:52:38 -0400
commite637ca216e4559960feec6b7f887571efde4f0ba (patch)
treece347a7f439492c160c991fffc78fbc1b847b527
parent4e3fec2666c3d317db275f4af8875b56009621e1 (diff)
downloadafl++-e637ca216e4559960feec6b7f887571efde4f0ba.tar.gz
Tidy-up zafl info
-rw-r--r--docs/binaryonly_fuzzing.md17
1 files changed, 6 insertions, 11 deletions
diff --git a/docs/binaryonly_fuzzing.md b/docs/binaryonly_fuzzing.md
index 903afb70..de360543 100644
--- a/docs/binaryonly_fuzzing.md
+++ b/docs/binaryonly_fuzzing.md
@@ -95,18 +95,13 @@
    utils/afl_untracer/, use afl-untracer.c as a template.
    It is slower than AFL FRIDA (see above).
 
+
 ## ZAFL
-  ZAFL is a static rewriting platform for fast, space-efficient, and inlined 
-  binary fuzzing instrumentation. It currently supports x86-64 C and C++, 
-  stripped and unstripped, and PIE and non-PIE binaries of all sizes and complexity. 
-  
-  Beyond conventional instrumentation, ZAFL's API enables transformation passes 
-  for more effective/efficient fuzzing. Some built-in transformations include 
-  laf-Intel-style constraint unrolling, Angora-style context sensitivity, and 
-  InsTrim-style CFG optimizations.
-  
-  ZAFL's baseline instrumentation speed averages about 90-95% that of afl-clang-fast's 
-  conventional LLVM instrumentation (but is even faster when enabling CFG optimizations).
+  ZAFL is a static rewriting platform supporting x86-64 C/C++, stripped/unstripped, 
+  and PIE/non-PIE binaries. Beyond conventional instrumentation, ZAFL's API enables 
+  transformation passes (e.g., laf-Intel, context sensitivity, InsTrim, etc.).
+
+  Its baseline instrumentation speed typically averages 90-95% of afl-clang-fast's.
 
   [https://git.zephyr-software.com/opensrc/zafl](https://git.zephyr-software.com/opensrc/zafl)