BOPC searches for exploits in the code that can be put together to execute new functions, while not tipping off any of the verifications in the program. BOPC is a tool that automatically synthesizes data-flow exploits based on real programs and real exploits.