dataflow-analysis

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

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

A new version of Soot with a completely overhauled architecture

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

See where each character on the screen came from in code.

Privacy Code Scanner and Dataflow Context Engine for AI coding agents

Sophisticated static program analysis framework for the R programming language.

FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22

use asm to parse classNode then get method invoke relations.解析获得方法调用链路

FlowBlot is static code analysis benchmark project by Codethreat, including sink-source challenges grouped into various technical analysis concepts.

Automating Data processing workflow to serve users in a simple smart interface

Visualization of LLVM IR

A static analysis framework for Python

Static source code analyzer that extracts an interprocedural dataflow graph from Java source code.

A GCC plugin that finds memory leaks at compile time by walking GIMPLE IR to resolve alias variables

Offline-first, multi-language SAST with semantic data-flow analysis, deterministic security rules, SARIF/PDF reporting, Docker isolation, and optional local Ollama enrichment.

A roslyn analyzer that enforces the use of await

"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.

The aim of this project is to provide an example of a static code analyser and to remind people of the basics of creating languages.

Cascade - Dataflow graphing and analysis for C#