Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Echidna | 2,461 | 3 months ago | 1 | September 07, 2022 | 142 | agpl-3.0 | Solidity | |||
Ethereum smart contract fuzzer | ||||||||||
Evmc | 305 | 5 | 4 months ago | 143 | May 25, 2021 | 43 | apache-2.0 | C | ||
EVMC – Ethereum Client-VM Connector API | ||||||||||
Contractfuzzer | 165 | a year ago | 12 | Go | ||||||
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018) | ||||||||||
Beacon Fuzz | 145 | 5 months ago | 7 | mit | Rust | |||||
Differential Fuzzer for Ethereum 2.0 | ||||||||||
Ilf | 123 | 9 months ago | 1 | apache-2.0 | Python | |||||
AI based fuzzer based on imitation learning | ||||||||||
Bn256 Fuzzing | 5 | 6 years ago | 1 | Go | ||||||
Compare output of operations on Barreto-Naehrig curves in the Go, Rust and CPP implementations of Ethereum using fuzzing | ||||||||||
Hypothesis Ethereum | 5 | 4 years ago | 5 | July 23, 2022 | mit | Python | ||||
Hypothesis Strategies and Property-Based Testing State Machines for Ethereum |