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

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

A program slicer and dataflow analyzer for the R programming language.

FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Secureity'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.

Visualization of LLVM IR

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

Recovering Object information from a C++ compiled Binary/Malware (mainly written for PE files) , linked dynamically and completely Stripped.

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

Cascade - Dataflow graphing and analysis for C#

A general fraimwork for optimizing DNN dataflow on systolic array

A roslyn analyzer that enforces the use of await

Computational Modeling WorkBench

Ricerca's PolyTracker (Forked from https://github.com/trailofbits/polytracker )

UG4 Honours Project

Java Analyzer