Struct solana_libra_bytecode_verifier::verifier::VerifiedModule

pub struct VerifiedModule(_);

A module that has been verified for internal consistency.

This does not include cross-module checking -- that needs to be done separately.

Methods

impl VerifiedModule

pub fn new(
    module: CompiledModule
) -> Result<Self, (CompiledModule, Vec<VMStatus>)>

Verifies this CompiledModule, returning a VerifiedModule on success.

On failure, returns the original CompiledModule and a list of verification errors.

There is a partial order on the checks. For example, the duplication check must precede the structural recursion check. In general, later checks are more expensive.

pub fn serialize(&self, buf: &mut Vec<u8>) -> Result<(), Error>

Serializes this module into the provided buffer.

This is merely a convenience wrapper around module.as_inner().serialize(buf).

VerifiedModule instances cannot be deserialized directly, since the input is potentially untrusted. Instead, one must go through CompiledModule.

pub fn deserialize(binary: &[u8]) -> BinaryLoaderResult<Self>

Deserializes a &u8 slice into a VerifiedModule instance.

pub fn as_inner(&self) -> &CompiledModule

Returns a reference to the CompiledModule within.

pub fn into_inner(self) -> CompiledModule

Returns the CompiledModule within. Conversion back to VerifiedModule will require going through the verifier again.

Trait Implementations

impl Clone for VerifiedModule

fn clone(&self) -> VerifiedModule

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for VerifiedModule

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Display for VerifiedModule

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Eq for VerifiedModule

impl ModuleAccess for VerifiedModule

fn as_module(&self) -> &CompiledModule

Returns the CompiledModule that will be used for accesses.

fn self_handle(&self) -> &ModuleHandle

Returns the ModuleHandle for self.

fn name(&self) -> &IdentStr

Returns the name of the module.

fn address(&self) -> &AccountAddress

Returns the address of the module.

fn module_handle_at(&self, idx: ModuleHandleIndex) -> &ModuleHandle

fn struct_handle_at(&self, idx: StructHandleIndex) -> &StructHandle

fn function_handle_at(&self, idx: FunctionHandleIndex) -> &FunctionHandle

fn type_signature_at(&self, idx: TypeSignatureIndex) -> &TypeSignature

fn function_signature_at(
    &self,
    idx: FunctionSignatureIndex
) -> &FunctionSignature

fn locals_signature_at(&self, idx: LocalsSignatureIndex) -> &LocalsSignature

fn identifier_at(&self, idx: IdentifierIndex) -> &IdentStr

fn user_string_at(&self, idx: UserStringIndex) -> &VMStr

fn byte_array_at(&self, idx: ByteArrayPoolIndex) -> &ByteArray

fn address_at(&self, idx: AddressPoolIndex) -> &AccountAddress

fn struct_def_at(&self, idx: StructDefinitionIndex) -> &StructDefinition

fn field_def_at(&self, idx: FieldDefinitionIndex) -> &FieldDefinition

fn function_def_at(&self, idx: FunctionDefinitionIndex) -> &FunctionDefinition

fn get_field_signature(
    &self,
    field_definition_index: FieldDefinitionIndex
) -> &TypeSignature

fn module_handles(&self) -> &[ModuleHandle]

fn struct_handles(&self) -> &[StructHandle]

fn function_handles(&self) -> &[FunctionHandle]

fn type_signatures(&self) -> &[TypeSignature]

fn function_signatures(&self) -> &[FunctionSignature]

fn locals_signatures(&self) -> &[LocalsSignature]

fn byte_array_pool(&self) -> &[ByteArray]

fn address_pool(&self) -> &[AccountAddress]

fn identifiers(&self) -> &[Identifier]

fn user_strings(&self) -> &[VMString]

fn struct_defs(&self) -> &[StructDefinition]

fn field_defs(&self) -> &[FieldDefinition]

fn function_defs(&self) -> &[FunctionDefinition]

fn module_id_for_handle(&self, module_handle_idx: &ModuleHandle) -> ModuleId

fn self_id(&self) -> ModuleId

fn field_def_range(
    &self,
    field_count: u16,
    first_field: FieldDefinitionIndex
) -> &[FieldDefinition]

fn is_field_in_struct(
    &self,
    field_definition_index: FieldDefinitionIndex,
    struct_handle_index: StructHandleIndex
) -> bool

impl PartialEq<VerifiedModule> for VerifiedModule

fn eq(&self, other: &VerifiedModule) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &VerifiedModule) -> bool

This method tests for !=.

impl StructuralEq for VerifiedModule

impl StructuralPartialEq for VerifiedModule