precondition inference

BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning
Unlike coverage-based fuzzing that gives equal attention to every part of a code, directed fuzzing aims to direct a fuzzer to a …
PDF 引用 DOI Paper Link