Alternatives and similar repositories for s2e-old:

Users that are interested in s2e-old are comparing it to the libraries listed below

• bitblaze-fuzzball / fuzzball
  FuzzBALL: Vine-based Binary Symbolic Execution
  ☆214Updated last year
• feliam / pysymemu
  An amd64 symbolic emulator
  ☆313Updated 3 years ago
• nccgroup / TriforceLinuxSyscallFuzzer
  A linux system call fuzzer using TriforceAFL
  ☆174Updated 10 months ago
• lifting-bits / grr
  High-throughput fuzzer and emulator of DECREE binaries
  ☆243Updated 5 years ago
• ahmedbougacha / dagger
  Binary Translator to LLVM IR
  ☆217Updated last year
• wmkhoo / taintgrind
  A taint-tracking plugin for the Valgrind memory checking tool
  ☆254Updated last year
• blankwall / Python_Pin
  ☆159Updated 9 years ago
• nezha-dt / nezha
  Differential fuzzing for the masses!
  ☆150Updated 7 years ago
• s3team / uroboros
  Infrastructure for Reassembleable Disassembling and Transformation
  ☆197Updated this week
• mboehme / aflfast
  AFLFast (extends AFL with Power Schedules)
  ☆412Updated last year
• angr / simuvex
  [DEPRECATED] A symbolic execution engine for the VEX IR
  ☆79Updated 6 years ago
• jkinder / jakstab
  The Jakstab static analysis platform for binaries
  ☆158Updated 5 years ago
• mothran / aflpin
  aflpin enables afl to fuzz blackbox binaries using a pin tool to trace execution branches.
  ☆169Updated 9 years ago
• montyly / gueb
  ☆236Updated 6 years ago
• vusec / vuzzer
  ☆380Updated 5 years ago
• rc0r / afl-utils
  Utilities for automated crash sample processing/analysis, easy afl-fuzz job management and corpus optimization
  ☆415Updated 6 years ago
• utds3lab / pemu
  ☆104Updated 9 years ago
• carolemieux / afl-rb
  FairFuzz: AFL extension targeting rare branches
  ☆243Updated 5 years ago
• utds3lab / multiverse
  A static binary rewriter that does not use heuristics
  ☆301Updated 6 years ago
• bdcht / amoco
  yet another tool for analysing binaries
  ☆471Updated 6 months ago
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆202Updated 7 years ago
• Cr4sh / openreil
  Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)
  ☆498Updated 3 years ago
• xiw / mini-mc
  minimal symbolic model checker & fuzzer
  ☆111Updated 9 years ago
• mlaurenzano / PEBIL
  Fast static binary instrumentation for linux/x86
  ☆82Updated 7 years ago
• bnagy / afl-trivia
  Short, unrelated helper scripts for users of AFL (the fuzzer)
  ☆110Updated 8 years ago
• angr / patcherex
  Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.
  ☆254Updated this week
• nccgroup / TriforceAFL
  AFL/QEMU fuzzing with full-system emulation.
  ☆628Updated 6 years ago
• RUB-SysSec / kAFL
  Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
  ☆576Updated 6 years ago