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。
Adapted from AbstractInterpreter for Bytecode, this module defines the data-flow analysis framework for stackless bytecode.
Take a pre-state + instruction and mutate it to produce a post-state。