Static Value-Flow Analysis Framework for Source Code

T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many 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.

Context, field, and array-sensitive heap analysis for LLVM 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

LLVM-based Static Analysis Framework

Map2Check: Finding Software Vulnerabilities

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

OCCAM: Object Culling and Concretization for Assurance Maximization

code labs for CS-250 (dsa) course. Uploaded here because it was a requirement to do so.

Static Pointer Analyzer and Transpiler from C to Safe Rust

LLVM DSA fork for SeaHorn

Pointer analysis prototype (currently including anderson, steensgard).

A next-generation unified program analysis framework for semantic extraction and security validation, supporting any programming language and featuring function-level LLM tools