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] | |
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)
|