package frama-c

  1. Overview
  2. Docs
On This Page
  1. Public types
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Slicing.SlicingTypesSource

Slicing module types.

Sourceexception Slicing_Internal_Error of string
Sourceexception ChangeCallErr of string
Sourceexception PtrCallExpr
Sourceexception CantRemoveCalledFf
Sourceexception WrongSlicingLevel
Sourceexception OnlyOneEntryPointSlice

raised when someone tries to build more than one slice for the entry point.

Sourceexception NoPdg

raised when one tries to select something in a function where we are not able to compute the Pdg.

Public types

These types are the only one that should be used by the API functions. Public type definitions should be hidden to the outside world.

contains global things that has been computed so far for the slicing project. This includes :

  • the slices of the functions,
  • and the queue of actions to be applied.

Type of the selections (we store the varinfo because we cannot use the kernel_function in this file)

Function slice

Marks : used to put 'colors' in the result

Sourceval pp_sl_project : Frama_c_kernel.Type.precedence -> Format.formatter -> 'a -> unit