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