SPAIN: Security Patch Analysis for Binaries towards Understanding the Pain and Pills
Driller: Augmenting Fuzzing Through Selective Symbolic Execution