Module type Absint__DataFlow.DFStateType
Module type used to define the state component for a dataflow algorithm.
val do_node : IR.Procdesc.Node.t -> t -> t list * t listPerform a state transition on a node.
val proc_throws : IR.Procname.t -> throwsCan proc throw an exception?