A | |
action [Hptset.S] | |
C | |
call_info [PdgMarks.Proj] | |
call_info [PdgMarks.Mark] | type of the information mapped to the function calls. |
call_info [PdgMarks.Fct] | |
call_m2m [PdgMarks] | |
ctrl_info [Annot] |
|
D | |
data [State_builder.Hashtbl] | |
data_info [Annot] |
|
data_state [PdgTypes] | a |
decl_info [Annot] |
|
dpd_info [PdgTypes.Pdg] | a dependency to another node. |
F | |
fct [PdgMarks.Proj] | |
fi [PdgMarks.Fct] | |
fi [PdgTypes.Pdg] | The nodes associated to each element. |
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 [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] | |
lmap [Lmap_bitwise.Location_map_bitwise] | |
M | |
m2m [PdgMarks] | |
map [Lmap_bitwise.Location_map_bitwise] | |
mark [PdgMarks.Proj] | |
mark [PdgMarks.Fct] | |
mark_info_inter [PdgMarks.Fct] | |
N | |
nodes_and_undef [Sets] | |
O | |
out_key [PdgIndex.Signature] | |
P | |
pdg_select [PdgMarks] | |
pdg_select_info [PdgMarks] | we sometime need a list of |
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. |
shape [Hptset.S] | Shape of the set, ie. |
states [Pdg_state] | |
T | |
t [PdgMarks.Proj] | |
t [PdgMarks.Mark] | type of the information mapped to the nodes |
t [PdgMarks.Fct] | |
t [PdgTypes.G.E] | |
t [PdgTypes.G] | |
t [PdgTypes.Dpd] | |
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 |
t [CtrlDpds] | |
td [PdgTypes.Dpd] | |
V | |
v [Lmap_bitwise.Location_map_bitwise] |