Alternatives and similar repositories for octopus

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

• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆35Updated 4 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 8 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆46Updated 9 years ago
• klee / klee-web
  KLEE in the browser
  ☆52Updated last month
• trailofbits / bisc
  Borrowed Instructions Synthetic Computation
  ☆70Updated 10 years ago
• Granary / granary2
  Dynamic binary translation framework for instrumenting x86-64 user space Linux programs
  ☆38Updated 7 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆46Updated 7 years ago
• nccgroup / TriforceOpenBSDFuzzer
  System call fuzzing of OpenBSD amd64 using TriforceAFL (i.e. AFL and QEMU)
  ☆46Updated 7 years ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆26Updated 4 years ago
• stribika / afl-fuzz
  Mirror of afl-fuzz, a fuzzer with compiler instrumentation. The original source is only distributed over HTTP. SHA256 checksums verified …
  ☆23Updated 10 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆37Updated 5 years ago
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆29Updated last month
• CTSRD-SOAAP / soaap
  Security-Oriented Analysis of Application Programs
  ☆13Updated 6 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆46Updated 9 years ago
• kcc / fuzzing-with-sanitizers
  Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.
  ☆29Updated 10 years ago
• hotelzululima / insight
  A(nother) Binary Analysis Framework
  ☆30Updated 11 years ago
• jurajsomorovsky / EccPlayground
  Simple application for playing with elliptic curves
  ☆44Updated 2 years ago
• DynamoRIO / drk
  Dynamic instrumentation of the Linux kernel
  ☆41Updated 10 years ago
• aoh / blab
  a grammar-based data generator
  ☆60Updated 6 years ago
• BinSigma / BinComp
  Compiler Fingerprinting
  ☆14Updated 10 years ago
• ouspg / libfuzzerfication
  libfuzzerfication - fuzzing for the rest of us!
  ☆61Updated 8 years ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆23Updated 9 years ago
• angr / angr-z3
  The Z3 Theorem Prover - repository for staging python distributions
  ☆53Updated 6 years ago
• jrmuizel / rr-dataflow
  An 'origin' command that continue to the origin of a piece of data in rr
  ☆46Updated 7 years ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 9 years ago
• falsecurity / cache-leak-detector
  Instruction cache leakage detection tool for modular exponentation software.
  ☆15Updated 8 years ago
• ANSSI-FR / picon
  Picon
  ☆39Updated 8 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆78Updated 7 years ago
• fedora-static-analysis / firehose
  Interchange format for results for static analysis tools
  ☆63Updated last year
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago