What type of analysis identifies optimization opportunities by tracking the flow of data in a program?

Data Flow Analysis

Fill in the blank: A variable is said to be 'live' at a point in a program if it is used before it is ______.

Redefined

True or False: Available Expressions Analysis helps in identifying points where an expression has not been computed before its use.

False. Available Expressions Analysis identifies points where an expression has been computed and can be reused.

Riddle: I follow every definition and vanish when redefined, ensuring efficient code and memory use. What am I?

Live variable

Which analysis determines where a variable definition reaches a particular use point in a program?

Reaching Definitions Analysis

Fill in the blank: The data flow property that tracks constant values for optimization opportunities is called ______.

Constant Propagation Analysis

True or False: Dominance in control flow graphs indicates that one node can reach another without being interrupted by other nodes.

True

Riddle: I help identify unused code and make your programs leaner, ensuring only needed values are kept alive. What am I?

Dead code elimination

What is the primary benefit of using Data Flow Analysis in compiler design?

Improved code quality and better error detection

Fill in the blank: The technique used to eliminate common subexpressions in code is known as ______.

Common Subexpression Elimination