Control Flow Analysis

• Semantics-based

• easily extended - add new strategies

• algorithm is immediate - state of the art performance

Previous slide

Next slide

Back to first slide

View graphic version