Program Analysis

Program-Transformation.Org: The Program Transformation Wiki
Program analysis is the (automated) inspection of a program to infer some property. Program analysis is needed for most kinds of ProgramTransformation and can range from simple local properties in PatternMatching to more complicated global properties in DeadCodeElimination?.

Tools for program analysis

Analysis paradigms

CategoryAnalysis | Contributions by EelcoVisser