Course Outline Traditional Static Program Analysis Theory Classic analysis and applications Points-to analysis, CHA, RTA The Soot analysis framework Software Testing Fundamentals…