dataflow-analysis
There are 3 repositories under dataflow-analysis topic.
python-security / pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Language:Python 2167wala / WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
Language:Java 724mattzeunert / FromJS
See where each character on the screen came from in code.
Language:JavaScript 538trailofbits / polytracker
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
Language:C++ 497- Language:Java 496
mimicji / FlowMatrix
FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
Language:C++ 27phinehasz / MethodParser
use asm to parse classNode then get method invoke relations.解析获得方法调用链路
Language:Java 21CodeThreat / FlowBlot.NET
FlowBlot is static code analysis benchmark project by Codethreat, including sink-source challenges grouped into various technical analysis concepts.
Language:C# 14- flowr
Code-Inspect / flowr
A program slicer and dataflow analyzer for the R programming language.
Language:TypeScript 12 akashlevy / LLVM-Dataflow-Examples
Visualization of LLVM IR
Language:LLVM 10euske / fgyama
Static source code analyzer that extracts an interprocedural dataflow graph from Java source code.
Language:Java 7shba24 / BinClass
Recovering Object information from a C++ compiled Binary/Malware (mainly written for PE files) , linked dynamically and completely Stripped.
Language:C 7jubitaneja / souper-cgo20-artifact
"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.
Language:C 6binarybird / Cascade
Cascade - Dataflow graphing and analysis for C#
Language:C# 5YuFengUofR / dataflow_optimizer
A general framework for optimizing DNN dataflow on systolic array
Language:Python 5Model-Based-Design-Lab / cmwb
Computational Modeling WorkBench
Language:JavaScript 3ayrtonmassey / proj
UG4 Honours Project
Language:JavaScript 2fuzzuf / polytracker
Ricerca's PolyTracker (Forked from https://github.com/trailofbits/polytracker )
Language:C 2- Language:Java 2
Kraks / dataflow-analysis
Racket Implementation of Data-flow Analyses
Language:Racket 1Leehwajung / JavaDataFlowAnalyzer
Java Analyzer: mirrored from https://github.com/Leehwajung/JavaAnalyzer.git
Language:Java 1lu-cs-sde / IntraJSCAM2021
IntraJ is an application of the framework IntraCFG for the Java language. IEEESCAM2021
Language:HTML 1LukasPietzschmann / java-dataflow-graph
Slides for a short presentation about building a dataflow graph for java
Language:TeX 1- Data-Store-Rescope
McSCert / Data-Store-Rescope
Rescopes Simulink data stores (formerly the Data Store Push-Down Tool)
Language:MATLAB 1 Computational Modeling Libraries
Language:Python 1secure-software-engineering / TS4J
A fluent interface for defining and computing typestate analyses
Language:Java 1- Language:Haskell 0
arctic-marmoset / codegen
A repo for experimenting with AOT and JIT code generation, including IR transformations for optimisation.
Language:C++ 0kingdomax / app-design-diagram
All kind of software design diagram
0rish9101 / compiler-optimizations
Implementation of standard compiler optimizations
Language:C++ 0A poster about building a dataflow graph for java
Language:TeX- Reach-Coreach
Highlights data/control flow dependencies in Simulink models and performs model slicing
Language:MATLAB
