Automated Crash Filtering Using Interprocedural Static Analysis for Binary Codes
Unleashing Mayhem on Binary Code