Index of modules


A
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]
Mode [SlicingParameters]

P
Pragma [SlicingParameters.Select]
Print [SlicingParameters]
PrintSlice
Everything needed to print the result
ProjectName [SlicingParameters]

R
RdAccess [SlicingParameters.Select]
Register
This file should be empty because every API functions of the slicing module should be registered in Db.Slicing.
Register_gui
Extension of the GUI in order to support slicing visualization.
Return [SlicingParameters.Select]

S
Select [SlicingParameters]
Set [Datatype.S_with_collections]
Sl_fct_slice [SlicingTypes]
Sl_mark [SlicingTypes]
Sl_project [SlicingTypes]
Sl_select [SlicingTypes]
SliceUndef [SlicingParameters.Mode]
Slicing
Slicing API.
SlicingActions
selection mode (ie which mark to associate to the node and how to propagate in the different kinds of dependencies)
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
generated spare = the smallest visible mark
SlicingParameters
Slicing
SlicingProject
Handle the project global object.
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]