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, * but it is not really possible to have abstract types since Slicing has to * use Db.Slicing functions... So, it is up to the user of this module to use * only this public part.

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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct