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] | |
Enable [Register_gui] | |
F | |
F_SigMarks [SlicingMarks] | SigMarks works on the marks in function signatures.
|
FctMarks [Fct_slice] | FctMarks manages the mapping between a function elements and their
marks.
|
Fct_slice |
This module deals with slice computation.
|
K | |
KeepAnnotations [SlicingParameters.Mode] | |
Kinstr [SlicingCmds] |
Utilities for
kinstr .
|
L | |
LoopInv [SlicingParameters.Select] | |
LoopVar [SlicingParameters.Select] | |
M | |
Mark [SlicingMarks] |
a
Mark is used to represent some information about the status of
a PDF element in a slice.
|
MarkPair [SlicingMarks] |
a
MarkPair is associated with each element of the PDG in a slice.
|
Mode [SlicingParameters] | |
P | |
Pragma [SlicingParameters.Select] | |
Print [SlicingParameters] | |
PrintProjGraph [PrintSlice] | |
PrintProject [PrintSlice] | |
PrintSlice |
Everything needed to print the result
|
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] | |
SigMarks [SlicingMarks] |
The mark associated with a call stmt is composed of
marks for the call inputs (numbered form 1 to
max_in )
and marks for the call outputs (numbered from 0 to max_out
|
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.
|
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
|
T | |
Threat [SlicingParameters.Select] | |
V | |
V [PrintSlice.PrintProject] | |
Value [SlicingParameters.Select] | |
Visibility [SlicingTransform] | |
W | |
WrAccess [SlicingParameters.Select] |