Automatic Discovery of API-Level Exploits Vinod Ganapathy, Sanjit Seshia, Somesh Jha, Thomas Reps & Randal Bryant {vg,jha,reps}@cs.wisc.edu {sanjit,bryant}@cs.cmu.edu.