|
@ -18,29 +18,27 @@ namespace eth |
|
|
|
|
|
|
|
|
extern "C" void env_sload(); // fake declaration for linker symbol stripping workaround, see a call below
|
|
|
extern "C" void env_sload(); // fake declaration for linker symbol stripping workaround, see a call below
|
|
|
|
|
|
|
|
|
bytesConstRef JitVM::go(ExtVMFace& _ext, OnOpFunc const& _onOp, uint64_t _step) |
|
|
bytesConstRef JitVM::go(u256& io_gas, ExtVMFace& _ext, OnOpFunc const& _onOp, uint64_t _step) |
|
|
{ |
|
|
{ |
|
|
using namespace jit; |
|
|
using namespace jit; |
|
|
|
|
|
|
|
|
auto rejected = false; |
|
|
auto rejected = false; |
|
|
// TODO: Rejecting transactions with gas limit > 2^63 can be used by attacker to take JIT out of scope
|
|
|
// TODO: Rejecting transactions with gas limit > 2^63 can be used by attacker to take JIT out of scope
|
|
|
rejected |= m_gas > std::numeric_limits<decltype(m_data.gas)>::max(); // Do not accept requests with gas > 2^63 (int64 max)
|
|
|
rejected |= io_gas > std::numeric_limits<decltype(m_data.gas)>::max(); // Do not accept requests with gas > 2^63 (int64 max)
|
|
|
rejected |= _ext.gasPrice > std::numeric_limits<decltype(m_data.gasPrice)>::max(); |
|
|
rejected |= _ext.gasPrice > std::numeric_limits<decltype(m_data.gasPrice)>::max(); |
|
|
rejected |= _ext.currentBlock.number > std::numeric_limits<decltype(m_data.number)>::max(); |
|
|
rejected |= _ext.currentBlock.number > std::numeric_limits<decltype(m_data.number)>::max(); |
|
|
rejected |= _ext.currentBlock.timestamp > std::numeric_limits<decltype(m_data.timestamp)>::max(); |
|
|
rejected |= _ext.currentBlock.timestamp > std::numeric_limits<decltype(m_data.timestamp)>::max(); |
|
|
|
|
|
|
|
|
if (rejected) |
|
|
if (rejected) |
|
|
{ |
|
|
{ |
|
|
cwarn << "Execution rejected by EVM JIT (gas limit: " << m_gas << "), executing with interpreter"; |
|
|
cwarn << "Execution rejected by EVM JIT (gas limit: " << io_gas << "), executing with interpreter"; |
|
|
VMFactory::setKind(VMKind::Interpreter); |
|
|
VMFactory::setKind(VMKind::Interpreter); |
|
|
m_fallbackVM = VMFactory::create(m_gas); |
|
|
m_fallbackVM = VMFactory::create(); |
|
|
VMFactory::setKind(VMKind::JIT); |
|
|
VMFactory::setKind(VMKind::JIT); |
|
|
auto&& output = m_fallbackVM->go(_ext, _onOp, _step); |
|
|
return m_fallbackVM->go(io_gas, _ext, _onOp, _step); |
|
|
m_gas = m_fallbackVM->gas(); // copy remaining gas, Executive expects it
|
|
|
|
|
|
return output; |
|
|
|
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
m_data.gas = static_cast<decltype(m_data.gas)>(m_gas); |
|
|
m_data.gas = static_cast<decltype(m_data.gas)>(io_gas); |
|
|
m_data.gasPrice = static_cast<decltype(m_data.gasPrice)>(_ext.gasPrice); |
|
|
m_data.gasPrice = static_cast<decltype(m_data.gasPrice)>(_ext.gasPrice); |
|
|
m_data.callData = _ext.data.data(); |
|
|
m_data.callData = _ext.data.data(); |
|
|
m_data.callDataSize = _ext.data.size(); |
|
|
m_data.callDataSize = _ext.data.size(); |
|
@ -80,7 +78,7 @@ bytesConstRef JitVM::go(ExtVMFace& _ext, OnOpFunc const& _onOp, uint64_t _step) |
|
|
break; |
|
|
break; |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
m_gas = m_data.gas; // TODO: Remove m_gas field
|
|
|
io_gas = m_data.gas; |
|
|
return {std::get<0>(m_engine.returnData), std::get<1>(m_engine.returnData)}; |
|
|
return {std::get<0>(m_engine.returnData), std::get<1>(m_engine.returnData)}; |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|