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