Tools and Methods of Program Analysis