Frama-C:
Plug-ins:
Libraries:

Frama-C API - BackwardAnalysis

Forward dataflow analysis

Parameters

module D : Domain

Signature

val compute : t -> wto -> D.t -> D.t VTable.t