Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 30 Sep 2024
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: 26 Sep 2024
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: 01 Aug 2024
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: 30 Sep 2024
https://github.com/falconre/falcon
Binary Analysis Framework in Rust
binary-analysis data-flow-analysis program-analysis rust
Last synced: 01 Aug 2024
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: 04 Aug 2024
https://github.com/beaengine/beaengine
BeaEngine disasm project
c99 control-flow-analysis data-flow-analysis disassembler intel library reverse-engineering x86-64
Last synced: 29 Sep 2024