Intermediate Representations

This section covers the intermediate representations used in Lotus.

• ICFG — Interprocedural Control Flow Graph
• Overview
• Key Features
• Components
• Usage
• Integration
• PDG — Program Dependence Graph
• Overview
• Core Passes
• Unified Query API
• High-Level Usage
• lotus-ir-pdg-query Analysis Mode
• SSI — Static Single Information
• Overview
• Key Features
• SSI Formalism
• Components
• SSI Instructions
• Algorithm
• Usage
• Integration
• vSSA — Variable Static Single Assignment
• Overview
• Key Features
• vSSA Instructions
• Algorithm
• Components
• Usage
• Integration with SRAA
• Example
• References
• SVFG — Sparse Value-Flow Graph
• Overview
• Key Features
• Node Types
  • Statement Nodes (Top-Level Pointers)
  • PHI Nodes
  • Memory SSA Nodes (Address-Taken Variables)
  • Parameter Nodes
• Edge Types
  • Intra-Procedural Edges
  • Inter-Procedural Edges
  • Thread Edges
• Architecture
• Usage
  • Basic Construction
  • Configuration
  • Querying Value Flows
  • Memory SSA Queries
  • Interprocedural Queries
  • On-the-Fly Call Graph Refinement
  • Type-Safe Node Casting
  • Serialization
• Integration
  • AserPTA Integration
  • ICFG Integration
  • DDA Integration
• Components
  • Core Files
  • Dependencies
• References
• GVFG
  • Overview
  • Core graph model
  • Node categories
  • Guard and region modeling
  • Sites and instruction events
  • Builder and adapter pipeline
  • Query and solver support
  • Serialization and debugging
  • Main headers
  • Use cases
  • See also
• GSA — Gated SSA
• Overview
• Key Features
• Core Types
• Passes
• Usage
• Command-Line Options
• Behavior Notes
• MemorySSA — Memory Static Single Assignment
• Overview
• Key Features
• Shadow Memory Instructions
• Components
• Usage
• Integration