Crate wasmparser

source ·
Expand description

A simple event-driven library for parsing WebAssembly binary files (or streams).

The parser library reports events as they happen and only stores parsing information for a brief period of time, making it very fast and memory-efficient. The event-driven model, however, has some drawbacks. If you need random access to the entire WebAssembly data-structure, this is not the right library for you. You could however, build such a data-structure using this library.

To get started, create a Parser using Parser::new and then follow the examples documented for Parser::parse or Parser::parse_all.

Modules§

  • Type aliases for maps used by wasmparser
  • Definitions of name-related helpers and newtypes, primarily for the component model.
  • Types relating to type information provided by validation.

Macros§

  • A helper macro to conveniently iterate over all opcodes recognized by this crate. This can be used to work with either the Operator enumeration or the VisitOperator trait if your use case uniformly handles all operators the same way.

Structs§

  • Represents a type of an array in a WebAssembly module.
  • A binary reader of the WebAssembly structures and types.
  • A binary reader for WebAssembly modules.
  • A br_table entries representation.
  • A hint for a single branch.
  • Branch hints for a single function.
  • Represents COMDAT data in the linking custom section.
  • Represents a symbol that is part of a comdat.
  • Represents an export in a WebAssembly component.
  • Represents the name of a component export.
  • Represents a type of a function in a WebAssembly component.
  • Represents an import in a WebAssembly component
  • Represents the name of a component import.
  • Represents an argument to instantiating a WebAssembly component.
  • Represents the start function in a WebAssembly component.
  • Represents an initialization expression.
  • A single instance from a coredump instances section
  • A custom section representing the instances involved in a given coredump
  • The data portion of a “coremodules” custom section. This contains a vec of module names that will be referenced by index by other coredump sections.
  • The data portion of a custom section representing a core dump. Per the tool-conventions repo, this section just specifies the executable name that the core dump came from while the rest of the core dump information is contained in a corestack custom section
  • A single stack frame from a core dump
  • The data portion of a custom section representing a core dump stack. The structure of this follows the coredump spec in the tool-conventions repo
  • A reader for custom sections of a WebAssembly module.
  • Represents a data segment in a core WebAssembly module.
  • Represents the metadata about a data symbol defined in the wasm file.
  • Represents a core WebAssembly element segment.
  • Represents an export in a WebAssembly module.
  • Represents a field type of an array or a struct.
  • A Wasm control flow block on the control flow stack during Wasm validation.
  • Resources necessary to perform validation of a function.
  • Represents a type of a function in a WebAssembly module.
  • Validation context for a WebAssembly function.
  • External handle to the internal allocations used during function validation.
  • Represents a WebAssembly function body.
  • Represents a core WebAssembly global.
  • Represents a global’s type.
  • An IEEE binary32 immediate floating point value, represented as a u32 containing the bit pattern.
  • An IEEE binary64 immediate floating point value, represented as a u64 containing the bit pattern.
  • Represents an import in a WebAssembly module.
  • Represents an indirect name in the names custom section.
  • Represents an init function in the linking custom section.
  • Represents an argument to instantiating a WebAssembly module.
  • A reader for the linking custom section of a WebAssembly module.
  • An iterator over locals in a function body.
  • A reader for a function body’s locals.
  • Represents a memory immediate in a WebAssembly memory instruction.
  • Represents a WASM_DYLINK_MEM_INFO field
  • Represents a memory’s type.
  • Represents a name for an index from the names section.
  • An iterator over a function’s operators.
  • An iterator over a function’s operators with offsets.
  • A reader for a core WebAssembly function’s operators.
  • A packed representation of a type index.
  • An incremental parser of a binary WebAssembly module or component.
  • A field from the producers custom section.
  • Represents a field value in the producers custom section.
  • Represents a recursive type group in a WebAssembly module.
  • A reference type.
  • Reader for reloc.* sections as defined by https://github.com/WebAssembly/tool-conventions/blob/main/Linking.md#relocation-sections.
  • Single relocation entry within a reloc.* section, as defined at https://github.com/WebAssembly/tool-conventions/blob/main/Linking.md#relocation-sections.
  • A generic structure for reading a section of a WebAssembly binary which has a limited number of items within it.
  • A consuming iterator of a SectionLimited.
  • An iterator over a limited section iterator.
  • Represents extra metadata about the data segments.
  • Flags for WebAssembly segments.
  • Represents a type of a struct in a WebAssembly module.
  • Represents a subtype of possible other types in a WebAssembly module.
  • Iterator/reader over the contents of a section which is composed of subsections.
  • Flags for WebAssembly symbols.
  • Type information about a table defined in the table section of a WebAssembly module.
  • Represents a table’s type.
  • A tag’s type.
  • A try_table entries representation.
  • Represents a 128-bit vector value.
  • Validator for a WebAssembly binary module or component.
  • A unique identifier for a particular Validator.
  • The implementation of WasmModuleResources used by Validator.
  • Represents a case in a variant type.
  • Flags for features that are enabled for validation.
  • Inflated version of WasmFeatures that allows for exhaustive matching on fields.

Enums§

  • Represents a block type.
  • Represents a canonical function in a WebAssembly component.
  • Represents options for component functions.
  • Catch clauses that can be specified in TryTable.
  • A successful return payload from Parser::parse.
  • Represents a symbol kind.
  • Represents an alias in a WebAssembly component.
  • Represents a defined type in a WebAssembly component.
  • Represents the kind of an external items of a WebAssembly component.
  • Represents the result type of a component function.
  • Represents an instance in a WebAssembly component.
  • Represents a name read from the names custom section.
  • Represents the kind of an outer alias in a WebAssembly component.
  • Represents a type in a WebAssembly component.
  • Represents part of a component type declaration in a WebAssembly component.
  • Represents a reference to a component type.
  • Represents a value type in a WebAssembly component.
  • Represents a composite type in a WebAssembly module.
  • Local and stack values are encoded using one byte for the type (similar to Wasm’s Number Types) followed by bytes representing the actual value See the tool-conventions repo for more details.
  • Represents a core type in a WebAssembly component.
  • The kind of data segment.
  • Possible subsections of the dylink.0 custom section.
  • Represents the items of an element segment.
  • The kind of element segment.
  • The supported encoding formats for the parser.
  • External types as defined here.
  • The kind of a control flow Frame.
  • A heap type.
  • Represents an instance of a WebAssembly module.
  • Represents an instance type declaration in a WebAssembly component.
  • Represents the kind of an instantiation argument for a core instance.
  • Represents a subsection read from the linking custom section.
  • Represents a module type declaration in a WebAssembly component.
  • Represents a name read from the names custom section.
  • Instructions as defined here.
  • Represents the memory ordering for atomic instructions.
  • Represents the kind of an outer core alias in a WebAssembly component.
  • Values that can be parsed from a WebAssembly module or component.
  • Represents a primitive value type.
  • Indicates the kind of addend that applies to a relocation entry.
  • Relocation entry type. Each entry type corresponds to one of the R_WASM_* constants defined at https://github.com/llvm/llvm-project/blob/main/llvm/include/llvm/BinaryFormat/WasmRelocs.def and https://github.com/WebAssembly/tool-conventions/blob/main/Linking.md#relocation-sections.
  • Represents storage types introduced in the GC spec for array and struct fields.
  • Represents extra information about symbols in the linking custom section.
  • Different modes of initializing a table.
  • Represents a tag kind.
  • Represents the type bounds for imports and exports.
  • Represents a reference to a type definition in a WebAssembly module.
  • The uncompressed form of a PackedIndex.
  • Represents the types of values in a WebAssembly module.
  • Possible return values from Validator::payload.

Traits§

  • A trait implemented for items that can be decoded directly from a BinaryReader, or that which can be parsed from the WebAssembly binary format.
  • A trait implemented for subsections of another outer section.
  • Trait implemented by types that can visit all Operator variants.
  • Types that qualify as Wasm validation database.

Functions§

Type Aliases§