A new version of Soot with a completely overhauled architecture
-
Updated
Jun 6, 2024 - Java
A new version of Soot with a completely overhauled architecture
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
Computational Modeling Libraries
Computational Modeling WorkBench
A program slicer and dataflow analyzer for the R programming language.
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
FlowBlot is static code analysis benchmark project by Codethreat, including sink-source challenges grouped into various technical analysis concepts.
Slides for a short presentation about building a dataflow graph for java
A poster about building a dataflow graph for java
Ricerca's PolyTracker (Forked from https://github.com/trailofbits/polytracker )
Implementation of standard compiler optimizations
Static source code analyzer that extracts an interprocedural dataflow graph from Java source code.
FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
IntraJ is an application of the framework IntraCFG for the Java language. IEEESCAM2021
See where each character on the screen came from in code.
A repo for experimenting with AOT and JIT code generation, including IR transformations for optimisation.
Rescopes Simulink data stores (formerly the Data Store Push-Down Tool)
Highlights data/control flow dependencies in Simulink models and performs model slicing
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
use asm to parse classNode then get method invoke relations.解析获得方法调用链路
Add a description, image, and links to the dataflow-analysis topic page so that developers can more easily learn about it.
To associate your repository with the dataflow-analysis topic, visit your repo's landing page and select "manage topics."