dataflow-analysis

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

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

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

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

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

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

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

Visualization of LLVM IR

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

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

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

A general framework for optimizing DNN dataflow on systolic array

Cascade - Dataflow graphing and analysis for C#

Java Analyzer

UG4 Honours Project

Java Analyzer: mirrored from https://github.com/Leehwajung/JavaAnalyzer.git

Racket Implementation of Data-flow Analyses

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

A repo for experimenting with AOT and JIT code generation, including IR transformations for optimisation.