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
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆133Updated 2 years ago
- Implementation of a differential fuzzer for Ethereum Virtual Machines☆96Updated 3 weeks ago
- Abstraction layer for smart contract build systems☆171Updated 2 weeks ago
- evm binary static analysis☆355Updated last year
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆93Updated 6 months ago
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆109Updated 5 years ago
- Mutation Testing for Ethereum Smart Contracts☆207Updated last year
- ethpwn - the Swiss Army Knife for Smart Contract Hacking☆47Updated 4 months ago
- A symbolic execution engine for EVM smart contract binaries.☆104Updated last month
- A fast ethereum transaction fuzzer☆26Updated 5 years ago
- Simplify Ethereum security analysis and testing☆340Updated last month
- Benchmark Generator for Smart-Contract Fuzzers☆133Updated 3 months ago
- The Ghidra EVM Module (ghidra-evm) leverages Ghidra 9.1.2 to disassemble and analyze compiled Ethereum smart contracts. Ghidra-evm was pr…☆138Updated 3 years ago
- Static program analysis framework for Ethereum smart contract bytecode.☆161Updated 3 years ago
- A binary lifter and analysis framework for Ethereum smart contracts☆323Updated 2 weeks ago
- EVM CFG recovery☆122Updated last year
- A static analyzer and linter for the Circom zero-knowledge DSL☆244Updated 9 months ago
- Ethereum smart contract reverse engineering☆101Updated 6 years ago
- ☆125Updated 2 months ago
- Ethereum Virtual Machine (EVM) disassembler and assembler☆370Updated 10 months ago
- Zellic's audits, publications, and reports☆165Updated last week
- Public infra related to hosting Paradigm CTF☆110Updated last year
- Verified contracts synced from Etherscan☆62Updated 6 years ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆59Updated 4 years ago
- List of CTF related to Ethereum world (solidity smart contracts)☆118Updated 2 years ago
- A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).☆63Updated 2 years ago
- Symbolic virtual machine for Ethereum☆68Updated 6 years ago
- Cairo/Starknet smart contract fuzzer☆122Updated last month
- Materials related to security: docs, checklists, processes, etc...☆201Updated last week
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆92Updated last year