Alias Analysis

This section covers the various alias analysis algorithms implemented in Lotus.

• Alias Analysis Components
  • Analysis Selection Guide
  • Available Analyses
• AllocAA — Allocation-Based AA
  • Overview
  • Algorithm Sketch
  • Strengths and Limitations
  • Usage
• Sparrow Pointer Analysis — Inclusion AA
  • Overview
  • Analysis Modes
  • Constraint Types
  • Optimizations
  • Features
  • Usage
• AserPTA — Pointer Analysis
  • Overview
  • Architecture
  • Constraint Types
  • Memory Models
  • Analysis Modes and Options
  • Usage
• CclyzerAA
  • Overview
  • Primary entry point
  • Typical use cases
  • See also
• DDA
  • Overview
  • Main components
  • When to use it
  • See also
• DFPA
  • Overview
  • Key pieces
  • Configuration knobs
  • Typical workflow
  • See also
• DyckAA — Dyck-CFL Analysis
  • Overview
  • Core Idea
  • Algorithm
  • Dyck Language
  • Capabilities
  • Strengths
  • Limitations
  • Usage
  • Advanced Features
• Sea-DSA — Memory Graph AA
  • Overview
  • Memory Graphs
  • Usage
• FPA — Function Pointer Analyses (FLTA/MLTA/MLTADF/KELP)
  • Overview
  • Workflow
  • Usage
• LotusAA — Lotus AA Engine
  • Overview
  • Components
  • Design
  • Usage
• UnderApproxAA — Must-Alias Analysis
  • Overview
  • Components
  • Algorithm
  • Characteristics
  • Usage
• DynAA — Dynamic Alias AA
  • Overview
  • Workflow
  • Tools
  • Features and Use Cases
• Strict Relations Alias Analysis — Algorithm
  • Overview
  • Highlights
  • Usage
• 1. vSSA / SSI Transformation
• 2. Symbolic Range Analysis
• 3. Strict-Inequality Construction
• 4. Constraint Propagation Solver
• 5. Alias Disambiguation (Final Decision)
• 6. PDG Memory-Node Reduction (Applicability)
• Summary of Properties
• End of document.
• Pointer Analysis Metrics
• Points-To Set Backends
• Alias Specification Manager
• TPA: Flow- and Contex-Sensitive Pointer Analysis
  • Overview
  • Architecture
  • Core Components
  • Transfer Functions
  • Context Sensitivity
  • Memory Model
  • Semi-Sparse Representation
  • Analysis Algorithm
  • Usage
  • Integration
• TypeQualifier
  • Overview
  • Main components
  • Use cases
  • See also