dataflow-analysis (clj)

(dataflow-analysis {:keys [start graph join transfer]})

Performs dataflow analysis using iterative worklist-based algorithm. Must provide the graph and its start node, join and transfer functions.

Examples