execs field in filenames
MODIFY
src/afl-fuzz-bitmap.c
src/afl-fuzz-bitmap.c
@@ -317,8 +317,9 @@ u8 *describe_op(afl_state_t *afl, u8 new_bits, size_t max_description_len) {
}
- sprintf(ret + strlen(ret), ",time:%llu",
- get_cur_time() + afl->prev_run_time - afl->start_time);
+ sprintf(ret + strlen(ret), ",time:%llu,execs:%llu",
+ get_cur_time() + afl->prev_run_time - afl->start_time,
+ afl->fsrv.total_execs);
if (afl->current_custom_fuzz &&
afl->current_custom_fuzz->afl_custom_describe) {

MODIFY
src/afl-fuzz-init.c
src/afl-fuzz-init.c
@@ -1325,8 +1325,8 @@ void pivot_inputs(afl_state_t *afl) {
}
- nfn = alloc_printf("%s/queue/id:%06u,time:0,orig:%s", afl->out_dir, id,
- use_name);
+ nfn = alloc_printf("%s/queue/id:%06u,time:0,execs:%llu,orig:%s", afl->out_dir, id,
+ afl->fsrv.total_execs, use_name);
#else

execs field in filenames