Module solana_rbpf::static_analysis
source · Expand description
Static Byte Code Analysis
Structs
Result of the executable analysis
A node of the control-flow graph
An edge of the data-flow graph
Used for topological sort
Enums
The register or memory location a data-flow edge guards
The kind of a data-flow edge
An instruction or Φ node of the data-flow graph
Type Definitions
Register state recorded after executing one instruction