Crate gear_wasm_instrument

Crate gear_wasm_instrument 

Source

Re-exports§

pub use crate::gas_metering::Rules;
pub use crate::syscalls::SyscallName;

Modules§

gas_metering
This module is used to instrument a Wasm module with gas metering code.
stack_limiter
Contains the code for the stack height limiter instrumentation.
syscalls
Gear syscalls for programs execution signatures.

Structs§

BrTable
ConstExpr
Data
Element
Export
FuncType
Represents a type of a function in a WebAssembly module.
Function
Global
GlobalType
Represents a global’s type.
Import
InstrumentationBuilder
This is an auxiliary builder that allows to instrument WASM module.
MemArg
MemoryType
Represents a memory’s type.
Module
ModuleBuilder
RefType
A reference type.
SystemBreakCodeTryFromError
The error type returned when a conversion from i32 or u32 to SystemBreakCode fails.
Table
TableType
Represents a table’s type.

Enums§

BlockType
Represents a block type.
ElementItems
ExternalKind
External types as defined here.
Instruction
InstrumentationError
WASM module instrumentation error.
ModuleError
Name
SystemBreakCode
System break code for SyscallName::SystemBreak syscall.
TypeRef
Represents a reference to a type definition in a WebAssembly module.
ValType
Represents the types of values in a WebAssembly module.

Constants§

GEAR_SUPPORTED_FEATURES
GLOBAL_NAME_GAS
Gas global export name in WASM module.
STACK_END_EXPORT_NAME
__gear_stack_end export is inserted by wasm-proc or wasm-builder, it indicates the end of program stack memory.
STACK_HEIGHT_EXPORT_NAME
__gear_stack_height export is inserted by gear-wasm-instrument, it points to stack height global that is used by stack_limiter.