Merge pull request #569 from crytic/dev-type

Improve support for type()
crytic · Aug 5, 2020 · f90eb65 · f90eb65
2 parents 97b775e + c70f202
commit f90eb65
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/slither/core/declarations/solidity_variables.py b/slither/core/declarations/solidity_variables.py
@@ -66,6 +66,7 @@
     # abi.decode returns an a list arbitrary types
     "abi.decode()": [],
     "type(address)": [],
+    "type()": [], # 0.6.8 changed type(address) to type()
 }
 
 

diff --git a/slither/slithir/convert.py b/slither/slithir/convert.py
@@ -581,7 +581,7 @@ def propagate_types(ir, node):
             elif isinstance(ir, Send):
                 ir.lvalue.set_type(ElementaryType('bool'))
             elif isinstance(ir, SolidityCall):
-                if ir.function.name == 'type(address)':
+                if ir.function.name in ['type(address)', 'type()']:
                     ir.function.return_type = [TypeInformation(ir.arguments[0])]
                 return_type = ir.function.return_type
                 if len(return_type) == 1: