2013 Tools & Methods of Program Analysis