package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type

Library goblint.common

This library is unwrapped and provides the following top-level modules. For better context, see Goblint_lib which also documents these modules.

Framework

CFG

  • Node CFG node. Corresponds to a program point between program statements.
  • Edge CFG edge. Corresponds to a (primitive) program statement between program points (and their states).
  • MyCFG Control-flow graph.

Specification

Configuration

  • GobConfig Configuration access.
  • AfterConfig Hooks which run after the runtime configuration is fully loaded.
  • JsonSchema JSON schema validation.
  • Options src/common/util/options.schema.json low-level access.

Domains

  • Printable Signature for comparable and outputtable elements. Functors for common printables.
  • Lattice Signature for lattices. Functors for common lattices.

Analysis-specific

Other

  • Basetype Printables and domains for some common types.

I/O

  • Messages Messages (e.g. warnings) from the analysis.
  • Tracing Nested tracing system for debugging.

Utilities

  • Timing Time measurement of computations.

General

CIL

Library extensions

Standard library

Other libraries

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct