s3team / uroboros

Related projects: ⓘ

• montyly / gueb
  ☆237Updated 6 years ago
• bitblaze-fuzzball / fuzzball
  FuzzBALL: Vine-based Binary Symbolic Execution
  ☆215Updated 8 months ago
• mothran / aflpin
  aflpin enables afl to fuzz blackbox binaries using a pin tool to trace execution branches.
  ☆169Updated 9 years ago
• nezha-dt / nezha
  Differential fuzzing for the masses!
  ☆149Updated 7 years ago
• HexHive / T-Fuzz
  ☆248Updated 4 years ago
• jkinder / jakstab
  The Jakstab static analysis platform for binaries
  ☆155Updated 4 years ago
• lifting-bits / grr
  High-throughput fuzzer and emulator of DECREE binaries
  ☆242Updated 5 years ago
• S2E / s2e-old
  This is the archived S2E 1.0 repo. We do not maintain it anymore.
  ☆314Updated 4 years ago
• nccgroup / TriforceLinuxSyscallFuzzer
  A linux system call fuzzer using TriforceAFL
  ☆169Updated 6 months ago
• angr / patcherex
  Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.
  ☆248Updated 2 months ago
• feliam / pysymemu
  An amd64 symbolic emulator
  ☆308Updated 3 years ago
• moflow / moflow
  ☆121Updated 3 years ago
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆199Updated 6 years ago
• wmkhoo / taintgrind
  A taint-tracking plugin for the Valgrind memory checking tool
  ☆247Updated 10 months ago
• talos-vulndev / afl-dyninst
  American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries
  ☆186Updated 3 years ago
• angr / vex
  A patched version of VEX to work with PyVEX.
  ☆104Updated last week
• bnagy / afl-trivia
  Short, unrelated helper scripts for users of AFL (the fuzzer)
  ☆110Updated 8 years ago
• BinaryAnalysisPlatform / bap-plugins
  BAP Plugins Repository
  ☆57Updated 3 years ago
• angr / simuvex
  [DEPRECATED] A symbolic execution engine for the VEX IR
  ☆79Updated 5 years ago
• pzread / unstrip
  ELF Unstrip Tool
  ☆107Updated 9 years ago
• carolemieux / afl-rb
  FairFuzz: AFL extension targeting rare branches
  ☆241Updated 5 years ago
• utds3lab / multiverse
  A static binary rewriter that does not use heuristics
  ☆298Updated 6 years ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆64Updated 6 years ago
• moyix / panda
  Deprecated repo for PANDA 1.0 – see PANDA 2.0 repository
  ☆103Updated 7 years ago
• jeffball55 / rop_compiler
  An open source, multi-architecture ROP compiler written in python
  ☆160Updated 7 years ago
• RUB-SysSec / grimoire
  ☆126Updated 4 years ago
• angr / angr-dev
  Some helper scripts to set up an environment for angr development.
  ☆114Updated this week
• REMath / implementations
  Implementations of program analysis tools with a focus on machine code
  ☆207Updated 9 years ago
• HexHive / BOPC
  Block Oriented Programming -- Compiler
  ☆180Updated 3 years ago
• trailofbits / binjascripts
  Scripts for Binary Ninja
  ☆250Updated last year