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
59 watching
366 forks
Language: Haskell
last commit: 9 days 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,340 |
 ivicanikolicsg/maian | Automated tool for detecting bugs in smart contracts on the Ethereum blockchain | 556 |
 google/honggfuzz | A high-performance fuzzer for detecting security vulnerabilities in software | 3,079 |
| crytic/ethersplay | An EVM bytecode disassembler and analysis tool for Ethereum contracts. | 842 |
 snuspl/fluffy | A fuzzer that tests Ethereum blockchain clients for consensus bugs by simulating multiple transactions from initial program states | 54 |
 fuzzinglabs/cairo-fuzzer | A tool for testing smart contract security by generating random inputs and executing them on a contract to identify vulnerabilities. | 118 |
| google/oss-fuzz | An automated testing framework that uses random data to find errors in software | 10,548 |
 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. | 270 |
| fuzzinglabs/thoth | An all-in-one security toolkit for analyzing and decoding smart contract bytecode | 244 |
 meherett/pytest-solidity | Tests smart contracts written in Solidity on the Ethereum blockchain | 26 |
 ethereum/solidity | A language and compiler for creating smart contracts on the Ethereum blockchain | 23,342 |
 anthias-labs/arbiter | A tool for simulating stateful Ethereum smart contracts in a sandbox environment | 681 |
 rust-ethereum/ethabi | Encodes and decodes function calls and their output in smart contracts | 516 |
 dethcrypto/dethcode | A tool that enables users to browse and view Ethereum smart contracts in Visual Studio Code without leaving the browser | 1,358 |