Merge pull request #551 from crytic/dev-abi-decode-one-type

Improve abi.decode support in case of single type to convert
crytic · Jul 22, 2020 · 0b2b2f6 · 0b2b2f6
2 parents 8ee5614 + 650e3ae
commit 0b2b2f6
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/slither/slithir/convert.py b/slither/slithir/convert.py
@@ -809,6 +809,10 @@ def convert_to_solidity_func(ir):
                 isinstance(new_ir.arguments[1], list)):
         types = [x for x in new_ir.arguments[1]]
         new_ir.lvalue.set_type(types)
+    # abi.decode where the type to decode is a singleton
+    # abi.decode(a, (uint))
+    elif call == SolidityFunction("abi.decode()") and len(new_ir.arguments) == 2:
+        new_ir.lvalue.set_type(new_ir.arguments[1])
     else:
         new_ir.lvalue.set_type(call.return_type)
     return new_ir