GitHub repository: oquechy/cfl-reach
Created: 2023-04-07T10:28:15Z
Description: Kotlin implementation of CFL Reachability algorithm for pointer analysis in C++ and Java programs