Module move_stackless_bytecode::stackless_control_flow_graph

Adapted from control_flow_graph for Bytecode, this module defines the control-flow graph on Stackless Bytecode used in analysis as part of Move prover.

Structs

StacklessControlFlowGraph

Enums

BlockContent

Functions

generate_cfg_in_dot_format

Generate the dot representation of the CFG (which can be rendered by the Dot program)

Type Definitions

BlockId