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