crytic / crytic/echidna

Improve validation of config values

Open
#1,430 1 comment 0 reactions 0 assignees View on GitHub
enhancement
Dominant language
Haskell
Stars
3.2k
Forks
432
Avg merge
1d 20h
Merged PRs (30d)
5

Description

### Describe the desired feature

We should improve validation of some config values and alert the user. For example:

* deployContracts / deployBytecodes lets you deploy contracts on the precompile address space (0x1 ... 0xA) but that is not possible
* contractAddr can possibly also be set to those addresses
* sender / psender might also be set to those addresses (this is potentially fine though)
* function filters lets you have potentially invalid signatures (eg with spaces)

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.