uclasystem / graspan-cpp

An out-of-core graph system for efficient and scalable dynamic closure computation (a.k.a. context-free-language reachability) over very large program graphs