package frama-c

  1. Overview
  2. Docs
On This Page
  1. Zones
Legend:
Library
Module
Module type
Parameter
Class
Class type

Scope analysis.

module Defs : sig ... end

Interface for the Scope plugin.

module Datascope : sig ... end

Zones

module Zones : sig ... end
OCaml

Innovation. Community. Security.