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
• crytic / ida-evm
  IDA Processor Module for the Ethereum Virtual Machine (EVM)
  ☆317Updated last year
• 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…
  ☆145Updated 4 years ago
• kudelskisecurity / cryptochallenge18
  Kudelski Security's 2018 pre-Black Hat crypto challenge
  ☆36Updated 7 years ago
• crytic / rattle
  evm binary static analysis
  ☆363Updated 2 years ago
• MozillaSecurity / avalanche
  Avalanche is a document generator which uses context-free grammars to generate randomized outputs for fuzz-testing.
  ☆32Updated 4 years ago
• dyjakan / interpreter-bugs
  Fuzzing results for various interpreters.
  ☆82Updated 7 years ago
• muellerberndt / scrooge-mcetherface
  Scrooge McEtherface is an Ethereum auto-looter that was presented at DEFCON 2019. It uses symbolic execution & SMT solving to generically…
  ☆151Updated 2 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
• fgsect / fexm
  Automated fuzzing framework
  ☆120Updated 2 years ago
• muellerberndt / solfuzz
  Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.
  ☆32Updated 2 years ago
• nccgroup / GOATCasino
  This is an intentionally vulnerable smart contract truffle deployment aimed at allowing those interested in smart contract security to ex…
  ☆119Updated 7 years ago
• legitbs / quals-2015
  ☆24Updated 10 years ago
• legitbs / quals-2014
  quals-2014
  ☆21Updated 11 years ago
• jbcayrou / ethRE
  Reverse Engineering tool for Ethereum EVM
  ☆18Updated 9 years ago
• argotorg / solidity-fuzzing-corpus
  ☆17Updated 9 months ago
• muellerberndt / smashing-smart-contracts
  Writings on symbolic-execution-based security analysis of EVM smart contracts.
  ☆174Updated 6 years ago
• sigp / beacon-fuzz
  Differential Fuzzer for Ethereum 2.0
  ☆174Updated 2 years ago
• legitbs / finals-2014
  finals-2014
  ☆20Updated 9 years ago
• nvonpentz / solidity-exploits
  Complete examples of solidity exploits
  ☆13Updated 8 years ago
• thec00n / etherscan_verified_contracts
  Verified contracts synced from Etherscan
  ☆63Updated 7 years ago
• maurer / symfuzz
  ☆64Updated 10 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆46Updated 7 years ago
• LogicalTrust / minerva_lib
  polish fuzzy lop - fuzzer for libraries/APIs/*
  ☆31Updated 4 months ago
• zardus / paper-templates
  A set of templates for different academic venues.
  ☆29Updated 6 years ago
• spiperac / armroper
  ARM rop chain gadget searcher
  ☆38Updated 8 years ago