#
dataflow-analysis
Here are 21 public repositories matching this topic...
See where each character on the screen came from in code.
-
Updated
May 29, 2021 - JavaScript
T.J. Watson Libraries for Analysis
javascript
android
java
static-code-analysis
static-analysis
callgraph
program-analysis
pointer-analysis
slicing
dataflow-analysis
-
Updated
Aug 1, 2021 - Java
carsonharmon
commented
Jul 30, 2020
Polybuild was taken by the other team and improved into a new standalone tool called blight. It has all of polybuilds features and more, we should swap to it when we get a chance.
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
FlowBlot is static code analysis benchmark project by Codethreat, including sink-source challenges grouped into various technical analysis concepts.
-
Updated
Feb 12, 2021 - C#
Visualization of LLVM IR
-
Updated
Aug 2, 2018 - LLVM
"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
A general framework for optimizing DNN dataflow on systolic array
-
Updated
Mar 3, 2020 - Python
Static source code analyzer that extracts an interprocedural dataflow graph from Java source code.
-
Updated
Jul 18, 2021 - Java
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#
UG4 Honours Project
-
Updated
Jan 13, 2018 - JavaScript
Java Analyzer: mirrored from https://github.com/Leehwajung/JavaAnalyzer.git
-
Updated
Nov 15, 2016 - Java
Racket Implementation of Data-flow Analyses
-
Updated
Jun 27, 2017 - Racket
Highlights data/control flow dependencies in Simulink models and performs model slicing
-
Updated
Mar 30, 2021 - MATLAB
A fluent interface for defining and computing typestate analyses
-
Updated
Nov 2, 2017 - Java
Rescopes Simulink data stores (formerly the Data Store Push-Down Tool)
refactoring
simulink
model-transformations
model-based-development
dataflow-analysis
simulink-toolbox
-
Updated
Mar 30, 2021 - MATLAB
-
Updated
May 23, 2019 - Haskell
All kind of software design diagram
-
Updated
Oct 13, 2018
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.