Automated Crash Filtering Using Interprocedural Static Analysis for Binary Codes
CRAX: Software Crash Analysis for Automatic Exploit Generation by Modeling Attacks as Symbolic Continuations