Alternatives and similar repositories for numbat

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

• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 3 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆33Updated 8 months ago
• static-analysis-engineering / CodeHawk-Binary
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆38Updated this week
• fgsect / JMPscare
  tool for multi-execution jump coverage introspection
  ☆68Updated last year
• jpleasu / ghidraal
  A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.
  ☆61Updated 4 years ago
• posidron / dharma
  Generation-based, context-free grammar fuzzer.
  ☆53Updated 3 years ago
• AFLplusplus / StdFuzzer
  StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL
  ☆48Updated last year
• FuturesLab / Bin2Wrong
  Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers
  ☆59Updated 8 months ago
• HexHive / RetroWrite-Tutorial
  ☆41Updated 5 years ago
• reflare / afl-monitor
  A monitoring script for AFL
  ☆40Updated 8 years ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆51Updated 4 years ago
• bajinsheng / ReZZan
  ☆39Updated 3 years ago
• interruptlabs / semgrep_bn
  Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.
  ☆34Updated 11 months ago
• OctavioGalland / afllive
  ☆22Updated 11 months ago
• xorpse / parascope
  weggli ruleset scanner for source code and binaries
  ☆37Updated 2 months ago
• nyx-fuzz / libnyx
  ☆91Updated 10 months ago
• riverloopsec / hashashin
  Hashashin: A Fuzzy Matching Tool for Binary Ninja
  ☆95Updated 2 years ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 4 years ago
• cromulencellc / shoggoth-extras
  Collection of images and examples to use with Shoggoth.
  ☆19Updated 5 years ago
• DonggeLiu / Legion
  A coverage-based software testing tool
  ☆34Updated 5 years ago
• angr / archr
  Target-centric program analysis.
  ☆76Updated 2 weeks ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 6 years ago
• quarkslab / qbindiff
  Quarkslab Bindiffer but not only !
  ☆214Updated 8 months ago
• Cybergenik / hopper
  Coverage-Guided Greybox Distributed Fuzzer
  ☆132Updated last week
• 0xchase / modality
  Symbolic execution in radare2 with angr
  ☆39Updated 4 years ago
• trailofbits / magnifier
  ☆59Updated 3 years ago
• SimaArasteh / binpool
  ☆68Updated 6 months ago
• revng / crispr
  The CRISPR static binary patcher
  ☆37Updated 5 years ago
• trailofbits / binary_type_inference
  ☆21Updated last year
• airbus-cert / scrings
  Semantic strings based on tree-sitter
  ☆17Updated 11 months ago