lintcstubs/dune-project at main · edwintorok/lintcstubs · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
(lang dune 3.6)
(cram enable)
(using dune_site 0.1)
(using action-plugin 0.1)

(generate_opam_files)
(name lintcstubs)
(source (github edwintorok/lintcstubs))
(authors "Edwin Török <edwin.torok@cloud.com>")
(maintainers "Edwin Török <edwin.torok@cloud.com>")
(license LGPL-2.1-or-later)

(package
 (name lintcstubs-gen)
 (synopsis "OCaml C stub wrapper generator")
 (description "Generates a C model for how OCaml C primitives can be called. Link with a C model of the OCaml runtime, or run a static analyzer to find incorrect API/macro usage that leads to race conditions.")
 (depends
  (ocaml (>= 4.13))
  (lintcstubs-arity (>= 0.5.1))
 )
)

(package
 (name lintcstubs)
 (synopsis "OCaml C stub static analyzer")
 (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.")
 (depends
  (ocaml (>= 4.13))
  (lintcstubs-gen (= :version))
  (goblint (>= 2.7.1))
  goblint-cil
  dune-compiledb
  fpath
  (fmt (>= 0.9.0))
  (sexplib (>= v0.15.0))
  (conf-graphviz :with-test)
 )
)