pointer-analysis

Static Value-Flow Analysis Framework for Source Code

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

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

Chronos - A static race detector for the go language

Static program analysis for TIP

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

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

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

A tool for analyzing LLVM bitcode using Datalog.

Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale

A precise and scalable pointer analysis for LLVM, written in Ascent

Map2Check: Finding Software Vulnerabilities

Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis

LLVM DSA fork for SeaHorn

Pointer analysis prototype (currently including anderson, steensgard).

Anderson points-to analysis implementation based on LLVM

pointer analysis library

Static Pointer Analyzer and Transpiler from C to Safe Rust

Customized symbolic analysis to find pointer analysis bugs

Implementation of Steensgaard's pointer analysis for Go