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: 18 Jan 2025
https://github.com/falconre/falcon
Binary Analysis Framework in Rust
binary-analysis data-flow-analysis program-analysis rust
Last synced: 02 Apr 2025
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/doctorn/micro-mitten
You might not need your garbage collector
compile-time-garbage-collection compilers data-flow-analysis memory-management
Last synced: 21 Nov 2024
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: 07 May 2025
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: 12 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/sgraf812/datafix
Fixing data-flow problems in expression trees
compiler-optimization data-flow-analysis haskell
Last synced: 09 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/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: 09 Apr 2025
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: 04 Apr 2025
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: 03 Apr 2025
