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 Cite DOI Paper Link