3 Commits

Author SHA1 Message Date
Etienne Perot 679fd58e48 secfuzz: Add test that checks consistency of behavior after optimizations.
PiperOrigin-RevId: 603818920
2024-02-02 16:42:59 -08:00
Etienne Perot 56be4a9921 seccomp: Add method to ValueMatcher to generate fuzz test cases.
This adds a method called `InterestingValues` to `ValueMatcher` and
`halfValueMatcher` that lists the values worth testing for this argument.

Then, the new `SyscallRules.UsefulTestCases` function aggregates all of
this into a set of useful test cases that can be used to seed the corpus
of a seccomp fuzz test.

PiperOrigin-RevId: 581148821
2023-11-10 00:35:41 -08:00
Etienne Perot a81b188fdd seccomp: Add secfuzz library to fuzz seccomp-bpf programs.
This contains a large auto-generated Go file.
Its goal is to convert BPF instruction coverage to Go line-based
coverage, so that coverage-based guidance works for the Go-based fuzzer.

This isn't used yet, but will be in a different change.

PiperOrigin-RevId: 576715826
2023-10-25 19:38:53 -07:00