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