Compiler analysis
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 basic blocks to functions to the whole program. Typical compiler analyses are: