Module 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