A | |
appli_criterion [SlicingInternals] | |
C | |
call_info [SlicingInternals] | |
called_by [SlicingInternals] | |
called_fct [SlicingInternals] | |
criterion [SlicingInternals] | |
F | |
fct_base_criterion [SlicingInternals] | |
fct_crit [SlicingInternals] | |
fct_criterion [SlicingInternals] | |
fct_id [SlicingInternals] | |
fct_info [SlicingInternals] | Type for all the informations related to any function, even if we don't have its definition. |
fct_slice [SlicingInternals] | |
fct_user_crit [SlicingInternals] | |
ff_marks [SlicingInternals] | |
L | |
level_option [SlicingInternals] | associate a level to each function in order to control how it will be specialized. |
loc_point [SlicingInternals] | |
M | |
mark [SlicingInternals] | Kinds of elementary marks. |
marks_index [SlicingInternals] | |
N | |
n_or_d_marks [SlicingActions] | selection mode (ie which mark to associate to the node and how to propagate in the different kinds of dependencies) |
node_or_dpds [SlicingInternals] | |
P | |
pdg_mark [SlicingInternals] | Each PDG element has 2 marks to deal with interprocedural propagation |
project [SlicingInternals] | |
S | |
select [SlicingActions] | |
selections [Api.Select] | |
set [Api.Select] | |
set [SlicingCmds] | |
set [Slicing.Api.Select] | Set of colored selections. |
sig_marks [SlicingMarks] | |
sl_fct_slice [SlicingTypes] | Function slice |
sl_mark [SlicingTypes] | Marks : used to put 'colors' in the result |
sl_project [SlicingTypes] | contains global things that has been computed so far for the slicing project. |
sl_select [SlicingTypes] | Type of the selections (we store the varinfo because we cannot use the kernel_function in this file) |
T | |
t [Api.Slice] | |
t [Api.Select] | |
t [Api.Mark] | |
t [Slicing.Api.Slice] | Abstract data type for function slice. |
t [Slicing.Api.Select] | Internal selection. |
t [Slicing.Api.Mark] | Abstract data type for mark value. |