Frama-C:
Plug-ins:
Libraries:

Frama-C API - Pdg_types

module PdgIndex : module type of PdgIndex

This module can be useful to store some information about different elements of a function.

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.

module PdgTypes : module type of PdgTypes

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