ExternalVendorCode/AFLplusplus
1
0
Fork 0
mirror of https://github.com/AFLplusplus/AFLplusplus.git synced 2025-06-07 15:51:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
AFLplusplus/custom_mutators/symqemu
History
vanhauser-thc ccb952dde8 Revert "Replace gettimeofday with clock_gettime (#2159)" 
This reverts commit 7c380a6612f00e4a7ed02364dc2b3769e8edc8f8.
2024-07-14 10:18:23 +02:00
..
Makefile
make AFL_CUSTOM_INFO overridable
2023-05-21 13:04:17 +02:00
README.md
symqemu mutator options
2023-05-18 10:50:10 +02:00
symqemu.c
Revert "Replace gettimeofday with clock_gettime (#2159)"
2024-07-14 10:18:23 +02:00

README.md

custum 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.