pointer-analysis topic

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

wala

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

mchalupa

Static program analysis for TIP

cs-au-dk

Static Value-Flow Analysis Framework for Source Code

SVF-tools

Chronos - A static race detector for the go language

amit-davidson

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

seahorn

A tool for analyzing LLVM bitcode using Datalog.

plast-lab

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

plast-lab

Map2Check: Finding Software Vulnerabilities

hbgit

Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale

Aurore54F