#
dataflow-analysis
Here are 21 public repositories matching this topic...
See where each character on the screen came from in code.
-
Updated
Oct 20, 2020 - JavaScript
T.J. Watson Libraries for Analysis
javascript
android
java
static-code-analysis
static-analysis
callgraph
program-analysis
pointer-analysis
slicing
dataflow-analysis
-
Updated
Nov 3, 2020 - Java
use asm to parse classNode then get method invoke relations.解析获得方法调用链路
-
Updated
Oct 2, 2020 - Java
Recovering Object information from a C++ compiled Binary/Malware (mainly written for PE files) , linked dynamically and completely Stripped.
-
Updated
Aug 12, 2017 - C
Visualization of LLVM IR
-
Updated
Aug 2, 2018 - LLVM
A general framework for optimizing DNN dataflow on systolic array
-
Updated
Mar 3, 2020 - Python
"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.
docker-image
static-analysis
verification
dataflow
z3
dfa
precision
llvm-ir
z3-smt-solver
dataflow-analysis
llvm-compiler
souper
spec2017
soundness
-
Updated
Jan 8, 2020 - C
Cascade - Dataflow graphing and analysis for C#
microsoft
testing
security
csharp
graph
analysis
roslyn
dotnet
static
dotnet-core
dataflow
vulnerability
vulnerability-detection
vulnerability-scanners
codegraph
security-tools
insight
security-testing
sast
dataflow-analysis
-
Updated
Jun 30, 2019 - C#
Dataflow graph extractor for Java
-
Updated
Nov 6, 2020 - Java
FlowBlot is static code analysis benchmark project by Codethreat, including sink-source challenges grouped into various technical analysis concepts.
-
Updated
Aug 19, 2020 - C#
UG4 Honours Project
-
Updated
Jan 13, 2018 - JavaScript
Java Analyzer: mirrored from https://github.com/Leehwajung/JavaAnalyzer.git
-
Updated
Nov 15, 2016 - Java
SimplyC Compiler
-
Updated
Jun 4, 2020 - Java
Highlights data/control flow dependencies in Simulink models and performs model slicing
-
Updated
Sep 15, 2020 - MATLAB
A fluent interface for defining and computing typestate analyses
-
Updated
Nov 2, 2017 - Java
-
Updated
May 23, 2019 - Haskell
Rescopes Simulink data stores (formerly the Data Store Push-Down Tool)
refactoring
simulink
model-transformations
model-based-development
dataflow-analysis
simulink-toolbox
-
Updated
Sep 15, 2020 - MATLAB
All kind of software design diagram
-
Updated
Oct 13, 2018
Racket Implementation of Data-flow Analyses
-
Updated
Jun 27, 2017 - Racket
Improve this page
Add a description, image, and links to the dataflow-analysis topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dataflow-analysis topic, visit your repo's landing page and select "manage topics."
I wrote some of the code to do this in a branch https://github.com/python-security/pyt/compare/class_based_views, but since I'm working on other things and this feature seems cool and important I'm making this issue👍
Let me know if you would like any help in implementing.