package owi

  1. Overview
  2. Docs
OCaml toolchain to work with WebAssembly, including an interpreter

Install 

dune-project
 Dependency

github.com Readme Changelog AGPL-3.0-or-later License Edit opam file Versions (2)

Authors

  1. L
    Léo Andrès <contact@ndrs.fr>
  2. P
    Pierre Chambart <pierre.chambart@ocamlpro.com>
  3. F
    Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
  4. E
    Eric Patrizio <epatrizio@mpns.fr>
  5. A
    Arthur Carcano <arthur.carcano@ocamlpro.com

Maintainers

  1. L
    Léo Andrès <contact@ndrs.fr>

Sources

0.2.tar.gz
sha256=ae5f43a855d35e3362d7ae4f5d26a2e99f5abbbafceb9e970a9ac9ec48eca791
sha512=2cbd28275e1c65aa8f16d945d8ed679f070e1409f45796a272c8d58eb806890ad686184c95e1b6b16b96734c3d2c1d885c9894b3386f55cc0fd3fb4a40d68a8d

doc/index.html

owi

owi is a toolchain to work with WebAssembly. It is written in OCaml.

Owi provides many tools: a formatter, an optimizer, a concrete interpreter, a script interpreter and a symbolic interpreter. It also allows to do bug finding on C code by compiling it to Wasm and running the symbolic interpreter.

To get started, have a look at the README which contains pointers to general documentation and examples.

Here you will only find the API documentation which is written towards people using the OCaml library directly or people trying to understand the code of Owi such as its developpers. :-)

API

  • Owi.Parse Module providing functions to parse a wasm script from various kind of inputs.
  • Owi.Types
  • Owi.Compile Utility functions to compile a module until a given step.
  • Owi.Check Initial check done on a module.
  • Owi.Typecheck Module to typecheck a simplified module.
  • Owi.Optimize Optimize module
  • Owi.Link Module to link a simplified/extern module and producing a runnable module along with a link state.
  • Owi.Log Module to enable or disable the printing of debug logs.
  • Owi.Interpret
  • Owi.Script Module to execute a full Wasm script.

Private API

You shouldn't have to use any of these modules, they're used internally only. Nonetheless, some modules should maybe move to the public API, open an issue on the repository if you believe a mistake has been done.

On This Page
  1. API
  2. Private API