2017-08-28 17:48:34 +00:00
|
|
|
/*
|
|
|
|
This file is part of solidity.
|
|
|
|
|
|
|
|
solidity is free software: you can redistribute it and/or modify
|
|
|
|
it under the terms of the GNU General Public License as published by
|
|
|
|
the Free Software Foundation, either version 3 of the License, or
|
|
|
|
(at your option) any later version.
|
|
|
|
|
|
|
|
solidity is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
GNU General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
along with solidity. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <libsolidity/analysis/ViewPureChecker.h>
|
|
|
|
|
2017-08-31 11:13:35 +00:00
|
|
|
#include <libevmasm/SemanticInformation.h>
|
|
|
|
|
|
|
|
#include <libsolidity/inlineasm/AsmData.h>
|
2017-09-14 15:53:43 +00:00
|
|
|
#include <libsolidity/ast/ExperimentalFeatures.h>
|
2017-08-31 11:13:35 +00:00
|
|
|
|
|
|
|
#include <functional>
|
|
|
|
|
2017-08-28 17:48:34 +00:00
|
|
|
using namespace std;
|
|
|
|
using namespace dev;
|
|
|
|
using namespace dev::solidity;
|
|
|
|
|
2017-09-01 17:58:38 +00:00
|
|
|
namespace
|
|
|
|
{
|
2017-08-31 11:13:35 +00:00
|
|
|
|
|
|
|
class AssemblyViewPureChecker: public boost::static_visitor<void>
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
explicit AssemblyViewPureChecker(std::function<void(StateMutability, SourceLocation const&)> _reportMutability):
|
|
|
|
m_reportMutability(_reportMutability) {}
|
|
|
|
|
|
|
|
void operator()(assembly::Label const&) { }
|
|
|
|
void operator()(assembly::Instruction const& _instruction)
|
|
|
|
{
|
|
|
|
if (eth::SemanticInformation::invalidInViewFunctions(_instruction.instruction))
|
|
|
|
m_reportMutability(StateMutability::NonPayable, _instruction.location);
|
2017-09-13 15:18:22 +00:00
|
|
|
else if (eth::SemanticInformation::invalidInPureFunctions(_instruction.instruction))
|
2017-08-31 11:13:35 +00:00
|
|
|
m_reportMutability(StateMutability::View, _instruction.location);
|
|
|
|
}
|
|
|
|
void operator()(assembly::Literal const&) {}
|
|
|
|
void operator()(assembly::Identifier const&) {}
|
|
|
|
void operator()(assembly::FunctionalInstruction const& _instr)
|
|
|
|
{
|
|
|
|
(*this)(_instr.instruction);
|
|
|
|
for (auto const& arg: _instr.arguments)
|
|
|
|
boost::apply_visitor(*this, arg);
|
|
|
|
}
|
|
|
|
void operator()(assembly::StackAssignment const&) {}
|
|
|
|
void operator()(assembly::Assignment const& _assignment)
|
|
|
|
{
|
|
|
|
boost::apply_visitor(*this, *_assignment.value);
|
|
|
|
}
|
|
|
|
void operator()(assembly::VariableDeclaration const& _varDecl)
|
|
|
|
{
|
|
|
|
if (_varDecl.value)
|
|
|
|
boost::apply_visitor(*this, *_varDecl.value);
|
|
|
|
}
|
|
|
|
void operator()(assembly::FunctionDefinition const& _funDef)
|
|
|
|
{
|
|
|
|
(*this)(_funDef.body);
|
|
|
|
}
|
|
|
|
void operator()(assembly::FunctionCall const& _funCall)
|
|
|
|
{
|
|
|
|
for (auto const& arg: _funCall.arguments)
|
|
|
|
boost::apply_visitor(*this, arg);
|
|
|
|
}
|
2017-11-21 12:36:41 +00:00
|
|
|
void operator()(assembly::If const& _if)
|
|
|
|
{
|
|
|
|
boost::apply_visitor(*this, *_if.condition);
|
|
|
|
(*this)(_if.body);
|
|
|
|
}
|
2017-08-31 11:13:35 +00:00
|
|
|
void operator()(assembly::Switch const& _switch)
|
|
|
|
{
|
|
|
|
boost::apply_visitor(*this, *_switch.expression);
|
|
|
|
for (auto const& _case: _switch.cases)
|
|
|
|
{
|
|
|
|
if (_case.value)
|
|
|
|
(*this)(*_case.value);
|
|
|
|
(*this)(_case.body);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
void operator()(assembly::ForLoop const& _for)
|
|
|
|
{
|
|
|
|
(*this)(_for.pre);
|
|
|
|
boost::apply_visitor(*this, *_for.condition);
|
|
|
|
(*this)(_for.body);
|
|
|
|
(*this)(_for.post);
|
|
|
|
}
|
|
|
|
void operator()(assembly::Block const& _block)
|
|
|
|
{
|
|
|
|
for (auto const& s: _block.statements)
|
|
|
|
boost::apply_visitor(*this, s);
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
std::function<void(StateMutability, SourceLocation const&)> m_reportMutability;
|
|
|
|
};
|
|
|
|
|
2017-09-01 17:58:38 +00:00
|
|
|
}
|
2017-08-31 11:13:35 +00:00
|
|
|
|
2017-08-28 17:48:34 +00:00
|
|
|
bool ViewPureChecker::check()
|
|
|
|
{
|
2017-09-14 15:53:43 +00:00
|
|
|
// The bool means "enforce view with errors".
|
|
|
|
map<ContractDefinition const*, bool> contracts;
|
2017-08-28 17:48:34 +00:00
|
|
|
|
|
|
|
for (auto const& node: m_ast)
|
|
|
|
{
|
|
|
|
SourceUnit const* source = dynamic_cast<SourceUnit const*>(node.get());
|
|
|
|
solAssert(source, "");
|
2017-09-14 15:53:43 +00:00
|
|
|
bool enforceView = source->annotation().experimentalFeatures.count(ExperimentalFeature::V050);
|
|
|
|
for (ContractDefinition const* c: source->filteredNodes<ContractDefinition>(source->nodes()))
|
|
|
|
contracts[c] = enforceView;
|
2017-08-28 17:48:34 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Check modifiers first to infer their state mutability.
|
2017-09-14 15:53:43 +00:00
|
|
|
for (auto const& contract: contracts)
|
|
|
|
{
|
|
|
|
m_enforceViewWithError = contract.second;
|
|
|
|
for (ModifierDefinition const* mod: contract.first->functionModifiers())
|
2017-08-28 17:48:34 +00:00
|
|
|
mod->accept(*this);
|
2017-09-14 15:53:43 +00:00
|
|
|
}
|
2017-08-28 17:48:34 +00:00
|
|
|
|
2017-09-14 15:53:43 +00:00
|
|
|
for (auto const& contract: contracts)
|
|
|
|
{
|
|
|
|
m_enforceViewWithError = contract.second;
|
|
|
|
contract.first->accept(*this);
|
|
|
|
}
|
2017-08-28 17:48:34 +00:00
|
|
|
|
|
|
|
return !m_errors;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
bool ViewPureChecker::visit(FunctionDefinition const& _funDef)
|
|
|
|
{
|
|
|
|
solAssert(!m_currentFunction, "");
|
|
|
|
m_currentFunction = &_funDef;
|
|
|
|
m_currentBestMutability = StateMutability::Pure;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
void ViewPureChecker::endVisit(FunctionDefinition const& _funDef)
|
|
|
|
{
|
|
|
|
solAssert(m_currentFunction == &_funDef, "");
|
|
|
|
if (
|
|
|
|
m_currentBestMutability < _funDef.stateMutability() &&
|
|
|
|
_funDef.stateMutability() != StateMutability::Payable &&
|
|
|
|
_funDef.isImplemented() &&
|
|
|
|
!_funDef.isConstructor() &&
|
|
|
|
!_funDef.isFallback() &&
|
|
|
|
!_funDef.annotation().superFunction
|
|
|
|
)
|
|
|
|
m_errorReporter.warning(
|
|
|
|
_funDef.location(),
|
|
|
|
"Function state mutability can be restricted to " + stateMutabilityToString(m_currentBestMutability)
|
|
|
|
);
|
|
|
|
m_currentFunction = nullptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool ViewPureChecker::visit(ModifierDefinition const&)
|
|
|
|
{
|
|
|
|
solAssert(m_currentFunction == nullptr, "");
|
|
|
|
m_currentBestMutability = StateMutability::Pure;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
void ViewPureChecker::endVisit(ModifierDefinition const& _modifierDef)
|
|
|
|
{
|
|
|
|
solAssert(m_currentFunction == nullptr, "");
|
|
|
|
m_inferredMutability[&_modifierDef] = m_currentBestMutability;
|
|
|
|
}
|
|
|
|
|
|
|
|
void ViewPureChecker::endVisit(Identifier const& _identifier)
|
|
|
|
{
|
|
|
|
Declaration const* declaration = _identifier.annotation().referencedDeclaration;
|
|
|
|
solAssert(declaration, "");
|
|
|
|
|
|
|
|
StateMutability mutability = StateMutability::Pure;
|
|
|
|
|
|
|
|
bool writes = _identifier.annotation().lValueRequested;
|
|
|
|
if (VariableDeclaration const* varDecl = dynamic_cast<VariableDeclaration const*>(declaration))
|
|
|
|
{
|
2017-09-05 16:33:52 +00:00
|
|
|
if (varDecl->isStateVariable() && !varDecl->isConstant())
|
2017-08-28 17:48:34 +00:00
|
|
|
mutability = writes ? StateMutability::NonPayable : StateMutability::View;
|
|
|
|
}
|
|
|
|
else if (MagicVariableDeclaration const* magicVar = dynamic_cast<MagicVariableDeclaration const*>(declaration))
|
|
|
|
{
|
|
|
|
switch (magicVar->type()->category())
|
|
|
|
{
|
|
|
|
case Type::Category::Contract:
|
|
|
|
solAssert(_identifier.name() == "this" || _identifier.name() == "super", "");
|
|
|
|
if (!dynamic_cast<ContractType const&>(*magicVar->type()).isSuper())
|
|
|
|
// reads the address
|
|
|
|
mutability = StateMutability::View;
|
|
|
|
break;
|
|
|
|
case Type::Category::Integer:
|
|
|
|
solAssert(_identifier.name() == "now", "");
|
|
|
|
mutability = StateMutability::View;
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-08-31 11:13:35 +00:00
|
|
|
reportMutability(mutability, _identifier.location());
|
2017-08-28 17:48:34 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void ViewPureChecker::endVisit(InlineAssembly const& _inlineAssembly)
|
|
|
|
{
|
2017-08-31 11:13:35 +00:00
|
|
|
AssemblyViewPureChecker{
|
2017-09-13 15:29:27 +00:00
|
|
|
[=](StateMutability _mutability, SourceLocation const& _location) { reportMutability(_mutability, _location); }
|
2017-08-31 11:13:35 +00:00
|
|
|
}(_inlineAssembly.operations());
|
2017-08-28 17:48:34 +00:00
|
|
|
}
|
|
|
|
|
2017-08-31 11:13:35 +00:00
|
|
|
void ViewPureChecker::reportMutability(StateMutability _mutability, SourceLocation const& _location)
|
2017-08-28 17:48:34 +00:00
|
|
|
{
|
|
|
|
if (m_currentFunction && m_currentFunction->stateMutability() < _mutability)
|
|
|
|
{
|
2017-08-29 15:08:08 +00:00
|
|
|
string text;
|
2017-08-28 17:48:34 +00:00
|
|
|
if (_mutability == StateMutability::View)
|
2017-08-29 15:08:08 +00:00
|
|
|
text =
|
2017-08-31 14:14:54 +00:00
|
|
|
"Function declared as pure, but this expression (potentially) reads from the "
|
2017-08-29 15:08:08 +00:00
|
|
|
"environment or state and thus requires \"view\".";
|
2017-08-28 17:48:34 +00:00
|
|
|
else if (_mutability == StateMutability::NonPayable)
|
2017-08-29 15:08:08 +00:00
|
|
|
text =
|
2017-08-28 17:48:34 +00:00
|
|
|
"Function declared as " +
|
|
|
|
stateMutabilityToString(m_currentFunction->stateMutability()) +
|
2017-08-31 14:14:54 +00:00
|
|
|
", but this expression (potentially) modifies the state and thus "
|
2017-08-29 15:08:08 +00:00
|
|
|
"requires non-payable (the default) or payable.";
|
|
|
|
else
|
|
|
|
solAssert(false, "");
|
|
|
|
|
2017-09-14 15:53:43 +00:00
|
|
|
solAssert(
|
|
|
|
m_currentFunction->stateMutability() == StateMutability::View ||
|
|
|
|
m_currentFunction->stateMutability() == StateMutability::Pure,
|
|
|
|
""
|
|
|
|
);
|
|
|
|
if (!m_enforceViewWithError && m_currentFunction->stateMutability() == StateMutability::View)
|
2017-08-31 11:13:35 +00:00
|
|
|
m_errorReporter.warning(_location, text);
|
2017-09-14 15:53:43 +00:00
|
|
|
else
|
2017-08-29 15:08:08 +00:00
|
|
|
{
|
|
|
|
m_errors = true;
|
2017-08-31 11:13:35 +00:00
|
|
|
m_errorReporter.typeError(_location, text);
|
2017-08-29 15:08:08 +00:00
|
|
|
}
|
2017-08-28 17:48:34 +00:00
|
|
|
}
|
2017-08-29 15:08:08 +00:00
|
|
|
if (_mutability > m_currentBestMutability)
|
2017-08-28 17:48:34 +00:00
|
|
|
m_currentBestMutability = _mutability;
|
|
|
|
}
|
|
|
|
|
|
|
|
void ViewPureChecker::endVisit(FunctionCall const& _functionCall)
|
|
|
|
{
|
|
|
|
if (_functionCall.annotation().kind != FunctionCallKind::FunctionCall)
|
|
|
|
return;
|
|
|
|
|
|
|
|
StateMutability mut = dynamic_cast<FunctionType const&>(*_functionCall.expression().annotation().type).stateMutability();
|
|
|
|
// We only require "nonpayable" to call a payble function.
|
|
|
|
if (mut == StateMutability::Payable)
|
|
|
|
mut = StateMutability::NonPayable;
|
2017-08-31 11:13:35 +00:00
|
|
|
reportMutability(mut, _functionCall.location());
|
2017-08-28 17:48:34 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void ViewPureChecker::endVisit(MemberAccess const& _memberAccess)
|
|
|
|
{
|
|
|
|
StateMutability mutability = StateMutability::Pure;
|
|
|
|
bool writes = _memberAccess.annotation().lValueRequested;
|
|
|
|
|
|
|
|
ASTString const& member = _memberAccess.memberName();
|
|
|
|
switch (_memberAccess.expression().annotation().type->category())
|
|
|
|
{
|
|
|
|
case Type::Category::Contract:
|
|
|
|
case Type::Category::Integer:
|
|
|
|
if (member == "balance" && !_memberAccess.annotation().referencedDeclaration)
|
|
|
|
mutability = StateMutability::View;
|
|
|
|
break;
|
|
|
|
case Type::Category::Magic:
|
|
|
|
// we can ignore the kind of magic and only look at the name of the member
|
|
|
|
if (member != "data" && member != "sig" && member != "blockhash")
|
|
|
|
mutability = StateMutability::View;
|
|
|
|
break;
|
|
|
|
case Type::Category::Struct:
|
|
|
|
{
|
|
|
|
if (_memberAccess.expression().annotation().type->dataStoredIn(DataLocation::Storage))
|
|
|
|
mutability = writes ? StateMutability::NonPayable : StateMutability::View;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case Type::Category::Array:
|
|
|
|
{
|
|
|
|
auto const& type = dynamic_cast<ArrayType const&>(*_memberAccess.expression().annotation().type);
|
|
|
|
if (member == "length" && type.isDynamicallySized() && type.dataStoredIn(DataLocation::Storage))
|
|
|
|
mutability = writes ? StateMutability::NonPayable : StateMutability::View;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
break;
|
|
|
|
}
|
2017-08-31 11:13:35 +00:00
|
|
|
reportMutability(mutability, _memberAccess.location());
|
2017-08-28 17:48:34 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void ViewPureChecker::endVisit(IndexAccess const& _indexAccess)
|
|
|
|
{
|
2017-09-01 10:31:24 +00:00
|
|
|
if (!_indexAccess.indexExpression())
|
|
|
|
solAssert(_indexAccess.annotation().type->category() == Type::Category::TypeType, "");
|
|
|
|
else
|
|
|
|
{
|
|
|
|
bool writes = _indexAccess.annotation().lValueRequested;
|
|
|
|
if (_indexAccess.baseExpression().annotation().type->dataStoredIn(DataLocation::Storage))
|
|
|
|
reportMutability(writes ? StateMutability::NonPayable : StateMutability::View, _indexAccess.location());
|
|
|
|
}
|
2017-08-28 17:48:34 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void ViewPureChecker::endVisit(ModifierInvocation const& _modifier)
|
|
|
|
{
|
|
|
|
solAssert(_modifier.name(), "");
|
2017-08-31 14:03:50 +00:00
|
|
|
if (ModifierDefinition const* mod = dynamic_cast<decltype(mod)>(_modifier.name()->annotation().referencedDeclaration))
|
|
|
|
{
|
|
|
|
solAssert(m_inferredMutability.count(mod), "");
|
|
|
|
reportMutability(m_inferredMutability.at(mod), _modifier.location());
|
|
|
|
}
|
|
|
|
else
|
|
|
|
solAssert(dynamic_cast<ContractDefinition const*>(_modifier.name()->annotation().referencedDeclaration), "");
|
2017-08-28 17:48:34 +00:00
|
|
|
}
|
|
|
|
|