Alternatives and similar repositories for octopus

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

• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆46Updated 9 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 8 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆35Updated 4 years ago
• trailofbits / bisc
  Borrowed Instructions Synthetic Computation
  ☆70Updated 10 years ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆26Updated 4 years ago
• nccgroup / TriforceOpenBSDFuzzer
  System call fuzzing of OpenBSD amd64 using TriforceAFL (i.e. AFL and QEMU)
  ☆46Updated 8 years ago
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆29Updated last month
• ouspg / libfuzzerfication
  libfuzzerfication - fuzzing for the rest of us!
  ☆61Updated 9 years ago
• klee / klee-web
  KLEE in the browser
  ☆53Updated last week
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆46Updated 7 years ago
• mechaphish / multiafl
  AFL, modified to support multi-CB challenge sets for CGC.
  ☆19Updated 9 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆37Updated 5 years ago
• DynamoRIO / drk
  Dynamic instrumentation of the Linux kernel
  ☆41Updated 10 years ago
• SkyLined / mBugId
  Python module to detect, analyze and id application bugs
  ☆21Updated 7 months ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆78Updated 8 years ago
• Granary / granary2
  Dynamic binary translation framework for instrumenting x86-64 user space Linux programs
  ☆38Updated 7 years ago
• pzread / symx
  Lightweight Symbolic Execution Engine
  ☆23Updated 10 years ago
• trailofbits / screen
  Measure branching along code paths
  ☆19Updated 9 years ago
• mrmacete / r2scripts
  Collection of scripts for radare2
  ☆27Updated 7 years ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆38Updated 8 years ago
• kcc / fuzzing-with-sanitizers
  Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.
  ☆29Updated 10 years ago
• aoh / blab
  a grammar-based data generator
  ☆60Updated 7 years ago
• angr / angr-z3
  The Z3 Theorem Prover - repository for staging python distributions
  ☆53Updated 6 years ago
• angr / fidget
  A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!
  ☆46Updated 3 years ago
• hotelzululima / insight
  A(nother) Binary Analysis Framework
  ☆30Updated 11 years ago
• MarkusTeufelberger / afl-ddmin-mod
  Test case minimizer for afl-fuzz
  ☆26Updated 8 years ago
• pleed / pyqemu
  Dynamic binary instrumentation based crypto detection framework. Implementation of http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumbe…
  ☆18Updated 12 years ago
• mechaphish / pov_fuzzing
  Our backup exploitation technique: fuzzing for POVs!
  ☆24Updated 9 years ago
• ANSSI-FR / picon
  Picon
  ☆39Updated 8 years ago
• CIFASIS / OS-fuzzing
  Using Machine Learning to predict the outcome of a zzuf fuzzing campaign
  ☆23Updated 10 years ago