diff --git a/manticore/platforms/evm.py b/manticore/platforms/evm.py index e14e26949..75c78cc44 100644 --- a/manticore/platforms/evm.py +++ b/manticore/platforms/evm.py @@ -2532,7 +2532,11 @@ def _process_pending_transaction(self): sort, address, price, data, caller, value, gas = self._pending_transaction if sort not in {'CALL', 'CREATE', 'DELEGATECALL', 'CALLCODE'}: - raise EVMException('Type of transaction not supported') + if sort == 'STATICCALL': + # TODO: Remove this once Issue #1168 is resolved + raise EVMException(f"The STATICCALL opcode is not yet supported; see https://github.com/trailofbits/manticore/issues/1168") + else: + raise EVMException(f"Transaction type '{sort}' not supported") if self.depth > 0: assert price is None, "Price should not be used in internal transactions"