crytic / crytic/slither

false positive "should be declared external" on abstract contract

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

Description

if a contract is marked `abstract` we require it be inherited so `public` functions do not need to be `external` if a child contract might reasonably want to use this function

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.