package owi
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=ae5f43a855d35e3362d7ae4f5d26a2e99f5abbbafceb9e970a9ac9ec48eca791
sha512=2cbd28275e1c65aa8f16d945d8ed679f070e1409f45796a272c8d58eb806890ad686184c95e1b6b16b96734c3d2c1d885c9894b3386f55cc0fd3fb4a40d68a8d
README.md.html
🐌 Owi
Owi is a toolchain to work with WebAssembly. It is written in OCaml. It provides a binary with many subcommands:
owi c
: a bug finding tool for C code that performs symbolic execution by compiling to Wasm and using our symbolic Wasm interpreter;owi fmt
: a formatter for Wasm;owi opt
: an optimizer for Wasm;owi run
: a concrete Wasm interpreter;owi script
: an interpreter for Wasm scripts;owi sym
: a symbolic Wasm interpreter;owi validate
: a validator for Wasm modules.owi wasm2wat
: a Wasm binary to text format translater.
It also provides an OCaml library which allows for instance to import OCaml functions in a Wasm module in a type-safe way!
We also have a fuzzer that is able to generate random valid Wasm programs. For now it has not been made available as a subcommand so you'll have to hack the code a little bit to play with it.
⚠️ For now, the optimizer and the formatter are quite experimental. The optimizer is well tested but only performs basic optimizations in an inefficient way. The formatter is mainly used for debugging purpose and is probably incorrect on some cases.
Installation
owi
can be installed with opam:
$ opam install owi
If you don't have opam
, you can install it following the how to install opam guide.
If you can't or don't want to use opam
, you can build the package with dune build -p owi @install
but you'll first have to install the dependencies by yourself. You can find the list of dependencies in the dune-project file.
Development version
To get the development version:
$ git clone git@github.com:OCamlPro/owi.git
$ cd owi
$ opam install . --deps-only
$ dune build -p owi @install
$ dune install
Supported proposals
The 🐌 status means the proposal is not applicable to Owi.
Adopted proposals
Current proposals
We only list proposals that reached phase 3 at least.
About
Talks
october 2023: Wasm Research Day organized by the WebAssembly Research Center and hosted in Google Munich
Spelling and pronunciation
Although the name Owi comes from an acronym (OCaml WebAssembly Interpreter), it must be written as a proper noun and only the first letter must be capitalized. It is possible to write the name in full lowercase when referring to the opam package or to the name of the binary.
The reason we chose this spelling rather than the fully capitalized version is that in French, Owi is pronounced [o’wi(ʃ)] which sounds like "Oh oui !" which means "Oh yes!". Thus it should be pronounced this way and not by spelling the three letters it is made of.
Changelog
See CHANGELOG.
License
Owi
Copyright (C) 2021-2024 OCamlPro
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU Affero General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Affero General Public License for more details.
You should have received a copy of the GNU Affero General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>.
See LICENSE.
A few files have been taken from the WebAssembly reference interpreter. They are licensed under the Apache License 2.0 and have a different copyright which is stated in the header of the files.
Some code has been taken from the base
library from Jane Street. It is licensed under the MIT License and have a different copyright which is stated in the header of the files.
Fundings
This project was funded through the NGI0 Core Fund, a fund established by NLnet with financial support from the European Commission's Next Generation Internet programme. See Owi project on NLnet.