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
  ☆215Updated 3 months ago
• feliam / pysymemu
  An amd64 symbolic emulator
  ☆313Updated 4 years ago
• s3team / uroboros
  Infrastructure for Reassembleable Disassembling and Transformation
  ☆207Updated 2 months ago
• wmkhoo / taintgrind
  A taint-tracking plugin for the Valgrind memory checking tool
  ☆263Updated 6 months ago
• nccgroup / TriforceLinuxSyscallFuzzer
  A linux system call fuzzer using TriforceAFL
  ☆176Updated last year
• utds3lab / multiverse
  A static binary rewriter that does not use heuristics
  ☆309Updated 7 years ago
• angr / simuvex
  [DEPRECATED] A symbolic execution engine for the VEX IR
  ☆80Updated 7 years ago
• lifting-bits / grr
  High-throughput fuzzer and emulator of DECREE binaries
  ☆241Updated 6 years ago
• montyly / gueb
  ☆237Updated 7 years ago
• jkinder / jakstab
  The Jakstab static analysis platform for binaries
  ☆161Updated 5 years ago
• mboehme / aflfast
  AFLFast (extends AFL with Power Schedules)
  ☆420Updated 2 years ago
• nezha-dt / nezha
  Differential fuzzing for the masses!
  ☆153Updated 8 years ago
• utds3lab / pemu
  ☆105Updated 10 years ago
• mothran / aflpin
  aflpin enables afl to fuzz blackbox binaries using a pin tool to trace execution branches.
  ☆172Updated 10 years ago
• pakt / ropc
  A Turing complete ROP compiler
  ☆327Updated 12 years ago
• blankwall / Python_Pin
  ☆159Updated 10 years ago
• angr / patcherex
  Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.
  ☆262Updated 3 months ago
• ahmedbougacha / dagger
  Binary Translator to LLVM IR
  ☆225Updated 2 years ago
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆203Updated 8 years ago
• saswatanand / symexbib
  A bibliography of papers related to symbolic execution
  ☆290Updated 9 years ago
• bnagy / afl-trivia
  Short, unrelated helper scripts for users of AFL (the fuzzer)
  ☆112Updated 9 years ago
• huku- / research
  Notes on various topics I'm interested in
  ☆160Updated 2 weeks ago
• trailofbits / clang-cfi-showcase
  Sample programs that illustrate how to use control flow integrity with the clang compiler
  ☆106Updated 6 years ago
• awruef / find-heartbleed
  clang checker to find heartbleed
  ☆86Updated 11 years ago
• xiw / mini-mc
  minimal symbolic model checker & fuzzer
  ☆114Updated 10 years ago
• bdcht / amoco
  yet another tool for analysing binaries
  ☆488Updated 9 months ago
• SQLab / symgdb
  SymGDB - symbolic execution plugin for gdb
  ☆218Updated 7 years ago
• S2E / s2e-env
  Your S2E project management tools. Visit https://s2e.systems/docs to get started.
  ☆95Updated last month
• HexHive / T-Fuzz
  ☆253Updated 5 years ago
• securesystemslab / multicompiler
  LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
  ☆140Updated 7 years ago