package frama-c

  1. Overview
  2. Docs
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.