echidna icon indicating copy to clipboard operation
echidna copied to clipboard

Validate config to avoid VM errors

Open 0xalpharush opened this issue 3 years ago • 1 comments

If a config file has large values, it causes an error that is only evident when running --format text e.g. echidna: VM attempted an illegal operation: IllegalOverflow Ex:

propMaxGas: 0xfffffffffffffffffffffffffffff
testMaxGas: 0xfffffffffffffffffffffffffffff
codeSize: 0xfffffffffffffffffffffffffffff

Add data validation to config parsing

0xalpharush avatar May 10 '22 14:05 0xalpharush

Please test #792. Note that I cannot reproduce this issue with latest echidna with small contract (perhaps it can be triggered with large ones)

gustavo-grieco avatar Jun 28 '22 11:06 gustavo-grieco

This is fixed https://github.com/crytic/echidna/pull/935.

arcz avatar Feb 21 '23 20:02 arcz