Proj THUDBFuzz Paper Reading: Fuzzing: Hack, Art, and Science

Grammar-based

1. Peach
2. SPIKE
3. Sulley

Model-based

一般总是试着生成最少数目的tests covering

Whitebox Fuzzing

SAGE, KLEE, S2E, Symbolic PathFinder

Portfolio

并行fuzzers
Springfield：第一个商业fuzz云