Module type DataFlow.DF

Type for the dataflow API.

type t
type state
type transition =
| Dead_state
| Transition of state * state list * state list
val join : state list -> state -> state
val run : IR.Procdesc.t -> state -> IR.Procdesc.Node.t -> transition

Run the dataflow analysis on a procedure starting from the given state. Returns a function to lookup the results of the analysis on every node