Alternatives and similar repositories for DataFlowAnalysis-miasm

Users that are interested in DataFlowAnalysis-miasm are comparing it to the libraries listed below

• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆84Updated 2 years ago
• UVA-LavaLab / BigMap
  BigMap integration on AFL++
  ☆15Updated 4 years ago
• c3r34lk1ll3r / Instruction_Slicer
  Binary Ninja plugin for forward/backward slicing
  ☆18Updated 4 years ago
• Augment-Decompiler / Control-Flow-Structuring
  ☆13Updated 3 years ago
• Anonymous-SFuzz / SFuzz
  ☆34Updated 3 years ago
• another1024 / angr-analysis
  angr源码分析
  ☆33Updated 5 years ago
• quarkslab / aosp_dataset
  Large Commit Precise Vulnerability Dataset based on AOSP CVE
  ☆65Updated 2 years ago
• thebabush / afl-libprotobuf-mutator
  AFLplusplus + libprotobuf-mutator = love
  ☆84Updated 5 years ago
• wtdcode / fuzzercorn
  Bring libfuzzer to Unicorn
  ☆26Updated 3 years ago
• HackOvert / BinaryNinjaSnippets
  Code snippets for Binary Ninja's Python API
  ☆30Updated 4 years ago
• noobone123 / TypeForge
  TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)
  ☆38Updated 3 weeks ago
• Jinmo / IDA8-Alleycat
  Alleycat plugin by devttys0, ported to IDA 8
  ☆11Updated 9 months ago
• AFLplusplus / unicornafl
  AFL bindings for Unicorn-Engine
  ☆87Updated last month
• scotty-kdw / ARM-Analyzer
  Backward Taint Analysis (GUI) on Desktop : Analyzing trace log to determine exploitability by tracking data propagation
  ☆48Updated 8 years ago
• HexHive / datAFLow
  A data-flow-guided fuzzer
  ☆124Updated 2 years ago
• projectbtle / argXtract
  Tool to trace ARM Cortex-M assembly instructions and extract arguments to configuration APIs (supervisor calls or function calls).
  ☆31Updated 3 years ago
• AFLplusplus / libafl_qemu_artifacts
  ☆26Updated last year
• vanhauser-thc / dynTaintTracer
  a taint tracer based on DynamoRIO, currently ARM only
  ☆40Updated 5 years ago
• wcventure / Static-Analysis-Rules
  Summary of static analysis in Java and C/C++
  ☆18Updated 3 years ago
• joernio / ghidra2cpg
  Code Property Graph (CPG) frontend for binary applications and libraries.
  ☆93Updated 4 years ago
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆124Updated last year
• valour01 / ecmo
  Peripheral Transplantation to Rehost Embedded Linux kernels
  ☆16Updated 3 years ago
• SoftSec-KAIST / TikNib
  Binary Code Similarity Analysis (BCSA) Tool
  ☆124Updated 5 months ago
• binaryai / plugins
  Ghidra/IDA Pro plugins to load similarity result from binaryai.net
  ☆93Updated 2 years ago
• seclab-ucr / SyzGen_setup
  ☆46Updated 4 years ago
• sefcom / VarBERT
  ☆62Updated 2 months ago
• secure-foundations / trex
  🦖 Reconstruct Types from Binary Code
  ☆33Updated 3 months ago
• SocietyMaster / AFLIoT
  ☆19Updated 5 years ago
• YunDingLab / struct_sanitizer
  a new cfi mechanism
  ☆32Updated 4 years ago
• cylance / eBPF_processor
  An IDA processor for eBPF bytecode
  ☆48Updated 4 years ago