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 4 years ago
• IntelLabs / kafl.fuzzer
  kAFL Fuzzer
  ☆34Updated 6 months ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• AFLplusplus / qemu-libafl-bridge
  A patched QEMU that exposes an interface for LibAFL-based fuzzers
  ☆83Updated 2 weeks ago
• DonggeLiu / Legion
  A coverage-based software testing tool
  ☆34Updated 4 years ago
• RickdeJager / TrackmaniaFuzzer
  LibAFL-based snapshot fuzzer to fuzz TMNF's RPC interface. Includes a free RCE exploit!
  ☆41Updated 2 years ago
• joernio / ghidra2cpg
  Code Property Graph (CPG) frontend for binary applications and libraries.
  ☆93Updated 3 years ago
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• eurecom-s3 / predictive-cs-fuzzing
  Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper
  ☆29Updated last year
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆84Updated 2 years ago
• nyx-fuzz / KVM-Nyx
  ☆38Updated last year
• JonathanSalwan / ttexplore
  TTexplore is a library that performs path exploration on binary code using symbolic execution
  ☆80Updated 2 years ago
• vusec / einstein
  Practical Data-Only Attack Generation
  ☆41Updated last year
• pietroborrello / raindrop
  This is the home of the raindrop obfuscator. It transforms program functions into obfuscated ROP chains that coexist seamlessly with the …
  ☆62Updated 4 years ago
• SoftwareSecurityLab / Heap-Overflow-Detection
  A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
  ☆22Updated 2 years ago
• IntelLabs / kafl.targets
  Target components for kAFL/Nyx Fuzzer
  ☆33Updated 2 months ago
• valour01 / ecmo
  Peripheral Transplantation to Rehost Embedded Linux kernels
  ☆16Updated 3 years ago
• chop-project / chop
  Binary exploitation by confusing the unwinder
  ☆64Updated 2 years ago
• nyx-fuzz / spec-fuzzer
  ☆43Updated 3 years ago
• yrp604 / bdump
  ☆48Updated 3 years ago
• binsec / xyntia
  Xyntia, the black-box deobfuscator
  ☆75Updated 3 months ago
• SimaArasteh / binpool
  ☆53Updated 2 months ago
• quarkslab / whvp
  PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components
  ☆68Updated 4 years ago
• nyx-fuzz / QEMU-Nyx
  ☆90Updated 3 months 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.
  ☆33Updated 7 months ago
• RUB-SysSec / gadget_synthesis
  Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains
  ☆57Updated 3 years ago
• softsec-unh / MBA-Solver
  ☆44Updated 4 years ago
• season-lab / ropdissector
  A framework for static analysis of ROP exploits and programs
  ☆41Updated 6 years ago
• pagabuc / kallsyms-extractor
  Tool to extract the kallsyms (System.map) from a memory dump
  ☆28Updated 2 years ago
• tin-z / GDBleed
  Dynamic-Static binary instrumentation framework on top of GDB
  ☆50Updated 2 years ago