Structural Analysis

• It is a more refined form of interval analysis
• It uses syntax directed method of dataflow analysis
• For each structure in the source it gives a formula
• It is more efficient than iterative method
• It has a construct for each type of region
• Control tree is larger than the one generated by interval analysis
• Each region is simple and small
• Every region has exectly one entry point

Some types of cyclic regions used in structural analysis