module type DataflowAnalysis = sig .. end
sig
end
Simple dataflow analysis
type state
type result
val fixpoint : ?wto:Interpreted_automata.wto -> Cil_types.kernel_function -> state -> result
?wto:Interpreted_automata.wto -> Cil_types.kernel_function -> state -> result
module Result: sig .. end