package frama-c

  1. Overview
  2. Docs
On This Page
  1. Zones

Module ScopeSource

Scope analysis.

Sourcemodule Defs : sig ... end

Interface for the Scope plugin.

Sourcemodule Datascope : sig ... end

Zones

Sourcemodule Zones : sig ... end