Alternatives and similar repositories for jakstab:

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

• angr / vex
  A patched version of VEX to work with PyVEX.
  ☆107Updated 2 months ago
• angr / heaphopper
  HeapHopper is a bounded model checking framework for Heap-implementations
  ☆216Updated 7 months ago
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆200Updated 7 years ago
• SQLab / symgdb
  SymGDB - symbolic execution plugin for gdb
  ☆216Updated 6 years ago
• angr / tracer
  Utilities for generating dynamic traces
  ☆91Updated last month
• BinaryAnalysisPlatform / bap-plugins
  BAP Plugins Repository
  ☆57Updated 4 years ago
• vusec / vuzzer64
  This implements a 64-bit version of vusec/vuzzer fuzzing tool.
  ☆177Updated 3 years ago
• angr / angr-dev
  Some helper scripts to set up an environment for angr development.
  ☆117Updated 2 weeks ago
• Cisco-Talos / covnavi
  ☆63Updated 6 years ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆64Updated 7 years ago
• bitblaze-fuzzball / fuzzball
  FuzzBALL: Vine-based Binary Symbolic Execution
  ☆216Updated last year
• mothran / aflpin
  aflpin enables afl to fuzz blackbox binaries using a pin tool to trace execution branches.
  ☆171Updated 10 years ago
• SoftSec-KAIST / MeanDiff
  Testing Intermediate Representations for Binary Analysis (ASE '17)
  ☆81Updated 6 years ago
• AFLplusplus / LibAFL-legacy
  AFL++ as a library: gives you all the tools necessary to craft the best fuzzer for your targets with ease!
  ☆112Updated 4 years ago
• securesystemslab / multicompiler
  LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
  ☆133Updated 6 years ago
• angr / simuvex
  [DEPRECATED] A symbolic execution engine for the VEX IR
  ☆79Updated 6 years ago
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆61Updated 2 years ago
• S2E / s2e-env
  Your S2E project management tools. Visit https://s2e.systems/docs to get started.
  ☆95Updated 4 months ago
• vusec / typearmor
  Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks
  ☆46Updated 8 years ago
• SVL-PSU / crete-dev
  CRETE under development
  ☆59Updated 4 years ago
• axt / bingraphvis
  ☆43Updated 3 years ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆92Updated 7 years ago
• HexHive / T-Fuzz
  ☆248Updated 5 years ago
• angr / phuzzer
  The new phuzzing framework!
  ☆157Updated 10 months ago
• MartijnB / disfuzz-afl
  Distributed Fuzzing for afl
  ☆71Updated 9 years ago
• FoRTE-Research / UnTracer-AFL
  An AFL implementation with UnTracer (our coverage-guided tracer)
  ☆123Updated 2 years ago
• S2E / s2e-old
  This is the archived S2E 1.0 repo. We do not maintain it anymore.
  ☆314Updated 4 years ago
• talos-vulndev / afl-dyninst
  American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries
  ☆187Updated 3 years ago
• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆75Updated 2 years ago
• RUB-SysSec / antifuzz
  AntiFuzz: Impeding Fuzzing Audits of Binary Executables
  ☆102Updated 4 years ago