Module move_binary_format::control_flow_graph
source · [−]Expand description
This module defines the control-flow graph uses for bytecode verification.
Structs
The control flow graph that we build from the bytecode.
Traits
A trait that specifies the basic requirements for a CFG