owi/dune-project at main · kachida/owi · 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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
(lang dune 3.7)

(map_workspace_root false)

(using menhir 2.1)
(using dune_site 0.1)
(using mdx 0.2)
(using directory-targets 0.1)

(cram enable)

(generate_opam_files true)

(name owi)

(license AGPL-3.0-or-later)

(authors
 "Léo Andrès <leo@ocamlpro.com>"
 "Pierre Chambart <pierre.chambart@ocamlpro.com>"
 "Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>"
 "Eric Patrizio <epatrizio@mpns.fr>"
 "Arthur Carcano <arthur.carcano@ocamlpro.com>")

(maintainers "Léo Andrès <leo@ocamlpro.com>")

(source
 (github ocamlpro/owi))

(package
 (name owi)
 (synopsis
  "Symbolic execution engine and WebAssembly toolkit for research and engineering")
 (description "\
Owi is an open-source framework for symbolic execution and WebAssembly analysis.
It supports the analysis of programs written in WebAssembly, C, C++, Rust, and Zig.
Owi provides symbolic execution for bug finding, solver-aided programming, test case generation, and program verification.

The framework includes tools for formatting, optimizing, interpreting, validating, and translating WebAssembly modules.
It also provides a generator for random valid WebAssembly modules.

An OCaml library is available to embed WebAssembly modules and import OCaml functions in a type-safe manner."
 )
 (tags
  (owi ocaml webassembly wasm interpreter compiler))
 (depends
   ;; build
  (ocaml
   (>= 5.2))
  (menhir
   (and
    :build
    (>= 20220210)))
  (dune-build-info :build)
  (dune-site :build)
  ;; system packages
  conf-clang
  ;; conf-lld does not have `wasm-ld` on macOS and compilation fails
  ;; conf-llvm ;; this package is broken on opam-repository: on Debian it'll install the llvm-X but not llvm package...
  ;; conf-rust-llvm ;; not available in ubuntu
  ;; conf-rust-wasm ;; libstd-rust-dev-wasm32 is not available in ubuntu
  ;;conf-zig
  ;; runtime
  (bos
    (>= 0.2.1))
  (cmdliner
    (>= 1.3.0))
  (digestif
    (>= 1.2.0))
  (logs
    (>= 0.8.0))
  (ocaml_intrinsics
    (>= "v0.16.1"))
  (prelude
    (>= 0.5))
  (processor
    (>= 0.2))
  (sedlex
    (>= 3.3))
  (smtml
    (>= 0.7.0))
  (uutf
    (>= 1.0.3))
  (xmlm (>= 1.4.0))
  ;; doc
  (odoc (and (>= 3.0.0) :with-doc))
  ;; test
  (mdx
   (and
    :with-test
    (>= 2.1)))
  (frama-c (and (>= 29.0) :with-test))
  (z3 :with-test)
  ;; dev
  (bisect_ppx
   (and
    (>= 2.5)
    :with-dev-setup))
  (cohttp :with-dev-setup)
  (cohttp-lwt-unix :with-dev-setup)
  (crowbar :with-dev-setup)
  (extunix :with-dev-setup)
  (gnuplot :with-dev-setup)
  (graphics :with-dev-setup)
  (landmarks-ppx :with-dev-setup)
  (lwt :with-dev-setup)
  (lwt_ssl :with-dev-setup)
  (ocamlformat :with-dev-setup)
  (ocb
   (and
    (>= 0.1)
    :with-dev-setup))
  (rusage :with-dev-setup)
  (tiny_httpd :with-dev-setup)
  (tyxml :with-dev-setup)
  (yaml :with-dev-setup)
  )
 (sites (share c_files) (share rust_files) (share zig_files)))