2014-12-15 21:57:39 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
This file is part of cpp-ethereum.
|
|
|
|
|
|
|
|
cpp-ethereum 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.
|
|
|
|
|
|
|
|
cpp-ethereum 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 cpp-ethereum. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
*/
|
|
|
|
/**
|
|
|
|
* @author Christian <c@ethdev.com>
|
|
|
|
* @date 2014
|
|
|
|
* Callgraph of functions inside a contract.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <libsolidity/AST.h>
|
|
|
|
#include <libsolidity/CallGraph.h>
|
|
|
|
|
|
|
|
using namespace std;
|
|
|
|
|
2014-12-17 14:15:04 +00:00
|
|
|
namespace dev
|
|
|
|
{
|
|
|
|
namespace solidity
|
|
|
|
{
|
2014-12-15 21:57:39 +00:00
|
|
|
|
2015-01-19 22:08:48 +00:00
|
|
|
void CallGraph::addNode(ASTNode const& _node)
|
2014-12-15 21:57:39 +00:00
|
|
|
{
|
2015-01-23 01:46:31 +00:00
|
|
|
if (!m_nodesSeen.count(&_node))
|
|
|
|
{
|
|
|
|
m_workQueue.push(&_node);
|
|
|
|
m_nodesSeen.insert(&_node);
|
|
|
|
}
|
2014-12-15 21:57:39 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
set<FunctionDefinition const*> const& CallGraph::getCalls()
|
|
|
|
{
|
2015-01-20 14:58:04 +00:00
|
|
|
computeCallGraph();
|
2014-12-15 21:57:39 +00:00
|
|
|
return m_functionsSeen;
|
|
|
|
}
|
|
|
|
|
|
|
|
void CallGraph::computeCallGraph()
|
|
|
|
{
|
|
|
|
while (!m_workQueue.empty())
|
|
|
|
{
|
2015-01-20 14:58:04 +00:00
|
|
|
m_workQueue.front()->accept(*this);
|
2014-12-15 21:57:39 +00:00
|
|
|
m_workQueue.pop();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
bool CallGraph::visit(Identifier const& _identifier)
|
|
|
|
{
|
2015-01-23 01:46:31 +00:00
|
|
|
if (auto fun = dynamic_cast<FunctionDefinition const*>(_identifier.getReferencedDeclaration()))
|
2015-01-20 14:58:04 +00:00
|
|
|
{
|
2015-01-23 01:46:31 +00:00
|
|
|
if (m_functionOverrideResolver)
|
|
|
|
fun = (*m_functionOverrideResolver)(fun->getName());
|
2015-01-20 16:41:09 +00:00
|
|
|
solAssert(fun, "Error finding override for function " + fun->getName());
|
2015-01-23 01:46:31 +00:00
|
|
|
addNode(*fun);
|
|
|
|
}
|
|
|
|
if (auto modifier = dynamic_cast<ModifierDefinition const*>(_identifier.getReferencedDeclaration()))
|
|
|
|
{
|
|
|
|
if (m_modifierOverrideResolver)
|
|
|
|
modifier = (*m_modifierOverrideResolver)(modifier->getName());
|
|
|
|
solAssert(modifier, "Error finding override for modifier " + modifier->getName());
|
|
|
|
addNode(*modifier);
|
2015-01-20 14:58:04 +00:00
|
|
|
}
|
2014-12-15 21:57:39 +00:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2015-01-19 22:08:48 +00:00
|
|
|
bool CallGraph::visit(FunctionDefinition const& _function)
|
|
|
|
{
|
2015-01-23 01:46:31 +00:00
|
|
|
m_functionsSeen.insert(&_function);
|
2015-01-19 22:08:48 +00:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool CallGraph::visit(MemberAccess const& _memberAccess)
|
|
|
|
{
|
|
|
|
// used for "BaseContract.baseContractFunction"
|
|
|
|
if (_memberAccess.getExpression().getType()->getCategory() == Type::Category::TYPE)
|
|
|
|
{
|
|
|
|
TypeType const& type = dynamic_cast<TypeType const&>(*_memberAccess.getExpression().getType());
|
|
|
|
if (type.getMembers().getMemberType(_memberAccess.getMemberName()))
|
|
|
|
{
|
|
|
|
ContractDefinition const& contract = dynamic_cast<ContractType const&>(*type.getActualType())
|
|
|
|
.getContractDefinition();
|
|
|
|
for (ASTPointer<FunctionDefinition> const& function: contract.getDefinedFunctions())
|
|
|
|
if (function->getName() == _memberAccess.getMemberName())
|
|
|
|
{
|
2015-01-23 01:46:31 +00:00
|
|
|
addNode(*function);
|
2015-01-19 22:08:48 +00:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2014-12-15 21:57:39 +00:00
|
|
|
}
|
|
|
|
}
|