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