Problem 6 : Program Analysis