Trait solana_rbpf::verifier::Verifier

source · 
pub trait Verifier {
    // Required method
    fn verify(
        prog: &[u8],
        config: &Config,
        sbpf_version: &SBPFVersion,
        function_registry: &FunctionRegistry<usize>
    ) -> Result<(), VerifierError>;
}
Expand description

eBPF Verifier

Required Methods§

source

fn verify( prog: &[u8], config: &Config, sbpf_version: &SBPFVersion, function_registry: &FunctionRegistry<usize> ) -> Result<(), VerifierError>

eBPF verification function that returns an error if the program does not meet its requirements.

Some examples of things the verifier may reject the program for:

  • Program does not terminate.
  • Unknown instructions.
  • Bad formed instruction.
  • Unknown eBPF syscall index.

Object Safety§

This trait is not object safe.

Implementors§