Index of types


B
branch_annot [Hptmap.Make]

C
ctrl_info [Annot]
ctrl_info correspond to control dependancies nodes

D
data [State_builder.Hashtbl]
data [Build.Computer.StmtStartData]
data_info [Annot]
data_info is composed of (node,z_part) list, undef_loc) and correspond to data dependencies nodes.
decl_info [Annot]
decl_info correspond to the declarations nodes of the variables needed to parse the annotation
dpd_info [PdgTypes.Pdg]
a dependency to another node.

E
elt [Set.S]
The type of the set elements.

G
g [PdgTypes.G]

K
key [PdgTypes.Node]
key [Hashtbl.S]
key [State_builder.Hashtbl]
key [Build.Computer.StmtStartData]
key [PdgIndex.Key]
key [Hptmap.Make]
key [Inthash]

L
label [PdgTypes.G.E]
leaf_annot [Hptmap.Make]

P
parent_t [PdgTypes.Pdg.Printer]

S
subtree [Hptmap.Make]

T
t [PdgMarks.T_Proj]
t [PdgMarks.T_Fct]
t [PdgMarks.T_Mark]
type of the information mapped to the nodes
t [PdgMarks.F_Fct]
t [PdgTypes.Pdg.Printer.E]
boolean to say that the edge is dynamic
t [PdgTypes.Pdg.Printer]
t [Hashtbl.S]
t [PdgIndex.Signature]
type of a signature where 'a is the type of the information that we * want to store for each input/output.
t [Marks.F_Proj]
t [Build.Computer]
t [Build.BuildPdg]
The PDG used during its computation.
t [Set.S]
The type of sets.
t [PdgIndex.FctIndex]
this type is used to build indexes between program objects and some information such as the PDG nodes or the slicing marks.
t [PdgTypes.G.E]
t [Inthash]
t [Pdg_state]
t [CtrlDpds.PdgPostdom]
t [CtrlDpds.Lexical_successors]
Type of the graph
t [CtrlDpds]
t_arg_nodes [Build.BuildPdg]
t_body [PdgTypes.Pdg]
t_call_id [PdgIndex.Key]
type to identify a call statement
t_call_info [PdgMarks.T_Proj]
t_call_info [PdgMarks.T_Fct]
t_call_info [PdgMarks.T_Mark]
type of the information mapped to the function calls.
t_call_info [PdgMarks.F_Fct]
t_call_info [Marks.F_Proj]
t_call_m2m [PdgMarks]
t_data_state [PdgTypes]
DataState is associated with a program point and provide the dependancies for the data, ie.
t_def [PdgTypes.Pdg]
t_elt [PdgTypes.NodeSetLattice]
t_fct [PdgMarks.T_Proj]
t_fct [Marks.F_Proj]
t_fi [PdgMarks.T_Fct]
t_fi [PdgMarks.F_Fct]
t_fi [PdgTypes.Pdg]
The nodes which are associated the each element.
t_in_key [PdgIndex.Signature]
key for input elements
t_info [Pdg_state]
t_info_called_outputs [PdgMarks]
Represent the information to propagate from a call outputs to the called function.
t_info_caller_inputs [PdgMarks]
Represent the information to propagate from a function inputs to its calls.
t_info_inter [PdgMarks]
when some marks have been propagated in a function, there is some information to propagate in the callers and called functions to have an interprocedural processing.
t_key [PdgIndex.Signature]
a key represents either an input or an output of a function.
t_loc [Build.BuildPdg]
t_loc [Pdg_state]
t_m2m [PdgMarks]
t_mark [PdgMarks.T_Proj]
t_mark [PdgMarks.T_Fct]
t_mark [PdgMarks.F_Fct]
t_mark [Marks.F_Proj]
t_mark_info_inter [PdgMarks.T_Fct]
t_mark_info_inter [PdgMarks.F_Fct]
t_node [Pdg_state]
t_nodes_and_undef [Sets]
t_out_key [PdgIndex.Signature]
t_pdg_select [PdgMarks]
t_pdg_select_info [PdgMarks]
we sometime need a list of t_select associated with its pdg when dealing with several functions at one time.
t_select [PdgMarks]
t_select_elem [PdgMarks]
When selecting or propagating marks in a function, the marks are most of the time associated to pdg nodes, but we also need to associate marks to input locations in order to propage information to the callers about undefined data.
t_state [Build.BuildPdg]
t_states [Pdg_state]
td [PdgTypes.Dpd]
tt [PdgTypes.Node]
tt [PdgIndex.Hkey]
tt [Hptmap.Make]

Y
y [Lmap_bitwise.Location_map_bitwise]