← SearchVULNERABILITY DETECTION USING DATA-FLOW GRAPHS AND SMT SOLVERS$85,000FY2015Department of DefenseDODUniversity Of Delaware, Newark DEInvestigatorsView source on USAspending →