module Dataflow2: sig
.. end
type 't
action =
| |
Default |
| |
Done of 't |
| |
Post of ('t -> 't) |
type 't
stmtaction =
| |
SDefault |
| |
SDone |
| |
SUse of 't |
type 't
guardaction =
| |
GDefault |
| |
GUse of 't |
| |
GUnreachable |
For if statements
module type StmtStartData = sig
.. end
module StartData:
This module can be used to instantiate the StmtStartData
components
of the functors below.
Forwards Dataflow Analysis
module type ForwardsTransfer = sig
.. end
Interface to provide for a backward dataflow analysis.
module Forwards:
Backwards Dataflow Analysis
module type BackwardsTransfer = sig
.. end
Interface to provide for a backward dataflow analysis.
module Backwards:
val find_stmts : Cil_types.fundec -> Cil_types.stmt list * Cil_types.stmt list
Returns (all_stmts, sink_stmts), where all_stmts is a list of the statements
in a function, and sink_stmts is a list of the return statments (including
statements that fall through the end of a void function). Useful when you
need an initial set of statements for BackwardsDataFlow.compute.