Compiler analysis
Appearance
Compiler analysis is a set of algorithms to determine the properties of a program's data and control structure. The result is used to ensure the feasibility and correctness of futher compiler optimizations. The scope of compiler analysis can be local and global, ranging from a basic blocks, functions to the whole program. Typical compiler analyses are: