Exercise 1: Static Analysis