Qualified Data Flow

Control Flow Graph G

CFG with duplicated

paths D

Data flow tracing

Traditional

Data flow analysis

X

Automaton: A

Possible states resulting from set of assertions

Previous slide

Next slide

Back to first slide

View graphic version