1. Secure Programmingwith Static AnalysisBrian Chess [email protected] 2. Software Systems that are • Ubiquitous • Connected • DependableComplexity Unforeseen…