From 0297a213feeec8b27dcfc107b29228676489f21b Mon Sep 17 00:00:00 2001 From: chriseth Date: Tue, 6 Oct 2015 22:55:38 +0200 Subject: Reject ether sent to library. --- libsolidity/Compiler.cpp | 3 +++ test/libsolidity/SolidityEndToEndTest.cpp | 23 +++++++++++++++++++++++ 2 files changed, 26 insertions(+) diff --git a/libsolidity/Compiler.cpp b/libsolidity/Compiler.cpp index 6fb09def..7ce2121e 100644 --- a/libsolidity/Compiler.cpp +++ b/libsolidity/Compiler.cpp @@ -260,6 +260,9 @@ void Compiler::appendFunctionSelector(ContractDefinition const& _contract) m_context << returnTag; appendReturnValuePacker(FunctionType(*fallback).returnParameterTypes(), _contract.isLibrary()); } + else if (_contract.isLibrary()) + // Reject invalid library calls and ether sent to a library. + m_context.appendJumpTo(m_context.errorTag()); else m_context << eth::Instruction::STOP; // function not found diff --git a/test/libsolidity/SolidityEndToEndTest.cpp b/test/libsolidity/SolidityEndToEndTest.cpp index a17a3be5..56061b0b 100644 --- a/test/libsolidity/SolidityEndToEndTest.cpp +++ b/test/libsolidity/SolidityEndToEndTest.cpp @@ -5578,6 +5578,29 @@ BOOST_AUTO_TEST_CASE(version_stamp_for_libraries) BOOST_CHECK_EQUAL(runtimeCode[7], int(eth::Instruction::POP)); } +BOOST_AUTO_TEST_CASE(reject_ether_sent_to_library) +{ + char const* sourceCode = R"( + library lib {} + contract c { + function f(address x) returns (bool) { + return x.send(1); + } + } + )"; + compileAndRun(sourceCode, 0, "lib"); + Address libraryAddress = m_contractAddress; + compileAndRun(sourceCode, 10, "c"); + BOOST_CHECK_EQUAL(m_state.balance(m_contractAddress), 10); + BOOST_CHECK_EQUAL(m_state.balance(libraryAddress), 0); + BOOST_CHECK(callContractFunction("f(address)", encodeArgs(u160(libraryAddress))) == encodeArgs(false)); + BOOST_CHECK_EQUAL(m_state.balance(m_contractAddress), 10); + BOOST_CHECK_EQUAL(m_state.balance(libraryAddress), 0); + BOOST_CHECK(callContractFunction("f(address)", encodeArgs(u160(m_contractAddress))) == encodeArgs(true)); + BOOST_CHECK_EQUAL(m_state.balance(m_contractAddress), 10); + BOOST_CHECK_EQUAL(m_state.balance(libraryAddress), 0); +} + BOOST_AUTO_TEST_SUITE_END() } -- cgit v1.2.3