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.
Author | Edwin Török <edwin.torok@cloud.com> |
---|---|
License | LGPL-2.1-or-later |
Published | |
Homepage | https://github.com/edwintorok/lintcstubs |
Issue Tracker | https://github.com/edwintorok/lintcstubs/issues |
Maintainer | Edwin 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 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lintcstubs/lintcstubs.0.4.7/opam |
No package is dependent