Random Testing of WebAssembly Implementations Using Semantically Valid Programs

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
WebAssembly Emscripten Rust Compilers WASM

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • wasm-tools

    CLI and Rust libraries for low-level manipulation of WebAssembly modules

    • Related: one of my colleagues created [wasm-smith](https://github.com/bytecodealliance/wasm-tools/tree/main/cra...) for fuzzing wasmparser and Wasmtime.

  • binaryen

    Optimizer and compiler/toolchain library for WebAssembly

    • The end of the related work section cites both wasm-smith and the Binaryen fuzzer (https://github.com/WebAssembly/binaryen/wiki/Fuzzing) and says, "They both provide a fuzzer that turns a stream of bytes into a WebAssembly module in order to test implementations. Their fuzzers always generate semantically valid test cases, but lack the targeting and tuning that Xsmith provides."

    I look forward to reading more about how they do the targeting and tuning.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • WebAssembly: A promising technology that is quietly being enshitified

    1 project | news.ycombinator.com | 22 May 2024

  • Show HN: Pypipe – A Python command-line tool for pipeline processing

    6 projects | news.ycombinator.com | 22 Oct 2023

  • Wasmer – Run, Publish and Deploy any code, anywhere

    1 project | /r/hypeurls | 19 Sep 2023

  • Support Wasix in Zig Lang

    1 project | news.ycombinator.com | 16 Sep 2023

  • Wasmer 4.2 is Released: Upping the Ante with 50% Faster Module Load Times! 🚀

    1 project | /r/rust | 9 Sep 2023