Compiler analysis
Appearance
In computer science, 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 further 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: