Survey of Automated Vulnerability Detection and Exploit Generation Techniques in Cyber Reasoning Systems
dynamic binary analysis and instrumentation .