Alternatives and similar repositories for symnav

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

• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆51Updated 5 years ago
• RickdeJager / TrackmaniaFuzzer
  LibAFL-based snapshot fuzzer to fuzz TMNF's RPC interface. Includes a free RCE exploit!
  ☆42Updated 3 years ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 4 years ago
• IntelLabs / kafl.fuzzer
  kAFL Fuzzer
  ☆34Updated 10 months ago
• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆135Updated last month
• nyx-fuzz / nyx-lite
  a friendly implementation of nyx ontop of firecracker instead of QEMU. Easier to use & cleaner code
  ☆25Updated 2 weeks ago
• DonggeLiu / Legion
  A coverage-based software testing tool
  ☆34Updated 5 years ago
• IntelLabs / kafl.targets
  Target components for kAFL/Nyx Fuzzer
  ☆34Updated 6 months ago
• tin-z / GDBleed
  Dynamic-Static binary instrumentation framework on top of GDB
  ☆50Updated 2 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆84Updated 2 years ago
• binsec / xyntia
  Xyntia, the black-box deobfuscator
  ☆87Updated last month
• joernio / ghidra2cpg
  Code Property Graph (CPG) frontend for binary applications and libraries.
  ☆95Updated 4 years ago
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 3 years ago
• SoftSec-KAIST / NTFuzz
  NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)
  ☆109Updated 4 years ago
• AFLplusplus / qemu-libafl-bridge
  A patched QEMU that exposes an interface for LibAFL-based fuzzers
  ☆91Updated 3 weeks ago
• HexHive / RetroWrite-Tutorial
  ☆41Updated 5 years ago
• vandaltool / vandalir
  ☆26Updated 3 years ago
• pagabuc / kallsyms-extractor
  Tool to extract the kallsyms (System.map) from a memory dump
  ☆29Updated 2 years ago
• nyx-fuzz / spec-fuzzer
  ☆45Updated 3 years ago
• nyx-fuzz / KVM-Nyx
  ☆38Updated last year
• eurecom-s3 / predictive-cs-fuzzing
  Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper
  ☆30Updated last year
• 0xricksanchez / AFL_Runner
  Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more
  ☆73Updated 8 months ago
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆18Updated 2 years ago
• software-engineering-and-security / inspector-gadget
  Inspector-gadget (a.k.a. PSHAPE - Practical Support for Half-Automated Program Exploitation) is an open source tool which assists analyst…
  ☆27Updated 6 years ago
• JonathanSalwan / ttexplore
  TTexplore is a library that performs path exploration on binary code using symbolic execution
  ☆81Updated 3 years ago
• h0mbre / Fuzzing
  Repo for fuzzing projects
  ☆46Updated 5 years ago
• ret2jazzy / ELFPatch
  A library for patching ELFs
  ☆62Updated 5 years ago
• OctavioGalland / afllive
  ☆22Updated 11 months ago
• RUB-SysSec / gadget_synthesis
  Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains
  ☆59Updated 4 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 last year