Synthesizing program input grammars
TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection