pointer-analysis

Here are 4 public repositories matching this topic...

wala / WALA

T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.

javascript android java static-code-analysis static-analysis callgraph program-analysis pointer-analysis slicing dataflow-analysis

Updated Oct 4, 2026
Java

plast-lab / doop

Star

The official repo of Doop, the declarative pointer analysis framework.

java datalog doop pointer-analysis

Updated Sep 28, 2026
Java

shaunazzopardi / tapa

Star

A TArgeted Pointer Analysis for Java programs

java static-analysis soot pointer-analysis

Updated Jul 12, 2025
Java

appleweiping / nju-software-analysis

Star

Complete, tested implementations of all 8 NJU 'Static Program Analysis' assignments on the Tai-e framework (dataflow, CHA, pointer & taint analysis) — 65/65 tests passing

java static-analysis program-analysis taint-analysis nju pointer-analysis dataflow-analysis tai-e csdiy

Updated Jul 8, 2026
Java

Add this topic to your repo

To associate your repository with the pointer-analysis topic, visit your repo's landing page and select "manage topics."

Learn more