For block

For the while loop

Interval Analysis

• Interval analysis is trivial; it is identical to structural analysis.
• Only three kinds of regions appear: general acyclic, proper, and improper.

Backward Analysis

• Harder to model as single exit is not guaranteed in programs
• For constructs with single exit we can ’turn the equations around’