Title: Tools and Methods of Program Analysis