An open API service providing repository metadata for many open source software ecosystems.

Topic: "dataflow-analysis"

python-security/pyt

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

Language: Python - Size: 3.2 MB - Last synced at: 24 days ago - Pushed at: over 4 years ago - Stars: 2,184 - Forks: 245

wala/WALA

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

Language: Java - Size: 57.5 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 803 - Forks: 237

soot-oss/SootUp

A new version of Soot with a completely overhauled architecture

Language: Java - Size: 300 MB - Last synced at: about 22 hours ago - Pushed at: about 22 hours ago - Stars: 696 - Forks: 93

trailofbits/polytracker

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

Language: C++ - Size: 36.5 MB - Last synced at: 24 days ago - Pushed at: 2 months ago - Stars: 565 - Forks: 45

mattzeunert/FromJS

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

Language: JavaScript - Size: 24.4 MB - Last synced at: 29 days ago - Pushed at: over 2 years ago - Stars: 539 - Forks: 19

flowr-analysis/flowr

Sophisticated static program analysis framework for the R programming language.

Language: TypeScript - Size: 21.4 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 64 - Forks: 7

phinehasz/MethodParser

use asm to parse classNode then get method invoke relations.解析获得方法调用链路

Language: Java - Size: 14.6 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 20 - Forks: 10

mimicji/FlowMatrix

FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22

Language: C++ - Size: 1.85 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 15 - Forks: 2

CodeThreat/FlowBlot.NET

FlowBlot is static code analysis benchmark project by Codethreat, including sink-source challenges grouped into various technical analysis concepts.

Language: C# - Size: 516 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 13

akashlevy/LLVM-Dataflow-Examples Fork of pfalcon/graph-llvm-ir

Visualization of LLVM IR

Language: LLVM - Size: 1.26 MB - Last synced at: 9 days ago - Pushed at: almost 7 years ago - Stars: 11 - Forks: 1

shba24/BinClass

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

Language: C - Size: 18 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 7 - Forks: 0

jubitaneja/souper-cgo20-artifact

"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.

Language: C - Size: 171 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 6 - Forks: 0

DeNA/MustAwaitAnalyzer

A roslyn analyzer that enforces the use of await

Language: C# - Size: 80.1 KB - Last synced at: 3 days ago - Pushed at: 8 months ago - Stars: 5 - Forks: 0

euske/fgyama

Static source code analyzer that extracts an interprocedural dataflow graph from Java source code.

Language: Java - Size: 2.88 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 5 - Forks: 1

binarybird/Cascade

Cascade - Dataflow graphing and analysis for C#

Language: C# - Size: 155 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 5 - Forks: 0

Model-Based-Design-Lab/cmwb

Computational Modeling WorkBench

Language: PHP - Size: 95.1 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 0

YuFengUofR/dataflow_optimizer

A general framework for optimizing DNN dataflow on systolic array

Language: Python - Size: 182 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0

legend-exp/Juleanita.jl

Meta-package for the Julia software stack to analyse teststand data for the LEGEND experiment.

Language: Julia - Size: 1.15 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 2 - Forks: 1

S-Eggers/APEX-DAG

Automating the extraction of data pipelines from computational notebooks or scripts.

Language: Jupyter Notebook - Size: 8.67 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 2 - Forks: 0

Model-Based-Design-Lab/cmlib

Computational Modeling Libraries

Language: Python - Size: 676 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

LukasPietzschmann/java-dataflow-graph

Slides for a short presentation about building a dataflow graph for java

Language: TeX - Size: 581 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

fuzzuf/polytracker

Ricerca's PolyTracker (Forked from https://github.com/trailofbits/polytracker )

Language: C - Size: 27.4 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

ayrtonmassey/proj

UG4 Honours Project

Language: JavaScript - Size: 5.54 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 1

Kraks/dataflow-analysis

Racket Implementation of Data-flow Analyses

Language: Racket - Size: 26.4 KB - Last synced at: about 2 months ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 5

Leehwajung/JavaAnalyzer Fork of kwanghoon/Polyglot

Java Analyzer

Language: Java - Size: 6.66 MB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 1

lu-cs-sde/IntraJSCAM2021

IntraJ is an application of the framework IntraCFG for the Java language. IEEESCAM2021

Language: HTML - Size: 363 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

secure-software-engineering/TS4J

A fluent interface for defining and computing typestate analyses

Language: Java - Size: 72 MB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

Leehwajung/JavaDataFlowAnalyzer

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

Language: Java - Size: 6.62 MB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0

OrenGitHub/dhscanner-action

SAST engine with a cross file, inter-procedural dataflow and other deep analyses

Size: 20.5 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

BergLucas/manim-dataflow-analysis

manim-dataflow-analysis is a library that improves manim so that it can generate dataflow analysis animations.

Language: Python - Size: 229 KB - Last synced at: 16 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

UNamurCSFaculty/INFOM227_Animations

This repository contains the code to generate animations for the course INFOM227.

Language: Python - Size: 374 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

luislascano01/Stratvithor

Stratvithor is an AI-powered intelligence dashboard that dynamically integrates real-time data streams with structured knowledge modules. It enables users to customize, explore, and refine insights across domains like finance, traffic, and legislation, ensuring always-relevant, actionable data.

Language: Jupyter Notebook - Size: 361 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

LukasPietzschmann/java-dataflow-graph-poster

A poster about building a dataflow graph for java

Language: TeX - Size: 285 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

rish9101/compiler-optimizations

Implementation of standard compiler optimizations

Language: C++ - Size: 234 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

arctic-marmoset/codegen

A repo for experimenting with AOT and JIT code generation, including IR transformations for optimisation.

Language: C++ - Size: 18.6 KB - Last synced at: 4 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

McSCert/Data-Store-Rescope

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

Language: MATLAB - Size: 3.31 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

McSCert/Reach-Coreach

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

Language: MATLAB - Size: 2.82 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

alexandrustoica/dataflow.analysis

Language: Haskell - Size: 23.4 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

kingdomax/app-design-diagram

All kind of software design diagram

Size: 376 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

Related Topics
static-analysis 11 java 7 dataflow 6 program-analysis 5 static-code-analysis 4 taint-analysis 4 taint-tracking 4 control-flow-graph 3 llvm 3 security-tools 2 simulink 2 simulink-toolbox 2 automata 2 markov-chain 2 compiler 2 max-plus 2 max-plus-algebra 2 abstract-syntax-tree 2 manim 2 intermediate-representation 2 latex 2 android 2 cpp 2 security 2 callgraph 2 dfa 2 sast 2 roslyn 2 llvm-ir 2 binary-analysis 2 model-based-development 2 static-program-analysis 1 vulnerability 1 architecture-diagram 1 er-diagram 1 static-analyzer 1 roslyn-analyzers 1 r 1 program-slicing 1 vulnerability-detection 1 latex-poster 1 vulnerability-scanners 1 temporal-logic 1 regular-expressions-and-languages 1 modeling 1 computational 1 regular-expressions 1 analysis-framework 1 linear-temporal-logic 1 computational-modeling 1 data-processing 1 julia-language 1 neutrino-experiments 1 fluent-interface 1 instrumentation 1 pipeline-extraction 1 taint 1 python3 1 python 1 pyt 1 flask 1 fixed-point-analysis 1 fixed-point 1 abstract-syntax 1 query-language 1 inter-procedure-analysis 1 ci-cd 1 bitcode-generation 1 abstract-interpretation 1 soot 1 jimple 1 call-graph 1 bytecode 1 optimizing-compilers 1 cpp23 1 code-generation 1 slicing 1 pointer-analysis 1 javascript 1 dynamic-analysis 1 debugging 1 latex-beamer 1 usecasediagram 1 sequence-diagram 1 testing 1 jastadd 1 ieee-scam 1 ieee 1 declarative 1 cfg 1 polytracker 1 libdft 1 llm 1 interactive-computing 1 human-computer-interaction 1 human-centered-design 1 dashboard 1 automata-simulator 1 website 1 webapplication 1