search

google / buzzer

Apache License 2.0
423 stars 30 forks source link

Introduce the new basic structure of fuzzing strategies #49

Closed thatjiaozi closed 5 months ago

thatjiaozi commented 5 months ago

A fuzzing strategy now asks users to implement three functions

  1. GenerateProgram: Generates the sequence of ebpf instructions to feed the verifier
  2. OnVerifyDone: processes the verdict of the verifier
  3. OnExecuteDone: Validates the program's behaviour at run time was what the verifier expected

Additionally this PR renames a few structures such as the ExecutorUnit to FFI, to better reflect what they do.

thatjiaozi commented 5 months ago

PTAL