Module bytecode::dataflow_analysis
source · Expand description
Adapted from AbstractInterpreter for Bytecode, this module defines the data-flow analysis framework for stackless bytecode.
Structs
Traits
- Take a pre-state + instruction and mutate it to produce a post-state。