Alternatives and similar repositories for kadabra

Users that are interested in kadabra are comparing it to the libraries listed below

• axt / bingraphvis
  ☆45Updated 3 years ago
• feliam / klee-taint
  KLEE-TAINT - Klee with taint analysis support
  ☆70Updated 8 years ago
• s3team / bincfp
  Efficient Multi-threaded Binary Code Control Flow Profiling Pintool
  ☆22Updated 9 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 6 years ago
• CAFA1 / CAFA
  CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage
  ☆31Updated 7 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆38Updated 6 years ago
• agustingianni / instrumentation
  Assorted pintools
  ☆30Updated 5 years ago
• trtikm / Rebours
  A framework for control-flow recovery in binary programs.
  ☆10Updated 7 years ago
• SoftSec-KAIST / MeanDiff
  Testing Intermediate Representations for Binary Analysis (ASE '17)
  ☆82Updated 7 years ago
• SVL-PSU / crete-dev
  CRETE under development
  ☆60Updated 5 years ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆95Updated 7 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆61Updated 5 years ago
• angr / binaries
  A repository with binaries for angr tests and examples.
  ☆63Updated last week
• brainsmoke / minemu
  Minemu is a minimal emulator for dynamic taint analysis ( this is a mirror of https://minemu.org/code/minemu.git )
  ☆42Updated 5 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• Dynamic-Rabbits / Dynamic-Rabbits
  ☆21Updated 3 years ago
• osirislab / imm-taint-trace
  Immunity Debugger Taint Tracer
  ☆20Updated 12 years ago
• d-millar / ghidra_pcode_scripts
  a few Ghidra scripts for dumping PCode data
  ☆50Updated 6 years ago
• dyninst / tools
  Tools built using Dyninst or Dyninst component libraries.
  ☆25Updated 2 years ago
• uxmal / nucleus
  Clone of "Compiler-Agnostic Function Detection in Binaries" source code
  ☆86Updated 4 years ago
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆49Updated 2 months ago
• melynx / taintinduce
  TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.
  ☆60Updated 4 years ago
• Epeius / FFuzz
  ☆16Updated 7 years ago
• vlad902 / kernel-uninitialized-memory-checker
  A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.
  ☆58Updated 7 years ago
• dvorak42 / confuzzer
  Concolic Execution Fuzzer
  ☆24Updated 4 years ago
• vanhauser-thc / afl-dynamorio
  run AFL with dynamorio
  ☆37Updated 5 years ago
• dariosharp / SZpy
  Z3 Symbolic Execution python
  ☆28Updated 8 years ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆38Updated 8 years ago
• MarkusTeufelberger / afl-ddmin-mod
  Test case minimizer for afl-fuzz
  ☆26Updated 8 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆37Updated 4 years ago