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

OCCAM: Object Culling and Concretization for Assurance Maximization

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

LLVM DSA fork for SeaHorn

Implement pointer analysis prototype(currently including anderson, steensgard)~

Anderson points-to analysis implementation based on LLVM

pointer analysis library

Customized symbolic analysis to find pointer analysis bugs

Python script to query JavaScript static analysis tooling for points to set of source variables.