tools for WebAssembly #10

monperrus · 2019-09-02T16:25:14Z

we collect open-source tools here

monperrus · 2019-09-02T16:25:25Z

WABT: WebAssembly Binary Toolkit
https://github.com/WebAssembly/wabt

monperrus · 2019-09-02T16:26:54Z

Octopus: Security Analysis tool for WebAssembly module
https://github.com/quoscient/octopus

Jacarte · 2019-09-02T16:36:27Z

WASABI: First tool for dynamic analysis of webassembly modules, implemented in RUST

jianguda · 2019-09-03T06:32:04Z

Wasmer: a standalone WebAssembly runtime, for running WebAssembly outside of the Browser
https://github.com/wasmerio/wasmer

monperrus · 2019-09-06T06:42:55Z

A small and efficient runtime for WebAssembly & WAS
https://wasmtime.dev/

https://github.com/bytecodealliance/wasmtime

satabin · 2019-09-06T07:13:24Z

A small and efficient runtime for WebAssembly & WAS
https://wasmtime.dev/

On that topic, I also intend to add a WASI implementation to Swam, might be relevant for you as it also include security by capabilities.

Jacarte · 2019-09-06T14:29:30Z

https://github.com/xtuc/webassemblyjs

Jacarte · 2019-09-24T07:27:21Z

Hi @shrin18 WDYT? https://github.com/jcbeyler/wasm-to-llvm-prototype

monperrus · 2019-09-27T05:32:40Z

for fun:
Vim editor ported to WebAssembly
https://github.com/rhysd/vim.wasm

monperrus · 2019-09-27T08:31:04Z

TeaVM is an ahead-of-time compiler for Java bytecode that emits JavaScript and WebAssembly
http://teavm.org/

monperrus · 2019-09-27T15:51:11Z

Similar to TeaVM
Java to WebAssembly compiler
https://github.com/i-net-software/JWebAssembly

jianguda · 2019-11-13T20:06:33Z

Lucet (the Sandboxing WebAssembly Compiler)
Lucet is a native WebAssembly compiler and runtime. It is designed to safely execute untrusted WebAssembly programs inside your application.
https://github.com/bytecodealliance/lucet

shrin18 · 2019-11-17T22:52:36Z

a) Web Assembly Studio:
https://webassembly.studio/

b) WASM Explorer - Side by side comparison of WASM, LLVM with Firefox x86 programs
https://github.com/mbebenita/WasmExplorer

Jacarte · 2019-11-18T18:48:59Z

binaryen.js

orestisfl · 2019-11-26T07:56:02Z

WebAssembly to C decompiler
https://github.com/wwwg/wasmdec
https://wwwg.github.io/web-wasmdec/

monperrus · 2019-11-26T12:15:02Z

Cool. To what extent is C the easiest target language for disassembling WASM?

monperrus · 2019-11-27T14:36:41Z

SideFuzz is an adaptive fuzzer that uses a genetic-algorithim optimizer in combination with t-statistics to find side-channel (timing) vulnerabilities in cryptography compiled to wasm.
https://github.com/phayes/sidefuzz

Jacarte · 2019-11-29T13:20:55Z

Cheerp: a C/C++ compiler for Web applications

monperrus · 2019-11-29T14:49:59Z

Walrus is a WebAssembly transformation library
https://github.com/rustwasm/walrus

monperrus · 2019-12-08T08:00:37Z

GraalWasm a WebAssembly engine in GraalVM
https://github.com/oracle/graal/tree/master/wasm

monperrus · 2019-12-09T09:02:59Z

Gate: a WebAssembly runtime which can migrate live programs across CPU architectures
https://savo.la/introduction-to-gate.html

Jacarte · 2019-12-10T17:59:25Z

ilwasm
Maps a subset of .NET CIL to WebAssembly S-expressions. Implemented as a custom code generator backend for the JSIL CIL -> JS compiler.

shrin18 · 2019-12-12T08:39:06Z

WASM Binary file parser from Mozilla: https://github.com/bytecodealliance/wasmparser

jianguda · 2019-12-22T17:48:25Z

twiggy

Twiggy is a code size profiler for Wasm. It analyzes a binary's call graph to answer questions like:

Why was this function included in the binary in the first place? Who calls it?

What is the retained size of this function? I.e. how much space would be saved if I removed it and all the functions that become dead code after its removal.

Jacarte · 2019-12-23T15:15:10Z

https://github.com/wasienv/wasienv

monperrus · 2019-12-23T16:09:03Z

Running LibFuzzer in a Browser, via WASM https://github.com/jonathanmetzman/wasm-fuzzing-demo/blob/master/meetup-Fuzzing-Native-Applications-in-Browsers-With-WASM.pdf

monperrus · 2020-01-10T08:46:30Z

Fuzzing JavaScript WebAssembly APIs with Dharma/Domato (Chrome/v8)
https://webassembly-security.com/fuzzing-wasm-javascript-dharma-chrome-v8/

monperrus · 2020-01-13T17:30:49Z

inNative WebAssembly Runtime: inNative is an AOT (ahead-of-time) compiler for WebAssembly that creates C compatible binaries, either as sandboxed plugins you can dynamically load, or as stand-alone executables that interface directly with the operating system
https://innative.dev/

monperrus · 2020-01-14T09:37:26Z

wasm3/wasm3: 🚀 The fastest WebAssembly interpreter https://github.com/wasm3/wasm3

Jacarte · 2020-02-20T15:28:06Z

UNIX IN YOUR BROWSER TAB
Run C, C++, Go and Node.js programs as processes in browsers, including LaTeX, GNU Make, Go HTTP servers, and POSIX shell scripts.

https://browsix.org/

Jacarte · 2020-03-12T13:42:26Z

https://github.com/cgvwzq/writeups/blob/master/how-to-wasm.md

Jacarte · 2020-03-12T13:53:26Z

WebAssembly Tool Conventions

This repository holds documents describing conventions useful for coordinating interoperability between wasm-related tools. This includes descriptions of intermediate file formats, conventions for mapping high-level language types, names, and abstraction features to WebAssembly types, identifiers, and implementations, and schemes for supporting debuggers or other tools.

These conventions are not part of the WebAssembly standard, and are not required of WebAssembly-consuming implementations to execute WebAssembly code. Tools producing and working with WebAssembly in other ways also need not follow any of these conventions. They exist only to support tools that wish to interoperate with other tools at a higher abstraction level than just WebAssembly itself.

These conventions are also not exclusive. There could be multiple conventions for a given language for a given purpose. There are natural benefits to interoperability, but there are many reasons where having more than one way to do things can also make sense in many circumstances.

monperrus · 2020-03-13T13:34:36Z

Octopus: Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
https://github.com/pventuzelo/octopus

Jacarte · 2020-03-16T20:13:47Z

Instruments wasm files and traces execution, using Binaryen.js and Wasmer.js

https://github.com/wasm3/wasm-trace

monperrus · 2020-03-26T16:00:20Z

WebAssembly Virtual Machine: WAVM uses LLVM to compile WebAssembly code to machine code with close to native performance.
https://github.com/WAVM/WAVM/

monperrus · 2020-04-20T08:52:49Z

the tigress c obfuscator now targets webassembly
https://tigress.wtf/

satabin · 2020-04-20T15:12:29Z

Instruments wasm files and traces execution, using Binaryen.js and Wasmer.js

https://github.com/wasm3/wasm-trace

I rely like this one, I think it would be easy to adapt our tracer to produce the same kind of output.

monperrus · 2020-05-15T04:55:56Z

But you can use <WASMER> in a lot of other languages. After having announced libraries to use Wasmer, and thus WebAssembly, in:

PHP with the ext/wasm extension,

Python with the wasmer library,

Ruby with the wasmer library,

Go with the wasmer library (see Announcing the fastest WebAssembly runtime for Go: wasmer), and even

Postgres with the wasmer library (see Announcing the first Postgres extension to run WebAssembly),

and many other contributions in .NET/C#, R and Elixir…

…we are jazzed to announce that Wasmer has now landed in Java!

https://medium.com/wasmer/announcing-the-first-java-library-to-run-webassembly-wasmer-jni-89e319d2ac7c

monperrus · 2020-05-21T04:28:37Z

Enarx is an application deployment system enabling applications to run
within Trusted Execution Environments (TEEs) without rewriting for
particular platforms or SDKs. It handles attestation and delivery into a
run-time “Keep” based on WebAssembly [...] Work is
currently underway on AMD SEV and Intel SGX.

https://github.com/enarx/enarx

monperrus · 2020-05-29T09:35:13Z

Proprietary software: Jeb decompiler for WebAssembly

monperrus · 2020-08-15T05:35:11Z

Blazor: run C# and .NET in WebAssembly
https://dotnet.microsoft.com/apps/aspnet/web-apps/blazor

Jacarte · 2020-09-04T09:07:37Z

Benchmarks study on WASM (quite exhaustive), https://medium.com/@torch2424/webassembly-is-fast-a-real-world-benchmark-of-webassembly-vs-es6-d85a23f8e193

orestisfl · 2020-09-29T17:57:15Z

(wasmer) WebAssembly Runtime for python

https://github.com/wasmerio/wasmer-python

monperrus · 2020-10-10T07:05:47Z

Webassembly Plugins for the Envoy proxy
https://www.solo.io/blog/the-state-of-webassembly-in-envoy-proxy/

(We could write a diversifying proxy by putting Crow there)

orestisfl · 2020-10-11T13:12:08Z

wasm-smith: A WebAssembly test case generator

https://github.com/fitzgen/wasm-smith

monperrus · 2020-10-17T05:16:26Z

WasmView: Visual Testing for WebAssembly Applications
https://www.acsu.buffalo.edu/~alanroma/WasmView_Visual_Testing_for_WebAssembly_Applications.pdf

Jacarte · 2020-10-27T13:01:10Z

wasm-decompile https://v8.dev/blog/wasm-decompile

bbaudry · 2020-11-11T05:37:08Z

Hosting Blazor WebAssembly in Nginx
https://www.endycahyono.com/article/hosting-blazor-webassembly-in-nginx

Jacarte · 2020-12-17T21:50:21Z

z3.wasm

https://github.com/cpitclaudel/z3.wasm

This repo contains a build script to compile Z3 to WebAssembly using emscripten. To make things more reproducible, the build script may be run in a Vagrant VM.

Jacarte · 2021-01-25T11:42:55Z

aWsm - An Awesome Wasm Compiler and Runtime
https://github.com/gwsystems/awsm

Jacarte · 2021-03-03T19:44:23Z

Souper in wasmtime-codegen

https://github.com/bytecodealliance/wasmtime/blob/76d3fb61c3/cranelift/peepmatic/README.md

vshymanskyy · 2021-03-18T13:53:19Z

Just published my collection of wasm tools:
https://github.com/vshymanskyy/awesome-wasm-tools

Hope this is helpful.. Feel free to contribute!

monperrus · 2021-03-18T17:27:47Z

Thanks @vshymanskyy we have a WASM superoptimizer and a WASM superdiversifier for your awesome list :)

vshymanskyy · 2021-03-19T08:20:08Z

@monperrus would love to accept some PRs!
For superdiversifier, it would be cool to see some simple Getting Started guide.

monperrus · 2021-04-12T11:17:18Z

LAM: an actor-model VM for WebAssembly and native
https://notamonadtutorial.com/lam-an-actor-model-vm-for-webassembly-and-native-d7939362e1b8

Jacarte · 2021-05-04T13:09:22Z

https://github.com/migueldeicaza/mono-wasm

monperrus · 2021-09-15T08:08:57Z

WASM Tooling in Rust by Fastly and Bytecode Alliance: https://github.com/bytecodealliance/wasm-tools (@Jacarte is now contributing to it)

Jacarte · 2021-12-07T21:28:40Z

wasm-mutate is a new tool for fuzzing Wasm compilers, runtimes, validators, and other Wasm-consuming programs. https://github.com/bytecodealliance/wasm-tools/tree/main/crates/wasm-mutate

monperrus mentioned this issue Dec 8, 2019

awesome webassembly #18

Closed

monperrus pinned this issue Sep 12, 2020

tools for WebAssembly #10

tools for WebAssembly #10

Comments

monperrus commented Sep 2, 2019 • edited Loading

monperrus commented Sep 2, 2019

monperrus commented Sep 2, 2019

Jacarte commented Sep 2, 2019

jianguda commented Sep 3, 2019

monperrus commented Sep 6, 2019 • edited Loading

satabin commented Sep 6, 2019

Jacarte commented Sep 6, 2019

Jacarte commented Sep 24, 2019 • edited Loading

monperrus commented Sep 27, 2019

monperrus commented Sep 27, 2019

monperrus commented Sep 27, 2019

jianguda commented Nov 13, 2019

shrin18 commented Nov 17, 2019

Jacarte commented Nov 18, 2019

orestisfl commented Nov 26, 2019

monperrus commented Nov 26, 2019 via email

monperrus commented Nov 27, 2019

Jacarte commented Nov 29, 2019

monperrus commented Nov 29, 2019

monperrus commented Dec 8, 2019

monperrus commented Dec 9, 2019

Jacarte commented Dec 10, 2019

shrin18 commented Dec 12, 2019

jianguda commented Dec 22, 2019

Jacarte commented Dec 23, 2019

monperrus commented Dec 23, 2019

monperrus commented Jan 10, 2020

monperrus commented Jan 13, 2020

monperrus commented Jan 14, 2020 via email • edited Loading

Jacarte commented Feb 20, 2020 • edited Loading

Jacarte commented Mar 12, 2020

Jacarte commented Mar 12, 2020

monperrus commented Mar 13, 2020

Jacarte commented Mar 16, 2020 • edited Loading

monperrus commented Mar 26, 2020

monperrus commented Apr 20, 2020

satabin commented Apr 20, 2020

monperrus commented May 15, 2020

monperrus commented May 21, 2020

monperrus commented May 29, 2020

monperrus commented Aug 15, 2020

Jacarte commented Sep 4, 2020

orestisfl commented Sep 29, 2020

monperrus commented Oct 10, 2020

orestisfl commented Oct 11, 2020

monperrus commented Oct 17, 2020

Jacarte commented Oct 27, 2020

bbaudry commented Nov 11, 2020

Jacarte commented Dec 17, 2020

Jacarte commented Jan 25, 2021

Jacarte commented Mar 3, 2021

vshymanskyy commented Mar 18, 2021 • edited Loading

monperrus commented Mar 18, 2021

vshymanskyy commented Mar 19, 2021

monperrus commented Apr 12, 2021

Jacarte commented May 4, 2021

monperrus commented Sep 15, 2021

Jacarte commented Dec 7, 2021

monperrus commented Sep 2, 2019 •

edited

Loading

monperrus commented Sep 6, 2019 •

edited

Loading

Jacarte commented Sep 24, 2019 •

edited

Loading

monperrus commented Jan 14, 2020 via email •

edited

Loading

Jacarte commented Feb 20, 2020 •

edited

Loading

Jacarte commented Mar 16, 2020 •

edited

Loading

vshymanskyy commented Mar 18, 2021 •

edited

Loading