Module validate 

Program validation: one abstract-interpretation pass over the code vector before any execution. After validation the machine indexes without re-checking, and malformed programs never reach a panic.

Functions

validate

Validates a whole program. See notes/rust-bytecode-vm.md §9 for the rule list.