solana-cli 4.3.0

Blockchain, Rebuilt for Scale
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

use solana_sbpf::{
    ebpf,
    program::{FunctionRegistry, SBPFVersion},
    verifier::VerifierError,
};

/// Verifier to run locally when someone invokes `solana deploy` and the related commands
/// Check if an SBPFv3 program contain any problematic instruction
pub(crate) fn verify<T: Copy + PartialEq>(
    prog: &[u8],
    sbpf_version: SBPFVersion,
    syscall_registry: &FunctionRegistry<T>,
) -> Result<(), VerifierError> {
    if sbpf_version < SBPFVersion::V3 {
        // Nothing to check
        return Ok(());
    }

    let mut insn_ptr: usize = 0;
    while insn_ptr.saturating_add(1).saturating_mul(ebpf::INSN_SIZE) <= prog.len() {
        let insn = ebpf::get_insn(prog, insn_ptr);

        match insn.opc {
            ebpf::LD_DW_IMM => {
                insn_ptr = insn_ptr.saturating_add(1);
            }

            ebpf::CALL_IMM
                if insn.src == 0 && syscall_registry.lookup_by_key(insn.imm as u32).is_none() =>
            {
                return Err(VerifierError::InvalidSyscall(insn.imm as u32));
            }
            ebpf::CALL_IMM if insn.src == 1 && insn.imm == -1 => {
                return Err(VerifierError::InvalidFunction(insn_ptr));
            }

            _ => (),
        }

        insn_ptr = insn_ptr.saturating_add(1);
    }

    Ok(())
}