Frama-C:
Plug-ins:
Libraries:

Frama-C API - Pdg

Program Dependences Graph.

module Api : module type of Api
module Marks : module type of Marks