Patching STAICCALL (#1494)

trailofbits · Jul 25, 2019 · f9b13b9 · f9b13b9
1 parent fedf9e9
commit f9b13b9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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(