CRAX: Software Crash Analysis for Automatic Exploit Generation by Modeling Attacks as Symbolic Continuations | IEEE Conference Publication | IEEE Xplore