goblint index

Goblint

The following libraries make up Goblint's main codebase.

Library goblint.lib

• Goblint_lib Main library.

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

Library goblint.common

This unwrapped library contains various common 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

• 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

• Goblint_backtrace Backtraces with custom marks.

Library goblint.timing

• Goblint_timing Profiling with custom hierarchical timed sections.

Vendored

The following libraries are vendored in Goblint.

Library goblint.zarith.mlgmpidl

• Z_mlgmpidl