Alternatives and similar repositories for jakstab

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

• bitblaze-fuzzball / fuzzball
  FuzzBALL: Vine-based Binary Symbolic Execution
  ☆214Updated 2 months ago
• angr / tracer
  Utilities for generating dynamic traces
  ☆93Updated 6 months ago
• SoftSec-KAIST / MeanDiff
  Testing Intermediate Representations for Binary Analysis (ASE '17)
  ☆81Updated 6 years ago
• S2E / s2e-env
  Your S2E project management tools. Visit https://s2e.systems/docs to get started.
  ☆95Updated 2 weeks ago
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆201Updated 8 years ago
• angr / heaphopper
  HeapHopper is a bounded model checking framework for Heap-implementations
  ☆219Updated 3 months ago
• s3team / uroboros
  Infrastructure for Reassembleable Disassembling and Transformation
  ☆206Updated 3 weeks ago
• angr / vex
  A patched version of VEX to work with PyVEX.
  ☆112Updated 3 weeks ago
• moflow / moflow
  ☆124Updated 4 years ago
• s3team / loop
  Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code
  ☆51Updated 9 years ago
• Cisco-Talos / covnavi
  ☆63Updated 6 years ago
• SVL-PSU / crete-dev
  CRETE under development
  ☆59Updated 5 years ago
• HexHive / BOPC
  Block Oriented Programming -- Compiler
  ☆185Updated 4 years ago
• tum-i4 / macke
  Modular And Compositional analysis with KLEE Engine
  ☆116Updated 5 years ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆63Updated 8 years ago
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆63Updated 3 years ago
• vusec / vuzzer64
  This implements a 64-bit version of vusec/vuzzer fuzzing tool.
  ☆177Updated 3 years ago
• wmkhoo / taintgrind
  A taint-tracking plugin for the Valgrind memory checking tool
  ☆262Updated 4 months ago
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆75Updated 4 years ago
• melynx / DOP-StaticAssist
  Public release of the tools used to assist in gadget finding.
  ☆42Updated 7 years ago
• vusec / typearmor
  Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks
  ☆48Updated 8 years ago
• securesystemslab / multicompiler
  LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
  ☆139Updated 7 years ago
• BinaryAnalysisPlatform / bap-plugins
  BAP Plugins Repository
  ☆57Updated 4 years ago
• angr / angr-dev
  Some helper scripts to set up an environment for angr development.
  ☆120Updated 2 months ago
• vusec / dangsan
  ☆65Updated 4 years ago
• ercoppa / symbolic-execution-tutorial
  Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
  ☆135Updated 4 years ago
• SQLab / symgdb
  SymGDB - symbolic execution plugin for gdb
  ☆217Updated 7 years ago
• melynx / taintinduce
  TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.
  ☆59Updated 4 years ago
• angr / simuvex
  [DEPRECATED] A symbolic execution engine for the VEX IR
  ☆80Updated 7 years ago
• HexHive / HexType
  HexType: Efficient Detection of Type Confusion Errors for C++
  ☆103Updated last year