Verifying Data-Oriented Gadgets In Binary Programs To Build Data-Only Exploits