crytic / crytic/slither

incorrect-equality reports false positive when comparing enums

Open
#778 3 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

given `A` is an enum and `A a` then `a == A.B` is reported by slither as `incorrect-equality` with high confidence.

I think this is a false positive and doesn't fit the description here: https://github.com/crytic/slither/wiki/Detector-Documentation#dangerous-strict-equalities

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.