package goblint

  1. Overview
  2. No Docs
Static analysis framework for C

Install 

dune-project
 Dependency

goblint.in.tum.de Edit opam file Versions (10)

Authors

  1. V
    Vesal Vojdani
  2. K
    Kalmer Apinis
  3. R
    Ralf Vogler
  4. M
    Michael Schwarz
  5. J
    Julian Erhard
  6. S
    Simmo Saan

Maintainers

  1. M
    Michael Schwarz <michael.schwarz93@gmail.com>
  2. S
    Simmo Saan <simmo.saan@gmail.com>
  3. R
    Ralf Vogler <ralf.vogler@gmail.com>

Sources

goblint-1.1.1.tbz
sha256=999272bfbd3b9b96fcd58987b237ac6e9fa6d92ef935cc89f1ea2b4205185141
sha512=f3bf6ab71cf8c258d3290da4bf9f6fe42d7c671822e0efeb0fc50afdff078ab15e352237e5c1db31c5aa3a9d430691268ed2e5e00da10f2615835f672f91683d

Description

Published: 30 Nov 2021

Dependencies (14)

  1. conf-gcc
  2. conf-gmp >= "3"
  3. sha >= "1.12"
  4. dune-site
  5. ocaml-monadic >= "0.5"
  6. ppx_deriving_yojson
  7. ppx_deriving
  8. ppx_distr_guards >= "0.2"
  9. qcheck-core
  10. zarith >= "1.8"
  11. batteries >= "3.2.0" & < "3.4.0"
  12. goblint-cil >= "1.8.2" & < "2.0.0"
  13. dune >= "2.9.1"
  14. ocaml >= "4.09"

Dev Dependencies (4)

  1. benchmark with-test
  2. conf-ruby with-test
  3. odoc with-doc
  4. ounit2 with-test

Used by

None

Conflicts (1)

  1. apron >= "v0.9.15"