search

google / buzzer

Apache License 2.0
411 stars 28 forks source link

What does program flaked mean? #36

Closed greek-stasia closed 9 months ago

greek-stasia commented 10 months ago

Hi there! I keep getting: program xxxx flaked does this indicate a crash ?

thatjiaozi commented 10 months ago

certain fuzzing strategies have mechanisms to detect if ebpf programs ran successfully or not (e.g set a dummy value to a map entry).

If the program does not write these control values we mark them as "flaky" or that for any reason they did not run successfully https://github.com/google/buzzer/blob/main/pkg/strategies/parse_verifier/parse_verifier.go#L127

greek-stasia commented 10 months ago

Are there ways to tie back coverage to an input(s)?

thatjiaozi commented 10 months ago

not yet, I am actually working on a code change for something somewhat similar.

Actually the coverage information is available as part of every run program response: https://github.com/google/buzzer/blob/main/proto/ebpf_fuzzer.proto#L58