Autonomous Exploitation of System Binaries using Symbolic Analysis
CRAX: Software Crash Analysis for Automatic Exploit Generation by Modeling Attacks as Symbolic Continuations