Crate wasmtime_environ::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§
- 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 theVisitOperator
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.
- 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 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 argument to instantiating 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.
- 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 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.
- Type information about a table defined in the table section of a WebAssembly module.
- Represents a table’s type.
- A tag’s type.
- Represents a 128-bit vector value.
- Validator for a WebAssembly binary module or component.
- The implementation of
WasmModuleResources
used byValidator
. - Represents a case in a variant type.
- Flags for features that are enabled for validation.
- Iterator over the inputs of a Wasm function type.
- Iterator over the outputs of a Wasm function type.
Enums§
- Represents a block type.
- Represents a canonical function in a WebAssembly component.
- Represents options for component functions.
- A successful return payload from
Parser::parse
. - 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 module type declaration in a WebAssembly component.
- Represents a name read from the names custom section.
- Instructions as defined here.
- 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.
- Represents storage types introduced in the GC spec for array and struct fields.
- 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
.
Constants§
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 function types for validation purposes.
- Types that qualify as Wasm validation database.
Functions§
- Test whether the given buffer contains a valid WebAssembly module or component, analogous to
WebAssembly.validate
in the JS API.
Type Aliases§
- A reader for the code section of a WebAssembly module.
- Section reader for the component alias section
- A reader for the canonical section of a WebAssembly component.
- A reader for the export section of a WebAssembly component.
- A reader for the import section of a WebAssembly component.
- A reader for the component instance section of a WebAssembly component.
- Type used to iterate and parse the contents of the
component-name
custom section in compnents, similar to thename
section of core modules. - A reader for the type section of a WebAssembly component.
- A reader for the core type section of a WebAssembly component.
- A reader for the data section of a WebAssembly module.
- Parser for the dynamic linking
dylink.0
custom section. - A reader for the element section of a WebAssembly module.
- A reader for the export section of a WebAssembly module.
- A reader for the function section of a WebAssembly module.
- A reader for the global section of a WebAssembly module.
- A reader for the import section of a WebAssembly module.
- Represents a reader for indirect names from the names custom section.
- A reader for the core instance section of a WebAssembly component.
- A reader for the memory section of a WebAssembly module.
- Represents a name map from the names custom section.
- A reader for the name custom section of a WebAssembly module.
- A reader for the producers custom section of a WebAssembly module.
- The result for
BinaryReader
operations. - A reader for the table section of a WebAssembly module.
- A reader for the tags section of a WebAssembly module.
- A reader for the type section of a WebAssembly module.