Index of modules

A
Api
Api [Slicing]

Slicing API.

Assert [SlicingParameters.Select]
C
Callers [SlicingParameters.Mode]
Calls [SlicingParameters.Mode]
Calls [SlicingParameters.Select]
E
ExportedProjectPostfix [SlicingParameters]
F
Fct_slice

This module deals with slice computation.

Fct_user_crit [SlicingTypes]
H
Hashtbl [Datatype.S_with_collections]
K
KeepAnnotations [SlicingParameters.Mode]
Key [Datatype.Hashtbl]

Datatype for the keys of the hashtbl.

Key [Datatype.Map]

Datatype for the keys of the map.

L
LoopInv [SlicingParameters.Select]
LoopVar [SlicingParameters.Select]
M
Make [Datatype.Hashtbl]

Build a datatype of the hashtbl according to the datatype of values in the hashtbl.

Make [Datatype.Map]

Build a datatype of the map according to the datatype of values in the map.

Map [Datatype.S_with_collections]
Mark [Api]

Mark

Mark [Slicing.Api]

Access to slicing results.

Mode [SlicingParameters]
P
Pragma [SlicingParameters.Select]
PrintSlice

Everything needed to print the result

PrintSlice [Slicing]
Project [Api]

Slicing project

Project [Slicing.Api]

Slicing project management.

ProjectName [SlicingParameters]
R
RdAccess [SlicingParameters.Select]
Register_gui

Extension of the GUI in order to support slicing visualization.

Request [Api]

Slicing request

Request [Slicing.Api]

Requests for slicing jobs.

Return [SlicingParameters.Select]
S
S [Api.Select]
Select [Api]

Selection

Select [SlicingParameters]
Select [Slicing.Api]

Slicing selections.

Selections [SlicingSelect]
Set [Datatype.S_with_collections]
Sl_fct_slice [SlicingTypes]
Sl_mark [SlicingTypes]
Sl_project [SlicingTypes]
Sl_select [SlicingTypes]
Slice [Api]

Slice

Slice [Slicing.Api]

Function slice.

SliceUndef [SlicingParameters.Mode]
Slicing
SlicingActions

This module deals with the action management.

SlicingCmds

Those functions were previously outside the slicing module to show how to use the slicing API.

SlicingInternals

Internals types Internals type definitions should be hidden to the outside world, but it is not really possible to have abstract types since Slicing has to use Db.Slicing functions...

SlicingMacros

This .mli exists mainly to facilitate 'make -j'.

SlicingMarks

Everything related with the marks.

SlicingParameters

Slicing

SlicingProject

Handle the project global object.

SlicingSelect
SlicingState

State of the slicing.

SlicingTransform

Export a CIL application from a slicing project

SlicingTypes

Slicing module types.

T
Threat [SlicingParameters.Select]
V
Value [SlicingParameters.Select]
W
WrAccess [SlicingParameters.Select]