package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
module PdgIndex : module type of PdgIndex

This module can be useful to store some information about different * elements of a function. * * PdgIndex.Signature is used to store information * about function inputs/outputs either for the function itself or for its * calls. PdgIndex.Key provides keys to identify the different * elements we want to speak about. PdgIndex.FctIndex is the main * object that manages the stored information. * * This module is used for instance to store the relation between a function * elements and the nodes of its PDG, but it can also be used to store many * other things.

module PdgMarks : module type of PdgMarks

This module provides elements to mapped information (here called 'marks') * to PDG elements and propagate it along the dependencies. * * Some more functions are defined in the PDG plugin itself * (in pdg/marks): * the signatures of these public functions can be found in file Pdg.mli

module PdgTypes : module type of PdgTypes

This module defines the types that are used to store the PDG of a function.

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