dataflow-analysis

Here are 19 public repositories matching this topic...

python-security / pyt

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

python flask security static-code-analysis static-analysis python3 abstract-syntax control-flow-graph dataflow program-analysis taint-analysis fixed-point abstract-syntax-tree taint pyt fixed-point-analysis dataflow-analysis

Updated Mar 8, 2020
Python

mattzeunert / FromJS

Star

See where each character on the screen came from in code.

debugging dynamic-analysis dataflow-analysis

Updated Aug 6, 2020
JavaScript

wala / WALA

Star

T.J. Watson Libraries for Analysis

javascript android java static-code-analysis static-analysis callgraph program-analysis pointer-analysis slicing dataflow-analysis

Updated Aug 5, 2020
Java

iN3O / BinClass

Star

Recovering Object information from a C++ compiled Binary/Malware (mainly written for PE files) , linked dynamically and completely Stripped.

static-analysis symbolic-execution malware-analysis binary-analysis dataflow-analysis

Updated Aug 12, 2017
C

akashlevy / LLVM-Dataflow-Examples

Star

Visualization of LLVM IR

graphviz llvm dataflow graphviz-dot llvm-ir dataflow-analysis

Updated Aug 2, 2018
LLVM

YuFengUofR / dataflow_optimizer

Star

A general framework for optimizing DNN dataflow on systolic array

simulation dnn dataflow deconvolution dataflow-analysis systolic-arrays

Updated Mar 3, 2020
Python

jubitaneja / souper-cgo20-artifact

Star

"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

Leehwajung / JavaAnalyzer

Star

Java Analyzer

java dataflow-analysis

Updated Nov 15, 2016
Java

binarybird / Cascade

Star

Cascade - Dataflow graphing and analysis for C#

Updated Jun 30, 2019
C#

euske / fgyama

Star

Dataflow graph extractor for Java

software-engineering program-analysis source-code-analysis dataflow-analysis

Updated Aug 7, 2020
Java

Leehwajung / JavaDataFlowAnalyzer

Star

Java Analyzer: mirrored from https://github.com/Leehwajung/JavaAnalyzer.git

java dataflow-analysis

Updated Nov 15, 2016
Java

IdrissRio / SC-Compiler

Star

SimplyC Compiler

cfg compiler-design jastadd dataflow-analysis lund-university controlflow

Updated Jun 4, 2020
Java

alexandrustoica / dataflow.analysis

Star

university-project control-flow-graph dataflow-analysis

Updated May 23, 2019
Haskell

McSCert / Reach-Coreach

Star

Highlights data/control flow dependencies in Simulink models and performs model slicing

simulink model-slicing model-based-development dataflow-analysis simulink-toolbox

Updated Jul 28, 2020
MATLAB

secure-software-engineering / TS4J

Star

A fluent interface for defining and computing typestate analyses

java static-analysis fluent-interface dataflow-analysis

Updated Nov 2, 2017
Java

ayrtonmassey / proj

Star

UG4 Honours Project

website app simulator compiler dataflow dataflow-compiler webapplication dataflow-analysis

Updated Jan 13, 2018
JavaScript

McSCert / Data-Store-Rescope

Star

Rescopes Simulink data stores (formerly the Data Store Push-Down Tool)

refactoring simulink model-transformations model-based-development dataflow-analysis simulink-toolbox

Updated Jul 28, 2020
MATLAB

kingdomax / app-design-diagram

Star

All kind of software design diagram

sequence-diagram er-diagram architecture-diagram usecasediagram dataflow-analysis

Updated Oct 13, 2018

Kraks / dataflow-analysis

Star

Racket Implementation of Data-flow Analyses

racket static-analysis dataflow-analysis

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.

Curate this topic

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."

Learn more