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]
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.
Force [SlicingParameters]

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]

O
OptionModified [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]