Slide 1 Michael Ernst, page 1 Static and dynamic analysis: synergy and duality Michael Ernst CSE 503, Winter 2010 Lecture 1 Slide 2 Michael Ernst, page 2 Goals Theme: Static…