ExternalVendorCode/AFLplusplus
1
0
Fork 0
mirror of https://github.com/AFLplusplus/AFLplusplus.git synced 2025-06-06 15:21:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
AFLplusplus/custom_mutators/symqemu
History
David Robillard 7765d4ac33
Fix various spelling errors (#2293) 
* Fix spelling errors in log messages

* Fix doc comment syntax

* Fix spelling errors in Markdown documentation

* Fix spelling errors in comments
2025-02-10 00:32:42 +01:00
..
Makefile
make AFL_CUSTOM_INFO overridable
2023-05-21 13:04:17 +02:00
README.md
Fix various spelling errors (#2293)
2025-02-10 00:32:42 +01:00
symqemu.c
Revert "Replace gettimeofday with clock_gettime (#2159)"
2024-07-14 10:18:23 +02:00

README.md

custom mutator: symqemu

This uses the symcc to find new paths into the target.

How to build and use

To use this custom mutator follow the steps in the symqemu repository https://github.com/eurecom-s3/symqemu/ on how to build symqemu-x86_x64 and put it in your PATH.

Just type make to build this custom mutator.

AFL_CUSTOM_MUTATOR_LIBRARY=custom_mutators/symqemu/symqemu-mutator.so AFL_DISABLE_TRIM=1 afl-fuzz ...

Options

SYMQEMU_ALL=1 - use concolic solving on all queue items, not only interesting/favorite ones.

SYMQEMU_LATE=1 - use concolic solving only after there have been no finds for 5 minutes.