sigp / beacon-fuzz
Differential Fuzzer for Ethereum 2.0
☆165Updated last year
Alternatives and similar repositories for beacon-fuzz:
Users that are interested in beacon-fuzz are comparing it to the libraries listed below
- Implementation of a differential fuzzer for Ethereum Virtual Machines☆97Updated last month
- Ethereum Virtual Machine (EVM) disassembler and assembler☆373Updated 10 months ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆133Updated 2 years ago
- The Ghidra EVM Module (ghidra-evm) leverages Ghidra 9.1.2 to disassemble and analyze compiled Ethereum smart contracts. Ghidra-evm was pr…☆139Updated 3 years ago
- Ethereum smart contract reverse engineering☆101Updated 6 years ago
- Abstraction layer for smart contract build systems☆170Updated last week
- A static analyzer and linter for the Circom zero-knowledge DSL☆247Updated 10 months ago
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆109Updated 5 years ago
- A symbolic execution engine for EVM smart contract binaries.☆106Updated last week
- Zellic's audits, publications, and reports☆168Updated last week
- ethpwn - the Swiss Army Knife for Smart Contract Hacking☆47Updated 5 months ago
- Public infra related to hosting Paradigm CTF☆111Updated last year
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆94Updated 7 months ago
- Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)☆151Updated 2 months ago
- ☆129Updated 2 months ago
- evm binary static analysis☆357Updated last year
- Simplify Ethereum security analysis and testing☆340Updated 2 months ago
- A binary lifter and analysis framework for Ethereum smart contracts☆322Updated last week
- A fast ethereum transaction fuzzer☆26Updated 6 years ago
- EVM CFG recovery☆122Updated last year
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆92Updated last year
- A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).☆63Updated 2 years ago
- Mutation Testing for Ethereum Smart Contracts☆207Updated last year
- Static program analysis framework for Ethereum smart contract bytecode.☆162Updated 3 years ago
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆30Updated last year
- Verified contracts synced from Etherscan☆62Updated 6 years ago
- EF/CF - Extremely Fast smart Contract Fuzzing☆66Updated last year
- Cairo/Starknet smart contract fuzzer☆122Updated 2 months ago
- Barebones Solidity smart contract fuzzer☆94Updated 2 years ago
- Benchmark Generator for Smart-Contract Fuzzers☆134Updated 4 months ago