diff options
author | Stefan Nagy <snagy2@vt.edu> | 2021-10-21 04:52:38 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-21 04:52:38 -0400 |
commit | e637ca216e4559960feec6b7f887571efde4f0ba (patch) | |
tree | ce347a7f439492c160c991fffc78fbc1b847b527 | |
parent | 4e3fec2666c3d317db275f4af8875b56009621e1 (diff) | |
download | afl++-e637ca216e4559960feec6b7f887571efde4f0ba.tar.gz |
Tidy-up zafl info
-rw-r--r-- | docs/binaryonly_fuzzing.md | 17 |
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) |