Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Known Limitations

Limitations are documented per backend, since the boundaries are very different:

  • Solidity: Limitations: intraprocedural slicing, assignment-only DEF extraction, modifier placeholder split, tuple destructuring, etc.
  • Solana: Limitations: no static CFG (no slice / trace yet), heuristic who, time-warp semantics, keypair persistence, CPI visibility.

For the planned remediations, see the Roadmap.