Module bytecode_verifier::control_flow

This module implements a checker for verifies control flow. The following properties are ensured:

• All forward jumps do not enter into the middle of a loop
• All “breaks” (forward, loop-exiting jumps) go to the “end” of the loop
• All “continues” (back jumps in a loop) are only to the current loop

Functions

• verify