gustavo-grieco

gustavo-grieco/echidna

Ethereum smart contract fuzzer

1 good first / help-wanted issue · Haskell · last activity Sep 10, 2025

1 stars 0 forks 1 watchers Haskell GNU Affero General Public License v3.0

View on GitHub Website

1 Open Issue Need Help Last updated: Sep 10, 2025

Open Issues Need Help

View All on GitHub

Reimplement damn-vulnerable-defi-halmos using the new symbolic execution capabilities about 1 year ago

good first issue sym-exec

gustavo-grieco/echidna

1

Ethereum smart contract fuzzer

Haskell