package goblint
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
On This Page
Static analysis framework for C
Install
dune-project
Dependency
Authors
Maintainers
Sources
goblint-2.8.0.tbz
sha256=9175eec0143102243964e34a0786584fd590c60422009259c705a89a27f88de4
sha512=9d760007dd8d003cf596516444ed7acc7370fc3d446e75ac71b0176522c3baae090410762f9035e7aae4f6b0e394bf28bb5b1c08ca0476920b94aa919ef04f42
Description
Goblint is a sound static analysis framework for C programs using abstract interpretation. It specializes in thread-modular verification of multi-threaded programs, especially regarding data races. Goblint includes analyses for assertions, overflows, deadlocks, etc and can be extended with new analyses.
Tags
program analysis program verification static analysis abstract interpretation C data race analysis concurrencyPublished: 15 Jun 2026
Dependencies (30)
- domain_shims
- domain-local-await
- conf-gcc
-
conf-gmp
>= "3" - catapult-file
- catapult
- uuidm
-
yaml
>= "3.0.0" -
arg-complete
>= "0.2.1" - cpu
-
fileutils
>= "0.6.4" -
sha
>= "1.12" -
jsonrpc
>= "1.12" - json-data-encoding
- dune-build-info
- dune-site
- fpath
-
ppxlib
>= "0.30.0" -
ppx_blob
>= "0.8.0" -
ppx_deriving_yojson
>= "3.7.0" -
ppx_deriving_hash
>= "0.1.2" -
ppx_deriving
>= "6.0.2" -
qcheck-core
>= "0.19" -
yojson
>= "2.0.0" & < "3" -
zarith
>= "1.12" -
patricia-tree
>= "0.14.0" -
batteries
>= "3.9.0" -
goblint-cil
>= "2.1.0" -
ocaml
>= "4.14" -
dune
>= "3.20"
Dev Dependencies (7)
-
ocp-indent
with-dev-setup -
ocaml-lsp-server
with-dev-setup -
benchmark
with-test -
conf-ruby
with-test -
odoc
with-doc -
qcheck-ounit
with-test -
ounit2
with-test
Used by
None
On This Page