CFL-Reachability

Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search

Many existing static analysis algorithms suffer from cubic bottlenecks because of the need to compute a dynamic transitive closure …

Jiawei Ren, Yulei Sui, Xiao Cheng, Yuan Feng, Jianjun Zhao