Autonomous Exploitation of System Binaries using Symbolic Analysis
Q: Exploit Hardening Made Easy