From: Fuzzing: a survey
 | Testcase Generation | Program execution | ||
---|---|---|---|---|
Techniques | Generation | Mutation | Guiding | Path exploration |
Static analysis |  | √ | √ | √ |
Taint analysis |  | √ | √ |  |
Instrumentation |  | √ | √ | √ |
Symbolic execution |  |  |  | √ |
Machine learning | √ | √ |  |  |
Format Method | √ |  |  |  |