Trait solana_libra_vm::check_bounds::BoundsCheck

pub trait BoundsCheck {
    fn check_bounds(&self, module: &CompiledModuleMut) -> Vec<VMStaticViolation>;
}

Required methods

fn check_bounds(&self, module: &CompiledModuleMut) -> Vec<VMStaticViolation>

Loading content...

Implementors

impl<'_> BoundsCheck for &'_ FieldDefinition

fn check_bounds(&self, module: &CompiledModuleMut) -> Vec<VMStaticViolation>

impl<'_> BoundsCheck for &'_ FunctionDefinition

fn check_bounds(&self, module: &CompiledModuleMut) -> Vec<VMStaticViolation>

impl<'_> BoundsCheck for &'_ FunctionHandle

fn check_bounds(&self, module: &CompiledModuleMut) -> Vec<VMStaticViolation>

impl<'_> BoundsCheck for &'_ FunctionSignature

fn check_bounds(&self, module: &CompiledModuleMut) -> Vec<VMStaticViolation>

impl<'_> BoundsCheck for &'_ LocalsSignature

fn check_bounds(&self, module: &CompiledModuleMut) -> Vec<VMStaticViolation>

impl<'_> BoundsCheck for &'_ ModuleHandle

fn check_bounds(&self, module: &CompiledModuleMut) -> Vec<VMStaticViolation>

impl<'_> BoundsCheck for &'_ StructDefinition

fn check_bounds(&self, module: &CompiledModuleMut) -> Vec<VMStaticViolation>

impl<'_> BoundsCheck for &'_ StructHandle

fn check_bounds(&self, module: &CompiledModuleMut) -> Vec<VMStaticViolation>

impl<'_> BoundsCheck for &'_ TypeSignature

fn check_bounds(&self, module: &CompiledModuleMut) -> Vec<VMStaticViolation>

Loading content...