Alternatives and similar repositories for symnav:

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

• softsec-unh / MBA-Solver
  ☆40Updated 4 years ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆49Updated 4 years ago
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• vandaltool / vandalir
  ☆24Updated 2 years ago
• binsec / xyntia
  Xyntia, the black-box deobfuscator
  ☆67Updated this week
• DonggeLiu / Legion
  A coverage-based software testing tool
  ☆34Updated 4 years ago
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆17Updated last year
• IntelLabs / kafl.fuzzer
  kAFL Fuzzer
  ☆33Updated last month
• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆116Updated 4 months ago
• TheRomanXpl0it / ghidra-emu-fun
  Ghidra Emulates Functions
  ☆54Updated 4 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆83Updated 2 years ago
• quarkslab / python-binexport
  Python interface for Binexport, the Bindiff export format
  ☆16Updated last week
• LL-MM / approxis-groundtruth
  ☆31Updated 4 years ago
• RickdeJager / TrackmaniaFuzzer
  LibAFL-based snapshot fuzzer to fuzz TMNF's RPC interface. Includes a free RCE exploit!
  ☆41Updated 2 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.
  ☆31Updated 2 months ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• pagabuc / kallsyms-extractor
  Tool to extract the kallsyms (System.map) from a memory dump
  ☆26Updated last year
• OctavioGalland / afllive
  ☆15Updated 2 months ago
• yrp604 / bdump
  ☆47Updated 2 years ago
• heyitsanthony / vexllvm
  Decode machine code into VEX IR and translate into LLVM IR
  ☆27Updated 5 years ago
• s3team / gdop
  A Generalized Dynamic Opaque Predicate Obfuscator
  ☆45Updated 8 years ago
• Dynamic-Rabbits / Taint-Evaluator
  A suite of experiments for evaluating open-source binary taint trackers.
  ☆32Updated 3 years ago
• RUB-SysSec / gadget_synthesis
  Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains
  ☆54Updated 3 years ago
• HexHive / RetroWrite-Tutorial
  ☆38Updated 4 years ago
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43Updated last year
• nyx-fuzz / KVM-Nyx
  ☆36Updated last year
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 4 years ago
• thezdi / binaryninja
  binary ninja related code
  ☆35Updated last month
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆31Updated 7 years ago
• GrammaTech / retypd
  ☆70Updated last year