module PdgTypes:sig
..end
This module defines the types that are used to store the PDG of a function.
module Dpd:sig
..end
Dpd
stands for 'dependence'.
module Node:sig
..end
A node of the PDG : includes some information to know where it comes from.
module NodeSet:Hptset.S
with type elt = Node.t
module G:sig
..end
Program dependence graph main part : the nodes of the graph represent computations, and the edges represent the dependencies between these computations.
module NodeSetLattice:sig
..end
set of nodes of the graph
module LocInfo:Lmap_bitwise.Location_map_bitwise
with type v = NodeSetLattice.t
type
data_state = {
|
loc_info : |
|
under_outputs : |
a 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 dependencies 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
PDG for a function