guidovranken / eth2.0-fuzzing

Related projects ⓘ

Alternatives and complementary repositories for eth2.0-fuzzing

• ethereum / solidity-fuzzing-corpus
  ☆17Updated 8 months ago
• muellerberndt / solfuzz
  Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.
  ☆30Updated last year
• pventuzelo / reversing_ewasm_contract_101
  Reversing Ewasm (Ethereum WebAssembly) contract 101 - Workshop
  ☆18Updated 4 years ago
• crytic / cloudexec
  A general purpose foundation for cloud-based fuzzing and mutation testing jobs
  ☆18Updated 3 months ago
• ChainSecurity / ChainFuzz
  A fast ethereum transaction fuzzer
  ☆25Updated 5 years ago
• MrLuit / selfdestruct-detect
  Detect SELFDESTRUCT opcodes in EVM runtime bytecode
  ☆22Updated last year
• romangol / cryptoMisuse
  Misuse cases of Cryptography in real world software products
  ☆11Updated 6 years ago
• JoranHonig / tree-sitter-cairo
  A tree-sitter-grammar for cairo 1.0
  ☆16Updated last year
• iczc / rwctf-5th-realwrap
  RealWorld CTF 5th realwrap challenge
  ☆18Updated last year
• karmacoma-eth / foundry-playground
  one off scripts and contracts
  ☆18Updated last year
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆15Updated 2 years ago
• nedasma / solidity-vuln-tests
  A repository for Solidity smart contracts acting as security bug tests for static analysis tools.
  ☆32Updated 3 years ago
• Zellic / weth
  Formal verification of WETH9.sol with Z3
  ☆55Updated 2 years ago
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆92Updated 2 years ago
• protolambda / dv5das
  Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay
  ☆34Updated 2 years ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆43Updated 2 weeks ago
• ethereum / evmcodegen
  A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine
  ☆25Updated 6 years ago
• crytic / amarna-action
  Github action for the Amarna static analyzer
  ☆9Updated 2 years ago
• Pr0pertyGPT / PropertyGPT
  ☆12Updated 4 months ago
• infosecual / nosy
  An automated fuzz harness generator for Go projects
  ☆14Updated last month
• tagomaru / truffle-sca2t
  Smart contract auditing assistant tool for Truffle Framework.
  ☆18Updated last year
• ethpwn / ethpwn
  ethpwn - the Swiss Army Knife for Smart Contract Hacking
  ☆45Updated 2 weeks ago
• iczc / rwctf-3rd-billboard
  RealWorld CTF 3rd billboard challenge & writeup
  ☆27Updated last year
• ZenGo-X / tss-bugs
  supplement material for BlackHat2020 talk: Multiple Bugs in Multi-Party Computation: Breaking Cryptocurrency's Strongest Wallets
  ☆12Updated 4 years ago
• tintinweb / evm-shell
  An interactive EVM repl/shell.
  ☆32Updated 3 years ago
• Practical-Formal-Methods / bran
  Static analysis framework for EVM bytecode
  ☆28Updated 4 years ago
• crytic / optik
  Optik is a set of symbolic execution tools that assist smart-contract fuzzers
  ☆89Updated 2 months ago
• cryptolu / LegendrePRF
  Cryptanalysis of the Legendre PRF Challenges
  ☆11Updated 4 years ago
• smartbugs / smartbugs-dashboard
  DEPRECATED: Web-based User Interface for SmartBugs
  ☆11Updated 2 years ago
• WilfredTA / symbolic-stack-machines
  Library for building symbolically executable stack-based virtual machines
  ☆72Updated 2 years ago