Tools & Methods of Program Analysis (TMPA)