Skip to content

DLR-FT/wasm-interpreter-review-table-dasc-2025

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Β 

History

18 Commits
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 

Repository files navigation

How to Run

  • install nix with flakes enabled (https://nixos.org/).
  • clone this repository.
  • within this repository, run: nix run .#

Table

WASM Interpreter Source Language Huge Code-base Require AOT Require JIT Interpret IR Esoteric Language GC Language Reliance on Syscalls Relies on Recursion Has Dependencies
wasmtime (v31.0.0) Rust 310 kLOC ❌ ❌ ❌ βœ… βœ… ❌ βœ… ❌
wasmtime (v31.0.0 - minimal build) Rust 47 kLOC ❌ βœ… βœ… βœ… βœ… βœ… βœ… ❌
wasmi (v.0.44.0) Rust 45 kLOC βœ… βœ… ❌ βœ… βœ… βœ… βœ… βœ…
wizard (commit #3cced75 - JVM) Virgil 26 kLOC βœ… βœ… βœ… ❌ ❌ βœ… βœ… ❌
wizard (commit #3cced75 - x86_64-linux) Virgil 34 kLOC βœ… βœ… βœ… ❌ ❌ ❌ βœ… βœ…
Reference Interpreter (commit #05949f5) OCaml 11 kLOC βœ… βœ… βœ… βœ… ❌ βœ… ❌ βœ…
wasmer (v5.0.4) Rust 193 kLOC ❌ ❌ βœ… βœ… βœ… ❌ βœ… ❌
WAMR (v2.2.0 - classic interpreter mode) C 92 kLOC βœ… βœ… βœ… βœ… βœ… ❌? ❌? βœ…
wasm3 (v0.5.0) C 10 kLOC βœ… βœ… ❌ βœ… βœ… βœ… ❌? βœ…
WasmEdge (v0.14.1) C++ 36 kLOC ❌ ❌ βœ… βœ… βœ… ❌ βœ… ❌
WAVM (nightly/2022-05-14) C++ 32 kLOC ❌ ❌ βœ… βœ… βœ… ❌ βœ… ❌

About

Code for generating interpreter review table in the paper On the Design of a WebAssembly Interpreter for Safety Critical Avionics Applications (DASC 2025)

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors