CRAX: Software Crash Analysis for Automatic Exploit Generation by Modeling Attacks as Symbolic Continuations
BitBlaze: A new approach to computer security via binary analysis