Kotlin implementation of CFL Reachability algorithm for pointer analysis in C++ and Java programs
MIT LicenseMIT