Disable incorrect strict equality on top level functions (#952)

Until we have a better taint system for top-level functions
pull/984/head
Feist Josselin 3 years ago committed by GitHub
parent 7887f3914d
commit 154dd9f260
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 4
      slither/detectors/statements/incorrect_strict_equality.py

@ -5,6 +5,7 @@
from slither.analyses.data_dependency.data_dependency import is_dependent_ssa
from slither.core.declarations import Function
from slither.core.declarations.function_top_level import FunctionTopLevel
from slither.detectors.abstract_detector import AbstractDetector, DetectorClassification
from slither.slithir.operations import (
Assignment,
@ -106,6 +107,9 @@ contract Crowdsale{
taints += self.sources_taint
for func in funcs:
# Disable the detector on top level function until we have good taint on those
if isinstance(func, FunctionTopLevel):
continue
for node in func.nodes:
for ir in node.irs_ssa:

Loading…
Cancel
Save