CFL Indexing (CSIndex)

Indexing-based context-sensitive reachability, used to accelerate repeated CFL queries over large graphs.