1. Static Analysis & Error CheckingLecture 9 Course IN4308Eelco Visser Master Computer Science http://eelcovisser.orgDelft University of Technology 2. Coming up Lecture…