| crytic/echidna |
2,461 |
|
0 |
0 |
about 2 years ago |
1 |
September 07, 2022 |
142 |
agpl-3.0 |
Solidity |
| Ethereum smart contract fuzzer |
| ethereum/evmc |
305 |
|
0 |
5 |
over 2 years ago |
143 |
May 25, 2021 |
43 |
apache-2.0 |
C |
| EVMC – Ethereum Client-VM Connector API |
| gongbell/ContractFuzzer |
165 |
|
0 |
0 |
over 3 years ago |
0 |
|
12 |
|
Go |
| The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018) |
| sigp/beacon-fuzz |
145 |
|
0 |
0 |
over 2 years ago |
0 |
|
7 |
mit |
Rust |
| Differential Fuzzer for Ethereum 2.0 |
| eth-sri/ilf |
123 |
|
0 |
0 |
over 2 years ago |
0 |
|
1 |
apache-2.0 |
Python |
| AI based fuzzer based on imitation learning |
| fubuloubu/hypothesis-ethereum |
5 |
|
0 |
0 |
about 6 years ago |
5 |
July 23, 2022 |
0 |
mit |
Python |
| Hypothesis Strategies and Property-Based Testing State Machines for Ethereum |
| guidovranken/bn256-fuzzing |
5 |
|
0 |
0 |
about 8 years ago |
0 |
|
1 |
|
Go |
| Compare output of operations on Barreto-Naehrig curves in the Go, Rust and CPP implementations of Ethereum using fuzzing |
