A | |
appli_criterion [SlicingInternals] | Slicing criterion at the application level. |
C | |
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] | A slicing criterion is either an application level criterion, or a function level one. |
F | |
fct_base_criterion [SlicingInternals] | Base criterion for the functions. |
fct_crit [SlicingInternals] | kinds of actions that can be apply to a function |
fct_criterion [SlicingInternals] | Slicing criterion for a function. |
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] | 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 | |
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] | |
set [Api.Select] | Set of colored selections. |
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] | Internal selection. |
t [Api.Mark] | Abstract data type for mark value. |
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. |