package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.5.0.tbz
sha256=452d8491527aea21f2cbb11defcc14ba0daf9fdb6bdb9fc0af73e56eac57b916
sha512=1993cd45c4c7fe124ca6e157f07d17ec50fab5611b270a434ed1b7fb2910aa85a8e6eaaa77dad770430710aafb2f6d676c774dd33942d921f23e2f9854486551
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: 28 Nov 2024
Dependencies (27)
- conf-gcc
-
conf-gmp
>= "3" - catapult-file
- catapult
- uuidm
-
yaml
>= "3.0.0" - arg-complete
- 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.10" -
batteries
>= "3.5.1" -
goblint-cil
>= "2.0.5" -
ocaml
>= "4.14" -
dune
>= "3.7"
Dev Dependencies (5)
-
benchmark
with-test -
conf-ruby
with-test -
odoc
with-doc -
qcheck-ounit
with-test -
ounit2
with-test
Used by
None
Conflicts (2)
-
ez-conf-lib
= "1" -
result
< "1.5"
On This Page