Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications | Synapse