TODO list for AFL++

Next

• analyse regression 87d26ff7de5ba8e762bccdda85e91f5c951f17e9
  • more?
• new classify map VAR=1

Must

• find a solution that SAYF now prints to stderr (help!)
• afl_fsrv_deinit cmplog
• hardened_usercopy=0 page_alloc.shuffle=0
• add value_profile but only enable after 15 minutes without finds
• cmplog max items env?
• cmplog rtn sanity check on fixed length? currently we ignore the length
• when trimming then perform crash detection

Should

• cmplog: add loop count resolving (byte -> loop cnt change, calc special values)
• support persistent and deferred fork server in afl-showmap?
• better autodetection of shifting runtime timeout values
• afl-plot to support multiple plot_data
• parallel builds for source-only targets
• get rid of check_binary, replace with more forkserver communication
• first fuzzer should be a main automatically? not sure.

Maybe

• forkserver tells afl-fuzz if cmplog is supported and if so enable it by default, with AFL_CMPLOG_NO=1 (?) set to skip?
• afl_custom_splice()
• cmdline option from-to range for mutations

Further down the road

QEMU mode/FRIDA mode:

• non colliding instrumentation
• rename qemu specific envs to AFL_QEMU (AFL_ENTRYPOINT, AFL_CODE_START/END, AFL_COMPCOV_LEVEL?)
• add AFL_QEMU_EXITPOINT (maybe multiple?)

Ideas

• LTO/sancov: write current edge to prev_loc and use that information when using cmplog or __sanitizer_cov_trace_cmp*. maybe we can deduct by follow up edge numbers that both following cmp paths have been found and then disable working on this edge id -> cmplog_intelligence branch
• use cmplog colorization taint result for havoc locations?