module BackwardsDataFlow:
Deprecated.Nitrogen-20111001
Same dataflow as above, but with initial states indexed by statements
sids. Do not use.
Parameters: |
T |
: |
BackwardsTransfer with type StmtStartData.key = int
|
|
val compute : Cil_types.stmt list -> unit