Video of Applying Taint Analysis and Theorem Proving to Exploit Development by Sean Heelan