From 5b3932f6fb9b9c6fef84ceea5d5dfa97aff1ac93 Mon Sep 17 00:00:00 2001 From: feliam Date: Thu, 25 Jul 2019 12:30:54 -0300 Subject: [PATCH] Patching STAICCALL --- manticore/platforms/evm.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/manticore/platforms/evm.py b/manticore/platforms/evm.py index d103ee736..16c6348c2 100644 --- a/manticore/platforms/evm.py +++ b/manticore/platforms/evm.py @@ -2047,7 +2047,7 @@ def STATICCALL_gas(self, gas, address, in_offset, in_size, out_offset, out_size) def STATICCALL(self, gas, address, in_offset, in_size, out_offset, out_size): """Message-call into an account""" self.world.start_transaction( - "STATICCALL", + "CALL", address, data=self.read_buffer(in_offset, in_size), caller=self.address, @@ -2873,7 +2873,7 @@ def _process_pending_transaction(self): return sort, address, price, data, caller, value, gas = self._pending_transaction - if sort not in {"CALL", "CREATE", "DELEGATECALL", "CALLCODE"}: + if sort not in {"CALL", "CREATE", "DELEGATECALL", "CALLCODE", "STATICCALL"}: if sort == "STATICCALL": # TODO: Remove this once Issue #1168 is resolved raise EVMException(