lintcstubsversion

OCaml C stub static analyzer

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.

AuthorEdwin Török <edwin.torok@cloud.com>
LicenseLGPL-2.1-or-later
Published
Homepagehttps://github.com/edwintorok/lintcstubs
Issue Trackerhttps://github.com/edwintorok/lintcstubs/issues
MaintainerEdwin Török <edwin.torok@cloud.com>
Dependencies
Source [http] https://github.com/edwintorok/lintcstubs/releases/download/0.4.7/lintcstubs-0.4.7.tbz
sha256=a3975d01687241ed27134b0088e43b5b94498190e99ff397d29822d7a6301646
sha512=80e9198ff347c707015cddea3d1859c7509ab436520dbe6b919c943cd654dc34270ff823ed58bcfce7b8e5af8a36a07b9a22005aa33574d915ccd2b5c961b071
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/lintcstubs/lintcstubs.0.4.7/opam
No package is dependent