Automated Synthesis of Software Exploits