A | |
Api | Global setting. |
Api [Slicing] | Slicing API. |
Assert [SlicingParameters.Select] | |
C | |
Callers [SlicingParameters.Mode] | |
Calls [SlicingParameters.Mode] | |
Calls [SlicingParameters.Select] | |
E | |
ExportedProjectPostfix [SlicingParameters] | |
F | |
Fct_slice | This module deals with slice computation. |
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] | Access to slicing results. |
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 management. |
Project [Slicing.Api] | Slicing project management. |
ProjectName [SlicingParameters] | |
R | |
RdAccess [SlicingParameters.Select] | |
Register | Register the plugin in the Frama-C kernel. |
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 | |
Select [Api] | Slicing selections. |
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 | |
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 | This .mli exists mainly to facilitate 'make -j'. |
SlicingMarks | Everything related with the marks. |
SlicingParameters | Slicing |
SlicingProject | Handle the project global object. |
SlicingSelect | |
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] |