Projects in Awesome Lists tagged with data-flow-analysis
A curated list of projects in awesome lists tagged with data-flow-analysis .
https://github.com/grin-compiler/grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
compiler data-flow-analysis functional-programming haskell llvm optimisation
Last synced: 16 May 2025
https://github.com/secure-software-engineering/phasar
A LLVM-based static analysis framework.
c cpp data-flow-analysis llvm program-analysis static-analysis
Last synced: 14 May 2025
https://github.com/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.
afl data-flow-analysis fuzzer fuzzing security symbolic-execution taint-analysis
Last synced: 02 Apr 2025
https://github.com/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.
afl data-flow-analysis fuzzer fuzzing security symbolic-execution taint-analysis
Last synced: 27 Sep 2025
https://github.com/falconre/falcon
Binary Analysis Framework in Rust
binary-analysis data-flow-analysis program-analysis rust
Last synced: 17 Mar 2026
https://github.com/beaengine/beaengine
BeaEngine disasm project
c99 control-flow-analysis data-flow-analysis disassembler intel library reverse-engineering x86-64
Last synced: 05 Apr 2025
https://github.com/cofibrant/micro-mitten
You might not need your garbage collector
compile-time-garbage-collection compilers data-flow-analysis memory-management
Last synced: 20 Jan 2026
https://github.com/Washi1337/Echo
Generic static analysis framework.
bytecode cil code-analysis control-flow-analysis data-flow-analysis emulation x86
Last synced: 22 Jan 2026
https://github.com/washi1337/echo
Generic static analysis framework.
bytecode cil code-analysis control-flow-analysis data-flow-analysis emulation x86
Last synced: 12 Apr 2025
https://github.com/pfalcon/scratchablock
Yet another crippled decompiler project
data-flow-analysis decompiler program-analysis reverse-engineering
Last synced: 11 Mar 2026
https://github.com/svf-tools/software-security-analysis
Static Analysis Course
abstract-interpretation data-flow-analysis static-analysis static-analysis-course symbolic-execution value-flow
Last synced: 15 Mar 2026
https://github.com/daanvdh/javadataflow
Creating Data Flow Graphs from java input classes
control-flow-graph controlflow controlflowgraph data-flow-analysis data-flow-graph dataflow java javadataflow-graph javaparser
Last synced: 14 Jan 2026
https://github.com/sdasgup3/partial-redundancy-elimination
Partial Redundancy Elimination Pass in LLVM
bitvector common-subexpression-elimination compiler-optimization data-flow-analysis llvm loop-invariants
Last synced: 24 Oct 2025
https://github.com/sgraf812/datafix
Fixing data-flow problems in expression trees
compiler-optimization data-flow-analysis haskell
Last synced: 09 Apr 2025
https://github.com/laurmaedje/symflow
Data flow analysis for x86-64 ELF binaries based on symbolic execution. 🔎
data-flow-analysis static-analysis x86-64
Last synced: 28 Apr 2025
https://github.com/thecomputeguy/static-analysis-plugin
An IDA Python plugin for CFG generation and data flow analysis on x86 binaries
control-flow-graph data-flow-analysis ida-pro idapython
Last synced: 26 Apr 2025
https://github.com/ccoskrnl/cc-pass-python
一个功能上类似于llvm-pass的代码分析优化器
compiler data-flow-analysis python
Last synced: 03 Sep 2025
https://github.com/sdasgup3/non-separable-global-dataflow-framework
Extend GCC's GDFA Architecture to Non-separable Framwork
bitvector compiler-optimization data-flow-analysis dead-code-elimination gcc-plugin
Last synced: 21 Jan 2026
https://github.com/ccoskrnl/cof-python
Code Optimization Framework
compiler data-flow-analysis python
Last synced: 09 Aug 2025
https://github.com/aghorui/lhf
Multilevel data and operation deduplication mechanism (implementation in C++)
big-data cache compilers data-flow-analysis data-structures database
Last synced: 08 Apr 2026
https://github.com/sim642/bsc-thesis
Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)
abstract-domain abstract-interpretation bachelor-thesis bsc-thesis data-flow-analysis estonian estonian-language property-based-testing static-analysis static-code-analysis thesis thesis-paper
Last synced: 27 Jan 2026
https://github.com/saisurajmatta/data-warehousing-and-advanced-data-analytics
Data Analytics Project: Analyzed Promotions and Provided Tangible Insights to Sales Director
data data-analysis data-architecture data-flow-analysis data-modeling data-pipeline data-segmentation data-visualization data-warehousing docker etl etl-pipeline mssql sql tableau
Last synced: 17 May 2026
