Index of types

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

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

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.