... | ... | @@ -16,10 +16,12 @@ Below is a short [video demonstration](ZAFL Video) highlighting ZAFL's ease-of-u |
|
|
|
|
|
## Fuzzing-enhancing Binary Transformations
|
|
|
ZAFL facilitates *binary-level* reimplementations of the many transformations successful among the open-source fuzzing world. Some built-in examples:
|
|
|
|
|
|
* Edge-to-block instrumentation downgrading
|
|
|
* Dominator tree-based instrumentation pruning
|
|
|
* Sub-instruction profiling (e.g., laf-Intel)
|
|
|
* Context-sensitive coverage tracking
|
|
|
|
|
|
To see the full list of fuzzing-enhancing code transformations that ZAFL currently supports, run `zafl.sh --help` (or for Docker-based installs, `docker run git.zephyr-software.com:4567/opensrc/zafl/zafl:latest`).
|
|
|
|
|
|
**We welcome any community contributions, and ideas for improvements and new fuzzing transformations!** To open an issue or merge request, please contact one of the developers (`hiser@virginia.edu`, `an7s@virginia.edu`, `jwd@virginia.edu`, or `snagy2@vt.edu`).
|
... | ... | |