Module DataFlow.MakeDF
Functor to create an instance of a dataflow analysis.
Parameters
Signature
type ttype state= St.ttype transition=|Dead_state|Transition of state * state list * state list
val join : state list -> state -> stateval run : IR.Procdesc.t -> state -> IR.Procdesc.Node.t -> transitionRun the dataflow analysis on a procedure starting from the given state. Returns a function to lookup the results of the analysis on every node