Module solana_libra_bytecode_verifier::code_unit_verifier

This module implements the checker for verifying correctness of function bodies. The overall verification is split between stack_usage_verifier.rs and abstract_interpreter.rs. CodeUnitVerifier simply orchestrates calls into these two files.

Structs

CodeUnitVerifier