6 results found Sort:

devdacian
solidity-fuzzing-comparison devdacian
26
144
mit
5
A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
echidna fuzzing solidity fuzz-testing smart-contracts fuzz-testing-foundry
Created 2023-11-29
143 commits to main branch, last one 2 months ago
crytic
optik crytic
12
93
other
6
Optik is a set of symbolic execution tools that assist smart-contract fuzzers
evm maat echidna fuzzing security-tools smart-contracts symbolic-execution
Created 2022-05-05
96 commits to master branch, last one about a year ago
Recon-Fuzz
chimera Recon-Fuzz
9
93
unknown
2
Smart Contract Property-Based Testing Framework
fuzzer halmos medusa echidna foundry smart-contracts
Created 2023-11-06
29 commits to main branch, last one 14 days ago
perimetersec
public-fuzzing-campaigns-list perimetersec
19
85
unknown
1
A list of public fuzzing campaigns
evm medusa echidna foundry fuzzing solidity
Created 2024-02-06
17 commits to main branch, last one 2 months ago
Kerala-Blockchain-Academy
ethereum-developer-program Kerala-Blockchain-Academy
45
57
mit
23
The code in this repository is a part of the Ethereum Developer Program. Kindly check the wiki to access the course content.
bun dao dapp defi viem web3 nodejs python echidna hardhat mythril ethereum ethersjs metamask solidity blockchain javascript typescript walletconnect smart-contracts
Created 2024-05-03
61 commits to main branch, last one 11 days ago
rappie
echidna-curve-reentrancy-hack rappie
4
25
unknown
1
Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna
evm hack echidna fuzzing solidity
Created 2024-07-15
29 commits to main branch, last one 6 months ago