#
dataflow-analysis
Here are 17 public repositories matching this topic...
See where each character on the screen came from in code.
-
Updated
Jun 2, 2020 - JavaScript
QRXqrx
commented
Dec 18, 2019
Hi,
I have noticed that one need to use AnalysisScope and ClassHierarchy several times to create a call graph. Like follows:
AnalysisScope scope = AnalysisScopeReader.makeJavaBinaryAnalysisScope(classPath, exFile);
ClassHierarchy cha = ClassHierarchyFactory.make(scope);
Iterable<Entrypoint> entrypoints = new AllApplicationEntrypoints(scope, cha);
AnalysisOptions options = new Analy
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
Jun 13, 2020 - Java
Java Analyzer: mirrored from https://github.com/Leehwajung/JavaAnalyzer.git
-
Updated
Nov 15, 2016 - Java
SimplyC Compiler
-
Updated
Jun 4, 2020 - Java
-
Updated
May 23, 2019 - Haskell
UG4 Honours Project
-
Updated
Jan 13, 2018 - JavaScript
A fluent interface for defining and computing typestate analyses
-
Updated
Nov 2, 2017 - Java
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.