Module solana_rbpf::static_analysis

Static Byte Code Analysis

Structs

• Analysis
  Result of the executable analysis
• CfgNode
  A node of the control-flow graph
• DfgEdge
  An edge of the data-flow graph
• TopologicalIndex
  Used for topological sort

Enums

• DataResource
  The register or memory location a data-flow edge guards
• DfgEdgeKind
  The kind of a data-flow edge
• DfgNode
  An instruction or Φ node of the data-flow graph

Type Aliases

• TraceLogEntry
  Register state recorded after executing one instruction