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 Aliases
- Register state recorded after executing one instruction