package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.3.0.tbz
sha256=b729c94adb383a39aea32eb005c988dfd44b92af22ee6a4eedf4239542ac6c26
sha512=643b98770e5fe5644324c95c9ae3a9f698f25c8b11b298f0751d524e0b20af368b2a465fc8200b75a73d48fc9a053fd90f5e8920d4db070927f93188bb8687e0
doc/index.html
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
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page