WebAssembly/wabt
Wabt
The WebAssembly Binary Toolkit is a suite of tools for inspecting, validating, and transforming WebAssembly modules between binary and human-readable representations. It includes a stack-based interpreter for executing modules and a transpiler that converts binary files into C source code and headers.
The toolkit provides utilities for assembling human-readable text into binary modules and disassembling binary files back into text. It features a text formatter for normalizing definitions into a canonical flat representation and supports the conversion of binaries into S-expression formats.
The project covers broad capability areas including binary manipulation, such as stripping metadata sections, and module inspection to extract structural statistics and debug symbols. It also provides validation tools to check binary correctness against technical specifications and a runtime environment for executing WASI-compliant logic.
Features
- WebAssembly Binary Manipulators - Provides utilities for assembling, disassembling, and modifying the structural representation of WebAssembly binary files.
- Binary Assembly - Transforms human-readable text definitions into binary WebAssembly modules for execution.
- Binary Disassembly - Converts binary function bodies into human-readable text to analyze low-level instructions and relocations.
- Binary Metadata Inspection - Extracts structural information and section headers from binary files to analyze internal composition.
- Binary Disassemblers - Converts binary opcodes and section headers into a human-readable text representation of the module.
- WebAssembly Stack-Based Interpretation - Runs a stack-based interpreter on binary files with configurable stack sizes and language features.
- Binary-to-Text Disassemblers - Transforms binary files into a readable text format with configurable language features and metadata.
- Stack-Based Virtual Machines - Implements a virtual stack machine to execute WebAssembly instructions and manage memory offsets.
- WASI Program Execution - Runs modules compliant with the WebAssembly System Interface using environment strings and directory mappings.
- Binary-to-C Translation - Transforms binary WebAssembly instructions into equivalent C source code and header files for native execution.
- WASI Implementations - Provides a runtime implementation of the WebAssembly System Interface for portable system resource access.
- WebAssembly Assemblers - Parses human-readable text definitions and encodes them into the binary WebAssembly format.
- WebAssembly Binary Analysis - Analyzes the composition of binary modules by examining sections for types, functions, memory, and globals.
- WebAssembly Module Structural Definitions - Analyzes the composition and metadata of binary files to extract internal structural definitions like functions and globals.
- WebAssembly Text to Binary Assemblers - Translates human-readable text definitions into binary WebAssembly modules after verifying input syntax.
- WebAssembly to C Transpilers - Transforms binary WebAssembly files into C source and header files for execution in native C environments.
- Binary Specification Validation - Verifies that binary modules adhere to the structural and logical requirements of the WebAssembly specification.
- Binary Section Stripping - Filters binary modules by removing specific metadata or user-defined sections to reduce the final file size.
- Debug Symbol Extractors - Reads debug names and metadata from binary modules to recover original source identifiers.
- Binary Metadata Stripping - Removes specific sections from binary files to reduce file size or hide metadata.
- Optimized WebAssembly Interpreters - Implements a stack-based execution engine for running WebAssembly modules and WASI-compliant logic.
- Specification Compliance Testing - Executes binary modules via an interpreter to validate logic and verify specification compliance.
- WebAssembly Text Formatters - Converts binary modules into human-readable text and normalizes definitions into a canonical flat representation.
- WebAssembly Text Normalizers - Normalizes and formats WebAssembly text definitions into a canonical flat representation.
- Test Suite Execution - Runs comprehensive test suites from JSON files through an interpreter to confirm module behavioral correctness.
- WebAssembly Specification Test Generators - Transforms spec test files into JSON descriptions and binary files to automate compliance testing.
- Frameworks and Tooling - Toolkit for inspecting and manipulating WebAssembly binaries.
- Runtime and Embeddings - Suite of tools for converting between WebAssembly and text format.
