Projects in Awesome Lists tagged with dataflow-analysis
A curated list of projects in awesome lists tagged with dataflow-analysis .
https://github.com/python-security/pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
abstract-syntax abstract-syntax-tree control-flow-graph dataflow dataflow-analysis fixed-point fixed-point-analysis flask program-analysis pyt python python3 security static-analysis static-code-analysis taint taint-analysis
Last synced: 14 May 2025
https://github.com/wala/WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
android callgraph dataflow-analysis java javascript pointer-analysis program-analysis slicing static-analysis static-code-analysis
Last synced: 09 Jul 2025
https://github.com/soot-oss/SootUp
A new version of Soot with a completely overhauled architecture
android bytecode call-graph dataflow-analysis java jimple program-analysis soot static-analysis static-code-analysis
Last synced: 27 Feb 2025
https://github.com/trailofbits/polytracker
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
dataflow-analysis instrumentation llvm taint-analysis taint-tracking
Last synced: 14 May 2025
https://github.com/mattzeunert/FromJS
See where each character on the screen came from in code.
dataflow-analysis debugging dynamic-analysis
Last synced: 24 Apr 2025
https://github.com/mattzeunert/fromjs
See where each character on the screen came from in code.
dataflow-analysis debugging dynamic-analysis
Last synced: 12 Apr 2025
https://github.com/flowr-analysis/flowr
A dataflow analysis framework for the R programming language.
dataflow-analysis program-slicing r static-analyzer static-program-analysis
Last synced: 02 Feb 2026
https://github.com/euske/fgyama
Static source code analyzer that extracts an interprocedural dataflow graph from Java source code.
dataflow-analysis program-analysis software-engineering source-code-analysis
Last synced: 24 Dec 2025
https://github.com/dena/mustawaitanalyzer
A roslyn analyzer that enforces the use of await
dataflow-analysis roslyn roslyn-analyzers static-analysis
Last synced: 15 Apr 2025
https://github.com/kraks/dataflow-analysis
Racket Implementation of Data-flow Analyses
dataflow-analysis racket static-analysis
Last synced: 11 Oct 2025
https://github.com/legend-exp/juleanita.jl
Meta-package for the Julia software stack to analyse teststand data for the LEGEND experiment.
analysis-framework data-processing dataflow-analysis julia-language neutrino-experiments
Last synced: 24 Jun 2025
https://github.com/lukaspietzschmann/java-dataflow-graph
Slides for a short presentation about building a dataflow graph for java
dataflow-analysis latex latex-beamer
Last synced: 13 Jul 2025
https://github.com/eagleoutice/sqa-static-analysis
Slides on static analysis
abstract-interpretation controlflow-analysis dataflow-analysis flowr latex latex-beamer lecture-slides static-analysis static-analyzer
Last synced: 22 Jan 2026
https://github.com/secure-software-engineering/ts4j
A fluent interface for defining and computing typestate analyses
dataflow-analysis fluent-interface java static-analysis
Last synced: 02 Nov 2025
https://github.com/lukaspietzschmann/java-dataflow-graph-poster
A poster about building a dataflow graph for java
dataflow-analysis latex latex-poster
Last synced: 06 Dec 2025
https://github.com/berglucas/manim-dataflow-analysis
manim-dataflow-analysis is a library that improves manim so that it can generate dataflow analysis animations.
Last synced: 05 Jul 2025
https://github.com/arctic-marmoset/codegen
A repo for experimenting with AOT and JIT code generation, including IR transformations for optimisation.
code-generation cpp cpp23 dataflow-analysis intermediate-representation optimizing-compilers
Last synced: 23 Feb 2025
