cfl-reachability

Star

Here are 3 public repositories matching this topic...

homka122 / CFG_bench

Star

Benchmark tool for algorithm of CFL reachability

c benchmark graph-algorithms sparse-matrix context-free-grammar graphblas cfpq cfl-reachability lagraph

Updated Nov 10, 2026
G-code

CoreJust / StackGraphExporter

Star

A CLI utility to export stack graphs from source code, run queries against them, convert them to CFL, run queries for CFL using KotGLL, UCFS or CFG_bench

graph name-resolution context-free-language stack-graph cfl-reachability

Updated Jun 28, 2026
Rust

AFaraji8 / Grammar-based-Labeled-Edge-Closure

Star

Efficient C++ implementation of Grammar-based Labeled Edge Closure (CFL-Reachability). Features a worklist-based algorithm for graph saturation and static analysis applications.

cpp static-analysis graph-theory context-free-grammar cfl-reachability edge-closure

Updated Feb 26, 2026
C++

Add this topic to your repo

To associate your repository with the cfl-reachability topic, visit your repo's landing page and select "manage topics."

Learn more