Alternatives and similar repositories for symnav

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

• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆127Updated 2 weeks ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆51Updated 4 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆84Updated 2 years ago
• RickdeJager / TrackmaniaFuzzer
  LibAFL-based snapshot fuzzer to fuzz TMNF's RPC interface. Includes a free RCE exploit!
  ☆41Updated 2 years ago
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• GrammaTech / retypd
  ☆72Updated last year
• IntelLabs / kafl.fuzzer
  kAFL Fuzzer
  ☆34Updated 5 months ago
• season-lab / memsight
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆23Updated 9 months ago
• joernio / ghidra2cpg
  Code Property Graph (CPG) frontend for binary applications and libraries.
  ☆91Updated 3 years ago
• JonathanSalwan / ttexplore
  TTexplore is a library that performs path exploration on binary code using symbolic execution
  ☆80Updated 2 years ago
• binsec / xyntia
  Xyntia, the black-box deobfuscator
  ☆74Updated 2 months ago
• HexHive / RetroWrite-Tutorial
  ☆38Updated 5 years ago
• nyx-fuzz / KVM-Nyx
  ☆38Updated last year
• thezdi / binaryninja
  binary ninja related code
  ☆36Updated 5 months ago
• AFLplusplus / qemu-libafl-bridge
  A patched QEMU that exposes an interface for LibAFL-based fuzzers
  ☆81Updated 3 weeks 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…
  ☆25Updated 5 years ago
• softsec-unh / MBA-Solver
  ☆43Updated 4 years ago
• yrp604 / bdump
  ☆47Updated 2 years ago
• eurecom-s3 / predictive-cs-fuzzing
  Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper
  ☆29Updated last year
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆122Updated last year
• eqv / aflq_fast_cov
  A fast binary coverage measurement tool based on AFL's Qemu mode
  ☆33Updated 4 years ago
• DonggeLiu / Legion
  A coverage-based software testing tool
  ☆34Updated 4 years ago
• RUB-SysSec / gadget_synthesis
  Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains
  ☆56Updated 3 years ago
• fgsect / JMPscare
  tool for multi-execution jump coverage introspection
  ☆66Updated 7 months ago
• quarkslab / whvp
  PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components
  ☆68Updated 4 years ago
• tin-z / GDBleed
  Dynamic-Static binary instrumentation framework on top of GDB
  ☆50Updated 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
• bajinsheng / ReZZan
  ☆39Updated 2 years ago
• valour01 / ecmo
  Peripheral Transplantation to Rehost Embedded Linux kernels
  ☆16Updated 3 years ago