CSIndex: Indexed Context-Sensitive CFL Reachability

include/CFL/CSIndex/ and lib/CFL/CSIndex/ implement the indexed context-sensitive reachability engine used by the csr tool.

Location: include/CFL/CSIndex/, lib/CFL/CSIndex/

Main components:

  • Graph and ReachBackbone build the indexed graph representation.

  • Query and PathtreeQuery answer reachability queries.

  • Tabulation and ParallelTabulation provide exact query engines.

  • Grail adds pruning through reachability labeling.

Use cases:

  • Fast context-sensitive CFL reachability on large graph inputs.

  • Comparing indexing strategies such as GRAIL and PathTree.

  • Backing the tools/cfl/csr command-line front-end.

See also CFL Reachability Components and CFL Tools.