package goblint
Static analysis framework for C
Install
Authors
Maintainers
Sources
goblint-2.2.1.tbz
sha256=ca24f72fa9a87d288affe97c411753f14b7802bab4ca3649b337276b89bf5674
sha512=394b3521ccda0da91540cebb2f433f7525763060be4bbe179edd3b952a3580a8e173c4e410fc6895dc67fe6d17e6699aeddfed600f4692858bec093dd912bf1e
Description
Published: 27 Sep 2023
Dependencies (25)
- 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
-
ppx_deriving_yojson
>= "3.7.0" - ppx_deriving_hash
- ppx_deriving
-
qcheck-core
>= "0.19" -
yojson
>= "2.0.0" -
zarith
>= "1.8" -
batteries
>= "3.5.0" -
goblint-cil
>= "2.0.2" -
ocaml
>= "4.10" -
dune
>= "3.6"
Dev Dependencies (5)
-
benchmark
with-test -
conf-ruby
with-test -
odoc
with-doc -
qcheck-ounit
with-test -
ounit2
with-test
Used by
Conflicts (1)
-
result
< "1.5"
On This Page