Alternatives and similar repositories for numbat:

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

• angr / ailment
  AIL: The angr Intermediate Language.
  ☆31Updated this week
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• AFLplusplus / StdFuzzer
  StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL
  ☆48Updated 3 weeks ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆49Updated 3 years ago
• reflare / afl-monitor
  A monitoring script for AFL
  ☆39Updated 7 years ago
• HexHive / RetroWrite-Tutorial
  ☆38Updated 4 years ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• rezer0dai / bananafzz
  Banana Fuzzer ~ modulable, loop based, poc gen, code cov, platform agnostic, race oriented
  ☆59Updated 2 years ago
• static-analysis-engineering / CodeHawk-Binary
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆26Updated last month
• bajinsheng / ReZZan
  ☆35Updated 2 years ago
• ernw / binja-ipython
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆29Updated 6 years ago
• eqv / aflq_fast_cov
  A fast binary coverage measurement tool based on AFL's Qemu mode
  ☆33Updated 3 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 3 years ago
• osirislab / vasilisk
  vasilisk
  ☆19Updated 5 years ago
• mechanicalnull / fuzzwatch
  Python GUI for seeing what's happening inside a fuzzer
  ☆26Updated 3 years ago
• kc0bfv / pcode-emulator
  A PCode Emulator for Ghidra.
  ☆107Updated 3 years ago
• LL-MM / approxis-groundtruth
  ☆30Updated 4 years ago
• bordig-f / angr-strategies
  A cheat sheet that summarises "strategies" (or techniques) to use with angr.
  ☆29Updated 3 years ago
• CySHell / Binja4J
  ☆15Updated 5 years ago
• andreafioraldi / ConstrainedMemorySanitizer
  ☆13Updated 3 years ago
• melynx / taintinduce
  TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.
  ☆58Updated 3 years ago
• 0xricksanchez / AFL_Runner
  Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more
  ☆54Updated last month
• user1342 / AutoCorpus
  AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.
  ☆52Updated 8 months ago
• 0xchase / modality
  Symbolic execution in radare2 with angr
  ☆39Updated 3 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• DonggeLiu / Legion
  A coverage-based software testing tool
  ☆32Updated 4 years ago
• vandaltool / vandalir
  ☆23Updated 2 years ago
• yrp604 / bdump
  ☆47Updated 2 years ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆43Updated 6 months ago