flowr-analysis/flowr

A static program analyzer and dataflow analysis framework for the R programming language.

Language: TypeScript - Size: 17.9 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 60 - Forks: 6

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.2 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 787 - Forks: 236

Model-Based-Design-Lab/cmwb

Computational Modeling WorkBench

Language: PHP - Size: 95.1 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 4 - Forks: 0

Model-Based-Design-Lab/cmlib

Computational Modeling Libraries

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

soot-oss/SootUp

A new version of Soot with a completely overhauled architecture

Language: Java - Size: 277 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 670 - Forks: 91

LisaSchlueter/Juleanita.jl

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

Language: Julia - Size: 572 KB - Last synced at: about 11 hours ago - Pushed at: about 11 hours ago - Stars: 0 - Forks: 0

python-security/pyt

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

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

trailofbits/polytracker

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

Language: C++ - Size: 36.5 MB - Last synced at: 30 days ago - Pushed at: about 1 month ago - Stars: 560 - Forks: 45

OrenGitHub/dhscanner-action

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

Size: 20.5 KB - Last synced at: about 1 month ago - Pushed at: about 1 month 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: about 1 month ago - Pushed at: about 1 month 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: 201 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

S-Eggers/APEX-DAG

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

Language: Jupyter Notebook - Size: 4.47 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1 - 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: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

mattzeunert/FromJS

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

Language: JavaScript - Size: 24.4 MB - Last synced at: about 7 hours ago - Pushed at: over 2 years ago - Stars: 539 - Forks: 19

DeNA/MustAwaitAnalyzer

A roslyn analyzer that enforces the use of await

Language: C# - Size: 80.1 KB - Last synced at: 28 days ago - Pushed at: 6 months ago - Stars: 4 - 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: 7 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

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: 9 months ago - Pushed at: 9 months ago - Stars: 7 - Forks: 0

Kraks/dataflow-analysis

Racket Implementation of Data-flow Analyses

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

Leehwajung/JavaDataFlowAnalyzer

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

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

Leehwajung/JavaAnalyzer Fork of kwanghoon/Polyglot

Java Analyzer

Language: Java - Size: 6.66 MB - Last synced at: about 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

binarybird/Cascade

Cascade - Dataflow graphing and analysis for C#

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

secure-software-engineering/TS4J

A fluent interface for defining and computing typestate analyses

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

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

LukasPietzschmann/java-dataflow-graph-poster

A poster about building a dataflow graph for java

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

fuzzuf/polytracker

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

Language: C - Size: 27.4 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 2 - 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

rish9101/compiler-optimizations

Implementation of standard compiler optimizations

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

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

Visualization of LLVM IR

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

phinehasz/MethodParser

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

Language: Java - Size: 14.6 KB - Last synced at: about 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: about 2 years ago - Pushed at: over 2 years ago - Stars: 15 - Forks: 2

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

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: 3 months ago - Pushed at: over 2 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: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - 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

McSCert/Reach-Coreach

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

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

YuFengUofR/dataflow_optimizer

A general framework for optimizing DNN dataflow on systolic array

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

alexandrustoica/dataflow.analysis

Language: Haskell - Size: 23.4 KB - Last synced at: about 2 years ago - Pushed at: almost 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