Fuzzing the verifier using debugging builds is inefficient

microsoft / ebpf-for-windows

eBPF implementation that runs on top of Windows

MIT License

2.87k stars 224 forks source link

Fuzzing the verifier using debugging builds is inefficient #3512

Open Alan-Jowett opened 5 months ago

Alan-Jowett commented 5 months ago

The libfuzzer for the verifier is only acheiving around 3 iterations per second. With the size of the fuzzing space to be tested, this limits the amount of coverage we can acheive.

Proposal: Create a FuzzerRelease configuration that builds with ASAN and full optimization. This will improve our overall fuzz coverage as it will complete more fuzzing during the scheduled CI/CD run.

shankarseal commented 4 months ago

@Alan-Jowett can you please comment on why this is blocked and move this to the backlog milestone?