Intermediate Representations

Lotus provides intermediate representations for control-flow, dependence, and value-flow analyses across program abstractions.

• 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
• UseTraceSSA — Ordered Use-History Overlay
• Overview
• Representation and Core Abstractions
  • Temporal History
  • Object Identity and Guards
• Query Engine
  • Object Query Modes
  • Context Sensitivity
  • Search Budgets
• Bug Detection
  • Leak Checks
• Tools and Integration
  • Native Construction
  • CLI Tool
• Performance and Deferred Reports
• 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
• ShadowMem SSA — Sea-DSA Shadow Memory Queries
• Overview
• Key Features
• Shadow Memory Instructions
• Components
• Usage
• Integration
• Path Program
  • Overview
  • Components
  • Using path programs
  • See Also
• UFG — Universal Flow Graph
• Overview
• Architecture and Construction
  • Lane-Based Object Expansion
• Search Engine and Defect Detection
• Context Sensitivity and Budgets