module PdgTypes:sig
..end
module Dpd:sig
..end
Dpd
stands for 'dependence'.
module Node:sig
..end
module NodeSet:Hptset.S
with type elt = Node.t
module G:sig
..end
module NodeSetLattice:sig
..end
module LocInfo:Lmap_bitwise.Location_map_bitwise
with type v = NodeSetLattice.t
type
data_state = {
|
loc_info : |
|
under_outputs : |
data_state
object is associated with a program point
and provides a mapping between a location and some nodes in the PDG
that are used to compute the location value at that point.
DataState is associated with a program point
and provide the dependancies for the data,
ie. it stores for each location the nodes of the pdg where its value
was last defined.
Managed in src/pdg/state.ml
module Pdg:sig
..end