Index of types


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]