Java Analyzer: mirrored from https://github.com/Leehwajung/JavaAnalyzer.git
-
Updated
Nov 15, 2016 - Java
Java Analyzer: mirrored from https://github.com/Leehwajung/JavaAnalyzer.git
Racket Implementation of Data-flow Analyses
Recovering Object information from a C++ compiled Binary/Malware (mainly written for PE files) , linked dynamically and completely Stripped.
A fluent interface for defining and computing typestate analyses
UG4 Honours Project
Visualization of LLVM IR
All kind of software design diagram
Cascade - Dataflow graphing and analysis for C#
"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.
A general framework for optimizing DNN dataflow on systolic array
use asm to parse classNode then get method invoke relations.解析获得方法调用链路
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Highlights data/control flow dependencies in Simulink models and performs model slicing
Rescopes Simulink data stores (formerly the Data Store Push-Down Tool)
A repo for experimenting with AOT and JIT code generation, including IR transformations for optimisation.
See where each character on the screen came from in code.
IntraJ is an application of the framework IntraCFG for the Java language. IEEESCAM2021
FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
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."