Index of modules


A
Assert [SlicingParameters.Select]

C
CallInfo [Fct_slice]
Manage the information related to a function call in a slice.
Callers [SlicingParameters.Mode]
Calls [SlicingParameters.Mode]
Calls [SlicingParameters.Select]

E
E [PrintSlice.PrintProject]
Enabled [Register_gui]
ExportedProjectPostfix [SlicingParameters]

F
FctMarks [Fct_slice]
FctMarks manages the mapping between a function elements and their marks.
Fct_slice
This module deals with slice computation.
Fct_user_crit [SlicingTypes]
Force [SlicingParameters]

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.
Kinstr [SlicingCmds]
Utilities for kinstr.

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 [SlicingMarks]
a Mark is used to represent some information about the status of a PDF element in a slice.
MarkPair [SlicingMarks]
Mode [SlicingParameters]

O
OptionModified [SlicingParameters]

P
Pragma [SlicingParameters.Select]
Print [SlicingParameters]
PrintProjGraph [PrintSlice]
PrintProject [PrintSlice]
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]
SigMarks [SlicingMarks]
SigMarks works on the marks in function signatures.
Sl_fct_slice [SlicingTypes]
Sl_mark [SlicingTypes]
Sl_project [SlicingTypes]
Sl_select [SlicingTypes]
SliceUndef [SlicingParameters.Mode]
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
Slicing module public macros that should be used to avoid using the type concrete definition from other modules.
SlicingMarks
Everything related with the marks.
SlicingParameters
Slicing options
SlicingProject
Handle the project global object.
SlicingTransform
Export the slicing project
SlicingTypes
Slicing module types.

T
Threat [SlicingParameters.Select]

V
V [PrintSlice.PrintProject]
Value [SlicingParameters.Select]
Visibility [SlicingTransform]

W
WrAccess [SlicingParameters.Select]