Alternatives and similar repositories for manticore-examples

Users that are interested in manticore-examples are comparing it to the libraries listed below

• trailofbits / umberto
  poststructural fuzzing
  ☆31Updated 5 years ago
• teamnsrg / erays
  Ethereum smart contract reverse engineering
  ☆104Updated 7 years ago
• lunixbochs / mpwn
  single file ctf/exploit client library - python3, type annotated
  ☆70Updated 2 years ago
• trailofbits / ManticoreUI
  The Manticore User Interface with plugins for Binary Ninja and Ghidra
  ☆75Updated last year
• trailofbits / bisc
  Borrowed Instructions Synthetic Computation
  ☆70Updated 10 years ago
• kudelskisecurity / cryptochallenge18
  Kudelski Security's 2018 pre-Black Hat crypto challenge
  ☆36Updated 7 years ago
• adelapie / ghidra-evm
  The Ghidra EVM Module (ghidra-evm) leverages Ghidra 9.1.2 to disassemble and analyze compiled Ethereum smart contracts. Ghidra-evm was pr…
  ☆146Updated 4 years ago
• crytic / ida-evm
  IDA Processor Module for the Ethereum Virtual Machine (EVM)
  ☆317Updated 2 years ago
• dyjakan / interpreter-bugs
  Fuzzing results for various interpreters.
  ☆82Updated 7 years ago
• muellerberndt / solfuzz
  Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.
  ☆32Updated 3 years ago
• CIFASIS / nosy-newt
  Nosy Newt is a simple concolic execution tool for exploring the input space of a binary executable program based in Triton
  ☆62Updated 8 years ago
• MozillaSecurity / avalanche
  Avalanche is a document generator which uses context-free grammars to generate randomized outputs for fuzz-testing.
  ☆33Updated 4 years ago
• nguyenduc1222 / AndroidKernelExploitationPlayground
  ☆12Updated 9 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆46Updated 7 years ago
• legitbs / quals-2014
  quals-2014
  ☆21Updated 11 years ago
• crytic / rattle
  evm binary static analysis
  ☆366Updated 2 years ago
• fgsect / fexm
  Automated fuzzing framework
  ☆120Updated 2 years ago
• mimoo / SSL-TLS-ECDSA-timing-attack
  Timing Attack on TLS' ECDSA signature
  ☆46Updated 10 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆46Updated 9 years ago
• LogicalTrust / minerva_lib
  polish fuzzy lop - fuzzer for libraries/APIs/*
  ☆31Updated 5 months ago
• spiperac / armroper
  ARM rop chain gadget searcher
  ☆38Updated 8 years ago
• SecurityInnovation / Smart-Contract-CTF
  A Blockchain And Smart Contract Based CTF
  ☆17Updated 2 years ago
• sangkilc / ocaml-exploit
  A collection of useful functions to write an exploit in OCaml
  ☆17Updated 11 years ago
• legitbs / quals-2015
  ☆24Updated 10 years ago
• c01db33f / concolica
  Python concolic execution framework for program analysis
  ☆68Updated 11 years ago
• payatu / CVE-2015-6086
  PoC for CVE-2015-6086
  ☆67Updated 9 years ago
• feliam / klee-taint
  KLEE-TAINT - Klee with taint analysis support
  ☆71Updated 8 years ago
• jaybosamiya / fuzzing-numpy
  Experiments in trying to find 0-days in numpy
  ☆38Updated 8 years ago
• arizvisa / afl-cygwin
  AFL "mostly" ported to cygwin
  ☆26Updated 9 years ago
• mechaphish / pov_fuzzing
  Our backup exploitation technique: fuzzing for POVs!
  ☆24Updated 9 years ago