vbpf / ebpf-samples

Sample ebpf programs to analyze
91 stars 12 forks source link

Add invalid samples for testing parsing and verification #27

Closed dthaler closed 2 years ago

dthaler commented 2 years ago

The full set of inputs to the PREVAIL verifier fuzzer is thus the full set of samples, including invalid samples. All of these files added in this PR were generated by the libfuzzer based fuzzer itself when detecting crashes. One crash was fixed in https://github.com/vbpf/ebpf-verifier/pull/347 and others are fixed in https://github.com/vbpf/ebpf-verifier/pull/349

Signed-off-by: Dave Thaler dthaler@microsoft.com