module PdgTypes:sig
..end
module Node:sig
..end
module NodeSet:Hptset.Make
(
Node
)
(
sig
val v :'a list list
end
)
(
sig
val l :State.t list
end
)
module NodeSetLattice:sig
..end
module LocInfo:Lmap_bitwise.Make_bitwise
(
NodeSetLattice
)
module Dpd:sig
..end
module DpdZone:sig
..end
module G:sig
..end
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.
module Data_state:Datatype.Make
(
sig
include Datatype.Serializable_undefinedtypet =
PdgTypes.data_state
val name :string
val reprs :PdgTypes.data_state list
val rehash :'a -> 'a
val structural_descr :Structural_descr.t
val mem_project :(Project_skeleton.t -> bool) -> 'a -> bool
end
)
module Pdg:sig
..end