Styles of Program Analysis

• Data Flow Analysis

• Control Flow Analysis

• Abstract Interpretation

• Types

Previous slide

Next slide

Back to first slide

View graphic version