crytic/echidna
View on GitHub ↗ ★ 3,192 Haskell
Ethereum smart contract fuzzer
5 mentions on Hacker News by 3 people: 3 stories, 2 comments · first 2020-06-06 · latest 2025-12-24
20082026
-
▲ 1
Show HN: MCP support to guide smart contract fuzzing campaigns in Echidnastory by galapago · 2025-12-24 · 1 comment
-
▲ 2
Echidna 2.3 released with symbolic execution, Foundry integration and morestory by galapago · 2025-12-15 · 0 comments
-
▲ 3
Echidna, an open-source smart contract fuzzer, released version 2.0.0story by galapago · 2022-02-16 · 0 comments
-
…that looks like: https://github.com/trailofbits/publications/blob/master/revi... Here's Echidna: https://github.com/crytic/echidna and Manticore: https://github.com/trailofbits/manticore Sometimes we also use custom static analyses built…
comment by dguido · 2021-04-22 · in Smart Contract Security for Pentesters -
There's another fuzzer specifically for solidity smart contracts. https://github.com/crytic/echidna
comment by AlexCoventry · 2020-06-06 · in Breaking the Solidity compiler with a fuzzer