package goblint

  1. Overview
  2. Docs
Static analysis framework for C

Install

Dune Dependency

Authors

Maintainers

Sources

goblint-2.4.0.tbz
sha256=99b78e6def71534d195eef9084baa26d8334b36084e120aa6afb300c9bf8afa6
sha512=f3162bd95a03c00358a2991f6152fc6169205bfb4c55e2c483e98cc3935673df9656d025b6f1ea0fa5f1bd0aee037d4f483966b0d2907e3fa9bf11a93a3392af

doc/index.html

goblint index

Goblint

The following libraries make up Goblint's main codebase.

Library goblint.lib

This library currently contains the majority of Goblint and is in the process of being split into smaller libraries.

Library goblint.config

This unwrapped library contains various configuration modules extracted from Goblint_lib.

Library goblint.common

This unwrapped library contains various common modules extracted from Goblint_lib.

Library goblint.domain

This unwrapped library contains various domain modules extracted from Goblint_lib.

Library goblint.cdomain.value

This unwrapped library contains various value domain modules extracted from Goblint_lib.

Library goblint.constraint

This unwrapped library contains various constraint system modules extracted from Goblint_lib.

Library goblint.solver

Library goblint.library

This unwrapped library contains various library specification modules extracted from Goblint_lib.

Library goblint.incremental

This unwrapped library contains various incremental modules extracted from Goblint_lib.

Library extensions

The following libraries provide extensions to other OCaml libraries.

Library goblint.std

  • Goblint_std OCaml library extensions which are completely independent of Goblint.

Package utilities

The following libraries provide goblint package metadata for executables.

Library goblint.build-info

  • Goblint_build_info

This library is virtual and has the following implementations

  • goblint.build-info.dune for native executables,
  • goblint.build-info.js for js_of_ocaml executables.

Library goblint.sites

This library is virtual and has the following implementations

  • goblint.sites.dune for native executables,
  • goblint.sites.js for js_of_ocaml executables.

Independent utilities

The following libraries provide utilities which are completely independent of Goblint.

Library goblint.backtrace

Library goblint.timing

Library goblint.tracing

Library goblint.logs

Vendored

The following libraries are vendored in Goblint.

Library goblint.zarith.mlgmpidl

  • Z_mlgmpidl
OCaml

Innovation. Community. Security.