dataflow-analysis
There are 39 repositories under dataflow-analysis topic.
python-security/pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
wala/WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
soot-oss/SootUp
A new version of Soot with a completely overhauled architecture
trailofbits/polytracker
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
mattzeunert/FromJS
See where each character on the screen came from in code.
flowr-analysis/flowr
Sophisticated static program analysis framework for the R programming language.
mimicji/FlowMatrix
FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
phinehasz/MethodParser
use asm to parse classNode then get method invoke relations.解析获得方法调用链路
CodeThreat/FlowBlot.NET
FlowBlot is static code analysis benchmark project by Codethreat, including sink-source challenges grouped into various technical analysis concepts.
akashlevy/LLVM-Dataflow-Examples
Visualization of LLVM IR
euske/fgyama
Static source code analyzer that extracts an interprocedural dataflow graph from Java source code.
shba24/BinClass
Recovering Object information from a C++ compiled Binary/Malware (mainly written for PE files) , linked dynamically and completely Stripped.
binarybird/Cascade
Cascade - Dataflow graphing and analysis for C#
jubitaneja/souper-cgo20-artifact
"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.
DeNA/MustAwaitAnalyzer
A roslyn analyzer that enforces the use of await
YuFengUofR/dataflow_optimizer
A general framework for optimizing DNN dataflow on systolic array
Model-Based-Design-Lab/cmwb
Computational Modeling WorkBench
fuzzuf/polytracker
Ricerca's PolyTracker (Forked from https://github.com/trailofbits/polytracker )
LukasPietzschmann/java-dataflow-graph
Slides for a short presentation about building a dataflow graph for java
ayrtonmassey/proj
UG4 Honours Project
Kraks/dataflow-analysis
Racket Implementation of Data-flow Analyses
Leehwajung/JavaAnalyzer
Java Analyzer
Model-Based-Design-Lab/cmlib
Computational Modeling Libraries
Leehwajung/JavaDataFlowAnalyzer
Java Analyzer: mirrored from https://github.com/Leehwajung/JavaAnalyzer.git
lu-cs-sde/IntraJSCAM2021
IntraJ is an application of the framework IntraCFG for the Java language. IEEESCAM2021
McSCert/Data-Store-Rescope
Rescopes Simulink data stores (formerly the Data Store Push-Down Tool)
S-Eggers/APEX-DAG
Automating the extraction of data pipelines from computational notebooks or scripts.
secure-software-engineering/TS4J
A fluent interface for defining and computing typestate analyses
uzumstanley/Automatic-Exploratory-Data-Analysis
Automating Data processing workflow to serve users in a simple smart interface
arctic-marmoset/codegen
A repo for experimenting with AOT and JIT code generation, including IR transformations for optimisation.
BergLucas/manim-dataflow-analysis
manim-dataflow-analysis is a library that improves manim so that it can generate dataflow analysis animations.
OrenGitHub/dhscanner-action
SAST engine with a cross file, inter-procedural dataflow and other deep analyses
rish9101/compiler-optimizations
Implementation of standard compiler optimizations
luislascano01/Stratvithor
Stratvithor is an AI-powered intelligence dashboard that dynamically integrates real-time data streams with structured knowledge modules. It enables users to customize, explore, and refine insights across domains like finance, traffic, and legislation, ensuring always-relevant, actionable data.
LukasPietzschmann/java-dataflow-graph-poster
A poster about building a dataflow graph for java
UNamurCSFaculty/INFOM227_Animations
This repository contains the code to generate animations for the course INFOM227.