TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Only check internal calls to Functions

Browse Source
pull/1816/head
webthethird 2 years ago
parent 3bcefac1c8
commit ae7f0b2f05
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      slither/utils/upgradeability.py

2
slither/utils/upgradeability.py
Unescape View File

@ -298,7 +298,7 @@ def tainted_inheriting_contracts(
new_taint = TaintedExternalContract(c) new_taint = TaintedExternalContract(c)
for f in c.functions_declared: for f in c.functions_declared:
# Search for functions that call an inherited tainted function or access an inherited tainted variable # Search for functions that call an inherited tainted function or access an inherited tainted variable
internal_calls = f.all_internal_calls() internal_calls = [c for c in f.all_internal_calls() if isinstance(c, Function)]
if any( if any(
call.canonical_name == t.canonical_name call.canonical_name == t.canonical_name
for t in tainted.tainted_functions for t in tainted.tainted_functions

Write Preview
Loading…
Cancel
Save