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.
  • CfgTools Construction and output of CFGs.

Specification

Domains

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

Analysis-specific

Other

  • Basetype Printables and domains for some common types.

I/O

  • Messages Messages (e.g. warnings) presented to the user about the program from the analysis.

Utilities

  • Timing Time measurement of computations.

General

CIL

Analysis-specific

Library extensions

Standard library

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