package lintcstubs

  1. Overview
  2. Docs
OCaml C stub static analyzer

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

Authors

  1. E
    Edwin Török <edwin.torok@cloud.com>

Maintainers

  1. E
    Edwin Török <edwin.torok@cloud.com>

Sources

lintcstubs-0.4.7.tbz
sha256=a3975d01687241ed27134b0088e43b5b94498190e99ff397d29822d7a6301646
sha512=80e9198ff347c707015cddea3d1859c7509ab436520dbe6b919c943cd654dc34270ff823ed58bcfce7b8e5af8a36a07b9a22005aa33574d915ccd2b5c961b071

Description

Uses a generated C model for how OCaml C primitives can be called. Run a static analyzer to find incorrect API/macro usage that leads to race conditions.

Published: 13 Sep 2023

Dependencies (9)

  1. sexplib >= "v0.15.0"
  2. fmt >= "0.9.0"
  3. fpath
  4. dune-compiledb
  5. goblint-cil
  6. goblint >= "2.1.0" & < "2.2.0"
  7. lintcstubs-gen = version
  8. ocaml >= "4.13"
  9. dune >= "3.0"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None