Alternatives and similar repositories for panda:

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

• angr / angr-dev
  Some helper scripts to set up an environment for angr development.
  ☆117Updated 2 weeks ago
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆201Updated 7 years ago
• talos-vulndev / afl-dyninst
  American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries
  ☆187Updated 3 years ago
• bitblaze-fuzzball / fuzzball
  FuzzBALL: Vine-based Binary Symbolic Execution
  ☆215Updated last year
• montyly / gueb
  ☆236Updated 6 years ago
• jkinder / jakstab
  The Jakstab static analysis platform for binaries
  ☆158Updated 5 years ago
• vusec / vuzzer
  ☆380Updated 5 years ago
• nccgroup / TriforceLinuxSyscallFuzzer
  A linux system call fuzzer using TriforceAFL
  ☆175Updated last year
• SQLab / symgdb
  SymGDB - symbolic execution plugin for gdb
  ☆216Updated 6 years ago
• avatarone / avatar-python
  Dynamic security analysis of embedded systems’ firmwares
  ☆81Updated 8 years ago
• angr / patcherex
  Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.
  ☆254Updated 3 weeks ago
• googleprojectzero / bochspwn
  A Bochs-based instrumentation project designed to log kernel memory references, to identify "double fetches" and other OS vulnerabilities
  ☆334Updated 5 years ago
• angr / simuvex
  [DEPRECATED] A symbolic execution engine for the VEX IR
  ☆79Updated 6 years ago
• angr / pyvex
  Python bindings for Valgrind's VEX IR.
  ☆350Updated last week
• angr / tracer
  Utilities for generating dynamic traces
  ☆91Updated 3 weeks ago
• floyd-fuh / afl-crash-analyzer
  Another crash analyzer tool for the American Fuzzy Lop (AFL) fuzzer
  ☆120Updated 8 years ago
• axt / angr-utils
  Handy utilities for the angr binary analysis framework, most notably CFG visualization
  ☆285Updated 6 years ago
• mothran / aflpin
  aflpin enables afl to fuzz blackbox binaries using a pin tool to trace execution branches.
  ☆170Updated 10 years ago
• HexHive / T-Fuzz
  ☆249Updated 5 years ago
• angr / phuzzer
  The new phuzzing framework!
  ☆156Updated 10 months ago
• Cisco-Talos / covnavi
  ☆63Updated 6 years ago
• vspandan / IFuzzer
  ☆86Updated 5 years ago
• S2E / docs
  Documentation and Quick Start Guides for the S2E Symbolic Execution Platform
  ☆76Updated 5 years ago
• shellphish / driller-afl
  A version of AFL tailored for Driller's use in analyzing CGC binaries.
  ☆81Updated 8 years ago
• vusec / vuzzer64
  This implements a 64-bit version of vusec/vuzzer fuzzing tool.
  ☆177Updated 3 years ago
• MartijnB / disfuzz-afl
  Distributed Fuzzing for afl
  ☆71Updated 9 years ago
• pzread / unstrip
  ELF Unstrip Tool
  ☆106Updated 9 years ago
• googleprojectzero / DrSancov
  DynamoRIO plugin to get ASAN and SanitizerCoverage compatible output for closed-source executables
  ☆207Updated 3 years ago
• SeanHeelan / HeapLayout
  Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'
  ☆100Updated 5 years ago
• angr / heaphopper
  HeapHopper is a bounded model checking framework for Heap-implementations
  ☆215Updated 6 months ago