echidna
Contract tester
A tool to automatically test and identify potential vulnerabilities in smart contracts on the Ethereum blockchain.
Ethereum smart contract fuzzer
3k stars
57 watching
376 forks
Language: Haskell
last commit: 2 months ago
Linked from 4 awesome lists
ethereumevmfuzzersecuritysmart-contractssoliditytesting
bkrem/awesome-solidity
pirapira/awesome-ethereum-virtual-machine
saeidshirazi/awesome-smart-contract-securityRelated projects:
| Repository | Description | Stars |
|---|---|---|
| crytic/slither | Analyzes smart contract code for vulnerabilities and provides detailed information about contracts. | 5,394 |
 ivicanikolicsg/maian | Automated tool for detecting bugs in smart contracts on the Ethereum blockchain | 557 |
 google/honggfuzz | A high-performance fuzzer for detecting security vulnerabilities in software | 3,093 |
| crytic/ethersplay | An EVM bytecode disassembler and analysis tool for Ethereum contracts. | 844 |
 snuspl/fluffy | A fuzzer that tests Ethereum blockchain clients for consensus bugs by simulating multiple transactions from initial program states | 55 |
 fuzzinglabs/cairo-fuzzer | A tool for testing smart contract security by generating random inputs and executing them on a contract to identify vulnerabilities. | 120 |
| google/oss-fuzz | An automated testing framework that uses random data to find errors in software | 10,671 |
 pessimistic-io/slitherin | Automated code audit tools for Ethereum smart contracts | 356 |
 ciaranmcveigh5/ethernaut-x-foundry | A repository that enables local execution of Ethernaut levels using Foundry, a Rust-based tool for building and testing smart contracts. | 271 |
| fuzzinglabs/thoth | An all-in-one security toolkit for analyzing and decoding smart contract bytecode | 249 |
 meherett/pytest-solidity | Tests smart contracts written in Solidity on the Ethereum blockchain | 27 |
 ethereum/solidity | A language for implementing smart contracts on the Ethereum platform | 23,537 |
 anthias-labs/arbiter | A tool for simulating stateful Ethereum smart contracts in a sandbox environment | 685 |
 rust-ethereum/ethabi | Encodes and decodes function calls and their output in smart contracts | 518 |
 dethcrypto/dethcode | A tool that enables users to browse and view Ethereum smart contracts in Visual Studio Code without leaving the browser | 1,360 |