Index of modules


A
Api
Global data management
Api [Slicing]
Slicing API.
Assert [SlicingParameters.Select]

C
Callers [SlicingParameters.Mode]
Calls [SlicingParameters.Mode]
Calls [SlicingParameters.Select]

E
ExportedProjectPostfix [SlicingParameters]

F
Fct_slice
Return true if the source function is called (even indirectly via transitivity) from a Slice.t.
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
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.
SlicingSelect
For internal use
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]