Components of data flow

Framework <G, L, F, M>

G = <V, E, S> - flow graph

L = <A, ?, ?, ?, ?> - meet semilattice

F ? {f: L ? L} - set monotone flow functions over L

M:V ? F - mapping of vertices/edges to functions

Solver for equation system

iteration, elimination

Domains

Intraprocedural - control flow graph
Interprocedural - call graph

Previous slide Next slide Back to first slide View graphic version