Binary Coverage the Wrong Way

Footnote: Some people would tell you there was a third option, which was “formally prove your program”. They’re lying to you. ↩ In reality it’s a bit more complicated; most fuzzers now actually use N-...