[][src]Module bytecode::dataflow_analysis

Adapted from AbstractInterpreter for Bytecode, this module defines the data-flow analysis framework for stackless bytecode.

Structs

BlockState

Enums

JoinResult

Traits

AbstractDomain
DataflowAnalysis
TransferFunctions

Take a pre-state + instruction and mutate it to produce a post-state。

Type Definitions

StateMap