data-flow-analysis | Topic | Ecosyste.ms: Repos

Topic: "data-flow-analysis"

grin-compiler/grin

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Language: Haskell - Size: 21.8 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 1,040 - Forks: 39

secure-software-engineering/phasar

A LLVM-based static analysis framework.

Language: C++ - Size: 129 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 988 - Forks: 147

AngoraFuzzer/Angora

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

Language: C++ - Size: 13 MB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 941 - Forks: 170

falconre/falcon

Binary Analysis Framework in Rust

Language: Rust - Size: 2.23 MB - Last synced at: 19 days ago - Pushed at: over 1 year ago - Stars: 565 - Forks: 46

cofibrant/micro-mitten

You might not need your garbage collector

Language: Rust - Size: 90.8 KB - Last synced at: 8 days ago - Pushed at: about 5 years ago - Stars: 543 - Forks: 11

BeaEngine/beaengine

BeaEngine disasm project

Language: Python - Size: 2.6 MB - Last synced at: 29 days ago - Pushed at: over 4 years ago - Stars: 541 - Forks: 124

Washi1337/Echo

Generic static analysis framework.

Language: C# - Size: 2.89 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 224 - Forks: 33

pfalcon/ScratchABlock

Yet another crippled decompiler project

Language: Python - Size: 905 KB - Last synced at: 14 days ago - Pushed at: over 3 years ago - Stars: 104 - Forks: 23

SVF-tools/Software-Security-Analysis

Static Analysis Course

Language: C++ - Size: 86.8 MB - Last synced at: 1 day ago - Pushed at: 2 days ago - Stars: 70 - Forks: 28

Aurore54F/JStap

Modular static malicious JavaScript detection system

Language: Python - Size: 428 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 35 - Forks: 13

daanvdh/JavaDataFlow

Creating Data Flow Graphs from java input classes

Language: Java - Size: 200 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 34 - Forks: 11

edgardozoppi/analysis-net

Static analysis framework for .NET programs.

Language: C# - Size: 2.33 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 19 - Forks: 14

Aurore54F/HideNoSeek

Static data flow-based analysis of JavaScript files to detect syntactic clones

Language: Python - Size: 55.7 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 17 - Forks: 3

sdasgup3/partial-redundancy-elimination

Partial Redundancy Elimination Pass in LLVM

Language: TeX - Size: 22.7 MB - Last synced at: 2 months ago - Pushed at: about 6 years ago - Stars: 13 - Forks: 3

patrick-petrovic/visualDFA

VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.

Language: Java - Size: 27.7 MB - Last synced at: 6 months ago - Pushed at: almost 8 years ago - Stars: 12 - Forks: 4

sgraf812/datafix

Fixing data-flow problems in expression trees

Language: HTML - Size: 19.4 MB - Last synced at: 10 days ago - Pushed at: over 4 years ago - Stars: 9 - Forks: 1

laurmaedje/symflow

Data flow analysis for x86-64 ELF binaries based on symbolic execution. 🔎

Language: Rust - Size: 2.27 MB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 9 - Forks: 1

Learner0x5a/DataFlowAnalysis-miasm

Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.

Language: Python - Size: 44.9 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 7 - Forks: 2

Egor18/jdataflow

jdataflow is a Z3 solver based data-flow analyzer for Java source code.

Language: Java - Size: 717 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 2

wenkokke/MonoProc 📦

A framework for data-flow analysis of a simple imperative programming language.

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

TheComputeGuy/static-analysis-plugin 📦

An IDA Python plugin for CFG generation and data flow analysis on x86 binaries

Language: Python - Size: 86.9 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 2

PKULiuHui/Value-Range-Analysis

The project of PKU compiler class. Predict the range of value given SSA code.

Language: Python - Size: 9.99 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 3

dibyendu/unrelyzer

Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs

Language: C - Size: 10.7 MB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 4 - Forks: 1

saber-dragon/DemandDrivenDefUseAnalysis

Language: LLVM - Size: 40.3 MB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

WoodyWangHou/LLVM-flowAnalysis

A collection of LLVM passes, including some data flow analysis passes

Language: C++ - Size: 79.1 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 2

sdasgup3/non-separable-global-dataflow-framework

Extend GCC's GDFA Architecture to Non-separable Framwork

Language: Turing - Size: 1.97 MB - Last synced at: 2 months ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0

iamaayushrivastava/Inter-Procedural-Constant-Propagation

This repository features an LLVM optimization pass for inter-procedural, context-insensitive, and flow-sensitive constant propagation that analyses and substitutes constant values across function boundaries. Key features include handling diverse data types and operations, and transforming variables and function arguments to constants.

Language: LLVM - Size: 23.4 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0