search

crytic / echidna

Ethereum smart contract fuzzer
https://secure-contracts.com/program-analysis/echidna/index.html
GNU Affero General Public License v3.0
2.72k stars 362 forks source link

Improve error message if the function hashmap is not detected #1246

Closed montyly closed 4 months ago

montyly commented 5 months ago

https://github.com/crytic/echidna/blob/03787217d8a5af6bbc07f0ed36ca8a35436db898/lib/Echidna/Solidity.hs#L349-L361

If the user provides a wrong filterFunctions, echidna crashes and the error message is not really clear:

image

We should change Error processing function hashmaps to something like Please verify the "filterFunctions" option or something like that, and ideally shows the ones that not found

ggrieco-tob commented 5 months ago

Good catch, we should fix this

ggrieco-tob commented 4 months ago

This should be fixed in https://github.com/crytic/echidna/pull/1258

ggrieco-tob commented 4 months ago

Merged, so I'm closing this.