Context-Free Language Analysis

This section covers CFL-reachability and context-free language based analyses.

• CFL Reachability Components
  • Classical CFL Reachability
  • Dynamic Bidirected Dyck Reachability
  • Interleaved-Dyck Core
  • Exact Unary Interleaved Dyck
  • Interleaved-Dyck Staged Bounds
  • Multiple Context-Free Language Reachability
  • Guarantee Summary
  • CSIndex (Context-Sensitive Indexing)
  • Interleaved-Dyck Graph Reduction
• Classical CFL Engines
  • Classical Grammar-Driven CFL Reachability
  • Subcubic PEG Alias Analysis
  • CAT and IEOCE Engines
  • Paper Engines: PEARL, Stg, and Sqid
  • CERT-CFL: Cardinality-Certified Exact Solving
  • POCR Migration Matrix
• Dynamic Bidirected Dyck Reachability
  • Library API
  • POPL 2024 algorithm
  • Benchmark workflow
• CFL Indexing (CSIndex)
  • Context-Sensitive Reachability Indexing
• Interleaved-Dyck Reachability
  • Exact Unary Interleaved Dyck
  • Interleaved-Dyck Staged Bounds
  • Interleaved-Dyck Graph Reduction
  • Multiple Context-Free Language Reachability
  • Synchronized Pushdown Systems
  • Linear Conjunctive Language Reachability
  • Affine Synchronized Pushdown Systems