Module solana_rbpf::static_analysis[][src]

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

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