crytic / crytic/slither

slither-check-upgradeability: add a mode to run the checks on all contracts inheriting from Initializable

Open
#963 0 comments 0 reactions 0 assignees View on GitHub
maker week
Dominant language
Python
Stars
6.4k
Forks
1.1k
PR merge metrics
No merged PRs in 30d

Description

Codebases have now dozen of contracts inheriting from `Initializable`

We could add a flag (or use a placeholder like `*` for the contract name) to make slither-check-upgradeability runs on all the contracts automatically detected as upgradeable

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.