6 results found Sort:

devdacian
solidity-fuzzing-comparison devdacian
23
134
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 22 days ago
crytic
optik crytic
12
92
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
84
unknown
2
Smart Contract Property-Based Testing Framework
fuzzer halmos medusa echidna foundry smart-contracts
Created 2023-11-06
28 commits to main branch, last one about a month ago
perimetersec
public-fuzzing-campaigns-list perimetersec
18
82
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 28 days ago
Kerala-Blockchain-Academy
ethereum-developer-program Kerala-Blockchain-Academy
43
50
mit
23
The code in this repository is a part of the Ethereum Developer Program. Kindly check the wiki to access the course content.
dao dapp defi web3 nodejs python echidna hardhat mythril ethereum ethersjs metamask solidity blockchain javascript walletconnect smart-contracts
Created 2024-05-03
43 commits to main branch, last one about a month 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 5 months ago