Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution
Discoverer: Automatic protocol reverse engineering from network traces