Module type Interpreted_automata.DataflowAnalysis

module type DataflowAnalysis = sig .. end

Simple dataflow analysis


type state 
type result 
val fixpoint : ?wto:Interpreted_automata.wto ->
Cil_types.kernel_function ->
state ->
result
module Result: sig .. end