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