wala / WALA Star 748 Code Issues Pull requests Discussions T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses javascript android java static-code-analysis static-analysis callgraph program-analysis pointer-analysis slicing dataflow-analysis Updated Aug 3, 2024 Java
plast-lab / doop Star 154 Code Issues Pull requests The official repo of Doop, the declarative pointer analysis framework. java datalog doop pointer-analysis Updated Jul 8, 2024 Java
shaunazzopardi / tapa Star 1 Code Issues Pull requests A TArgeted Pointer Analysis for Java programs java static-analysis soot pointer-analysis Updated Jul 1, 2019 Java