Fundamentals of Program Analysis