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