Frama-C:
Plug-ins:
Libraries:

Frama-C API - Scope

Scope analysis.

module Defs : sig ... end

Interface for the Scope plugin.

module Datascope : sig ... end

Zones

module Zones : sig ... end