module ForwardAnalysis:
Forward dataflow analysis. The domain must provide a forward transfer
function that computes the state after a transition from the state before.
Parameters: |
|
type
state
type
result
val fixpoint : ?wto:Interpreted_automata.wto ->
Cil_types.kernel_function ->
state ->
result
module Result:sig
..end