A | |
arg_nodes [Build] | |
B | |
body [PdgTypes.Pdg] | |
C | |
cache_type [Hptmap.Make] |
Some functions of this module may optionally use internal caches.
|
call_info [PdgMarks.Proj] | |
call_info [PdgMarks.Fct] | |
call_info [PdgMarks.Mark] |
type of the information mapped to the function calls.
|
call_info [PdgMarks.F_Fct] | |
call_info [Marks.F_Proj] | |
call_m2m [PdgMarks] | |
ctrl_info [Annot] | ctrl_info correspond to control dependancies nodes
|
D | |
data [State_builder.Hashtbl] | |
data_info [Annot] | data_info is composed of (node,z_part) list, undef_loc)
and correspond to data dependencies nodes.
|
data_state [PdgTypes] |
DataState is associated with a program point
and provide the dependancies for the data,
ie.
|
decide_fast [Hptmap.Make] | |
decl_info [Annot] | decl_info correspond to the declarations nodes of the variables needed to
parse the annotation
|
def [PdgTypes.Pdg] | |
dpd_info [PdgTypes.Pdg] |
a dependency to another node.
|
F | |
fct [PdgMarks.Proj] | |
fct [Marks.F_Proj] | |
fi [PdgMarks.Fct] | |
fi [PdgMarks.F_Fct] | |
fi [PdgTypes.Pdg] |
The nodes associated to each element.
|
G | |
g [PdgTypes.G] | |
I | |
in_key [PdgIndex.Signature] |
key for input elements
|
info_called_outputs [PdgMarks] |
Represent the information to propagate from a call outputs to the called
function.
|
info_caller_inputs [PdgMarks] |
Represent the information to propagate from a function inputs to its
calls.
|
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.
|
K | |
key [Hptmap.Make] | |
key [PdgIndex.Key] | |
key [PdgIndex.Signature] |
a key represents either an input or an output of a function.
|
key [State_builder.Hashtbl] | |
L | |
label [PdgTypes.G.E] | |
M | |
m2m [PdgMarks] | |
mark [PdgMarks.Proj] | |
mark [PdgMarks.Fct] | |
mark [PdgMarks.F_Fct] | |
mark [Marks.F_Proj] | |
mark_info_inter [PdgMarks.Fct] | |
mark_info_inter [PdgMarks.F_Fct] | |
N | |
nodes_and_undef [Sets] | |
O | |
out_key [PdgIndex.Signature] | |
P | |
parent_t [PdgTypes.Pdg.Printer] | |
pdg_build [Build] |
type of the whole PDG representation during its building process
|
pdg_select [PdgMarks] | |
pdg_select_info [PdgMarks] |
we sometime need a list of
t_select associated with its pdg when dealing
with several functions at one time.
|
predicate_result [Hptmap.Make] |
Does the given predicate hold or not.
|
predicate_type [Hptmap.Make] |
Existential (
|| ) or universal (&& ) predicates.
|
S | |
select [PdgMarks] | |
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.
|
states [Pdg_state] | |
T | |
t [PdgMarks.Proj] | |
t [PdgMarks.Fct] | |
t [PdgMarks.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 [Hptmap.Make] | |
t [PdgTypes.G.E] | |
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 [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 [CtrlDpds.PdgPostdom] | |
t [CtrlDpds.Lexical_successors] |
Type of the graph
|
t [CtrlDpds] | |
td [PdgTypes.Dpd] | |
Y | |
y [Lmap_bitwise.Location_map_bitwise] |