1. Finding Buffer Overflow Inducing Loopsin Binary Executables Sanjay Rawat, Laurent Mounier VERIMAG University of Grenoble, FranceSERE 2012Finding Buffer Overflow Inducing…