Skip to main content

Module verifier

shape_vm::bytecode

Module verifier 

Source
Expand description

Bytecode verifier for trusted opcodes.

Validates that trusted opcode invariants hold:

  • Every trusted opcode appears inside a function with a FrameDescriptor
  • The FrameDescriptor has no SlotKind::Unknown entries for the relevant operands

Enums§

VerifyError
Errors produced by the bytecode verifier.

Functions§

verify_trusted_opcodes
Verify that all trusted opcodes in a program have valid FrameDescriptors.