A | |
appli_criterion [SlicingInternals] |
Slicing criterion at the application level.
|
C | |
call_id [Fct_slice.CallInfo] | |
call_info [SlicingInternals] |
information about a call in a slice which gives the function to call
|
called_by [SlicingInternals] |
to represent where a function is called.
|
called_fct [SlicingInternals] | |
criterion [SlicingInternals] | |
D | |
data [State_builder.Ref] |
Type of the referenced value.
|
F | |
fct [SlicingTransform.Visibility] | |
fct_base_criterion [SlicingInternals] |
Base criterion for the functions.
|
fct_crit [SlicingInternals] | |
fct_criterion [SlicingInternals] |
A slicing criterion is either an application level criterion,
or a function level one.
|
fct_id [SlicingInternals] | fct_id is used to identify either a source function or a sliced one.
|
fct_info [SlicingInternals] |
Type for all the informations related to any function,
even if we don't have its definition.
|
fct_slice [SlicingInternals] |
Function slice :
created as soon as there is a criterion to compute it,
even if the slice itself hasn't been computed yet.
|
fct_user_crit [SlicingInternals] |
Tells which marks we want to put in the slice of a function
|
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] |
Used to identify a location (zone) at a given program point.
|
M | |
mark [SlicingInternals] |
Kinds of elementary marks.
|
marks_index [SlicingInternals] |
main part of a slice = mapping between the function elements
and information about them in the slice.
|
N | |
node [PrintSlice.PrintProject] | |
node_or_dpds [SlicingInternals] | node_or_dpds tells how we want to select nodes,
or some of their dependencies (see SlicingInternals.fct_user_crit ).
|
P | |
pdg_mark [SlicingInternals] |
Each PDG element has 2 marks to deal with interprocedural propagation
|
proj [SlicingTransform.Visibility] | |
project [SlicingInternals] | |
S | |
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 [PrintSlice.PrintProject.E] | |
t [PrintSlice.PrintProject.V] | |
t [PrintSlice.PrintProject] | |
t [Fct_slice.FctMarks] | |
t [Fct_slice.CallInfo] | |
t [SlicingMarks.SigMarks] | |
t [String] |
An alias for the type of strings.
|
tfi [PrintSlice.PrintProject] | |
to_prop [Fct_slice.FctMarks] | |
transform [SlicingTransform.Visibility] |