2015-01-28 07:50:53 +00:00
|
|
|
/*
|
2016-11-18 23:13:20 +00:00
|
|
|
This file is part of solidity.
|
2015-01-28 07:50:53 +00:00
|
|
|
|
2016-11-18 23:13:20 +00:00
|
|
|
solidity is free software: you can redistribute it and/or modify
|
2015-01-28 07:50:53 +00:00
|
|
|
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.
|
|
|
|
|
2016-11-18 23:13:20 +00:00
|
|
|
solidity is distributed in the hope that it will be useful,
|
2015-01-28 07:50:53 +00:00
|
|
|
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
|
2016-11-18 23:13:20 +00:00
|
|
|
along with solidity. If not, see <http://www.gnu.org/licenses/>.
|
2015-01-28 07:50:53 +00:00
|
|
|
*/
|
|
|
|
/**
|
|
|
|
* @author Christian <c@ethdev.com>
|
|
|
|
* @date 2014
|
|
|
|
* JSON interface for the solidity compiler to be used from Javascript.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <string>
|
2016-02-22 01:13:41 +00:00
|
|
|
#include <functional>
|
2015-01-28 07:50:53 +00:00
|
|
|
#include <iostream>
|
|
|
|
#include <json/json.h>
|
|
|
|
#include <libdevcore/Common.h>
|
|
|
|
#include <libdevcore/CommonData.h>
|
|
|
|
#include <libdevcore/CommonIO.h>
|
2016-11-15 17:33:28 +00:00
|
|
|
#include <libdevcore/JSON.h>
|
2016-04-01 20:11:01 +00:00
|
|
|
#include <libevmasm/Instruction.h>
|
2016-04-06 18:55:46 +00:00
|
|
|
#include <libevmasm/GasMeter.h>
|
2015-10-20 22:21:52 +00:00
|
|
|
#include <libsolidity/parsing/Scanner.h>
|
|
|
|
#include <libsolidity/parsing/Parser.h>
|
|
|
|
#include <libsolidity/ast/ASTPrinter.h>
|
|
|
|
#include <libsolidity/analysis/NameAndTypeResolver.h>
|
|
|
|
#include <libsolidity/interface/Exceptions.h>
|
|
|
|
#include <libsolidity/interface/CompilerStack.h>
|
|
|
|
#include <libsolidity/interface/SourceReferenceFormatter.h>
|
|
|
|
#include <libsolidity/ast/ASTJsonConverter.h>
|
|
|
|
#include <libsolidity/interface/Version.h>
|
2015-01-28 07:50:53 +00:00
|
|
|
|
|
|
|
using namespace std;
|
|
|
|
using namespace dev;
|
|
|
|
using namespace solidity;
|
|
|
|
|
2016-01-26 15:25:36 +00:00
|
|
|
extern "C" {
|
|
|
|
/// Callback used to retrieve additional source files. "Returns" two pointers that should be
|
|
|
|
/// heap-allocated and are free'd by the caller.
|
|
|
|
typedef void (*CStyleReadFileCallback)(char const* _path, char** o_contents, char** o_error);
|
|
|
|
}
|
|
|
|
|
2016-02-22 01:13:41 +00:00
|
|
|
string formatError(
|
|
|
|
Exception const& _exception,
|
|
|
|
string const& _name,
|
|
|
|
function<Scanner const&(string const&)> const& _scannerFromSourceName
|
|
|
|
)
|
2015-01-28 07:50:53 +00:00
|
|
|
{
|
|
|
|
ostringstream errorOutput;
|
2016-02-22 01:13:41 +00:00
|
|
|
SourceReferenceFormatter::printExceptionInformation(errorOutput, _exception, _name, _scannerFromSourceName);
|
2015-09-21 17:43:56 +00:00
|
|
|
return errorOutput.str();
|
2015-01-28 07:50:53 +00:00
|
|
|
}
|
|
|
|
|
2015-05-15 15:00:08 +00:00
|
|
|
Json::Value functionHashes(ContractDefinition const& _contract)
|
|
|
|
{
|
|
|
|
Json::Value functionHashes(Json::objectValue);
|
2015-08-31 16:44:29 +00:00
|
|
|
for (auto const& it: _contract.interfaceFunctions())
|
2015-05-15 15:00:08 +00:00
|
|
|
functionHashes[it.second->externalSignature()] = toHex(it.first.ref());
|
|
|
|
return functionHashes;
|
|
|
|
}
|
|
|
|
|
2015-06-01 11:25:02 +00:00
|
|
|
Json::Value gasToJson(GasEstimator::GasConsumption const& _gas)
|
|
|
|
{
|
|
|
|
if (_gas.isInfinite || _gas.value > std::numeric_limits<Json::LargestUInt>::max())
|
|
|
|
return Json::Value(Json::nullValue);
|
|
|
|
else
|
|
|
|
return Json::Value(Json::LargestUInt(_gas.value));
|
|
|
|
}
|
|
|
|
|
|
|
|
Json::Value estimateGas(CompilerStack const& _compiler, string const& _contract)
|
|
|
|
{
|
|
|
|
Json::Value gasEstimates(Json::objectValue);
|
|
|
|
using Gas = GasEstimator::GasConsumption;
|
2015-08-31 16:44:29 +00:00
|
|
|
if (!_compiler.assemblyItems(_contract) && !_compiler.runtimeAssemblyItems(_contract))
|
2015-06-01 11:25:02 +00:00
|
|
|
return gasEstimates;
|
2015-08-31 16:44:29 +00:00
|
|
|
if (eth::AssemblyItems const* items = _compiler.assemblyItems(_contract))
|
2015-06-01 11:25:02 +00:00
|
|
|
{
|
|
|
|
Gas gas = GasEstimator::functionalEstimation(*items);
|
2015-09-10 10:01:05 +00:00
|
|
|
u256 bytecodeSize(_compiler.runtimeObject(_contract).bytecode.size());
|
2015-06-01 11:25:02 +00:00
|
|
|
Json::Value creationGas(Json::arrayValue);
|
|
|
|
creationGas[0] = gasToJson(gas);
|
2016-04-06 18:55:46 +00:00
|
|
|
creationGas[1] = gasToJson(bytecodeSize * eth::GasCosts::createDataGas);
|
2015-06-01 11:25:02 +00:00
|
|
|
gasEstimates["creation"] = creationGas;
|
|
|
|
}
|
2015-08-31 16:44:29 +00:00
|
|
|
if (eth::AssemblyItems const* items = _compiler.runtimeAssemblyItems(_contract))
|
2015-06-01 11:25:02 +00:00
|
|
|
{
|
2015-08-31 16:44:29 +00:00
|
|
|
ContractDefinition const& contract = _compiler.contractDefinition(_contract);
|
2015-06-01 11:25:02 +00:00
|
|
|
Json::Value externalFunctions(Json::objectValue);
|
2015-08-31 16:44:29 +00:00
|
|
|
for (auto it: contract.interfaceFunctions())
|
2015-06-01 11:25:02 +00:00
|
|
|
{
|
|
|
|
string sig = it.second->externalSignature();
|
|
|
|
externalFunctions[sig] = gasToJson(GasEstimator::functionalEstimation(*items, sig));
|
|
|
|
}
|
2015-08-31 16:44:29 +00:00
|
|
|
if (contract.fallbackFunction())
|
2015-06-18 15:38:26 +00:00
|
|
|
externalFunctions[""] = gasToJson(GasEstimator::functionalEstimation(*items, "INVALID"));
|
2015-06-01 11:25:02 +00:00
|
|
|
gasEstimates["external"] = externalFunctions;
|
|
|
|
Json::Value internalFunctions(Json::objectValue);
|
2015-08-31 16:44:29 +00:00
|
|
|
for (auto const& it: contract.definedFunctions())
|
2015-06-01 11:25:02 +00:00
|
|
|
{
|
|
|
|
if (it->isPartOfExternalInterface() || it->isConstructor())
|
|
|
|
continue;
|
2015-08-31 16:44:29 +00:00
|
|
|
size_t entry = _compiler.functionEntryPoint(_contract, *it);
|
2015-06-01 11:25:02 +00:00
|
|
|
GasEstimator::GasConsumption gas = GasEstimator::GasConsumption::infinite();
|
|
|
|
if (entry > 0)
|
|
|
|
gas = GasEstimator::functionalEstimation(*items, entry, *it);
|
|
|
|
FunctionType type(*it);
|
2015-08-31 16:44:29 +00:00
|
|
|
string sig = it->name() + "(";
|
2015-12-09 16:53:15 +00:00
|
|
|
auto paramTypes = type.parameterTypes();
|
|
|
|
for (auto it = paramTypes.begin(); it != paramTypes.end(); ++it)
|
|
|
|
sig += (*it)->toString() + (it + 1 == paramTypes.end() ? "" : ",");
|
2015-06-01 11:25:02 +00:00
|
|
|
sig += ")";
|
|
|
|
internalFunctions[sig] = gasToJson(gas);
|
|
|
|
}
|
|
|
|
gasEstimates["internal"] = internalFunctions;
|
|
|
|
}
|
|
|
|
return gasEstimates;
|
|
|
|
}
|
|
|
|
|
2016-01-26 15:25:36 +00:00
|
|
|
string compile(StringMap const& _sources, bool _optimize, CStyleReadFileCallback _readCallback)
|
2015-01-28 07:50:53 +00:00
|
|
|
{
|
|
|
|
Json::Value output(Json::objectValue);
|
2015-09-21 17:43:56 +00:00
|
|
|
Json::Value errors(Json::arrayValue);
|
2016-01-26 15:25:36 +00:00
|
|
|
CompilerStack::ReadFileCallback readCallback;
|
|
|
|
if (_readCallback)
|
|
|
|
{
|
2016-06-07 17:44:32 +00:00
|
|
|
readCallback = [=](string const& _path)
|
2016-01-26 15:25:36 +00:00
|
|
|
{
|
|
|
|
char* contents_c = nullptr;
|
|
|
|
char* error_c = nullptr;
|
|
|
|
_readCallback(_path.c_str(), &contents_c, &error_c);
|
2016-06-07 17:44:32 +00:00
|
|
|
CompilerStack::ReadFileResult result;
|
|
|
|
result.success = true;
|
2016-01-26 15:25:36 +00:00
|
|
|
if (!contents_c && !error_c)
|
2016-06-07 17:44:32 +00:00
|
|
|
{
|
|
|
|
result.success = false;
|
2017-03-16 23:59:36 +00:00
|
|
|
result.contentsOrErrorMessage = "File not found.";
|
2016-06-07 17:44:32 +00:00
|
|
|
}
|
2016-01-26 15:25:36 +00:00
|
|
|
if (contents_c)
|
|
|
|
{
|
2016-06-07 17:44:32 +00:00
|
|
|
result.success = true;
|
2017-03-16 23:59:36 +00:00
|
|
|
result.contentsOrErrorMessage = string(contents_c);
|
2016-01-26 15:25:36 +00:00
|
|
|
free(contents_c);
|
|
|
|
}
|
|
|
|
if (error_c)
|
|
|
|
{
|
2016-06-07 17:44:32 +00:00
|
|
|
result.success = false;
|
2017-03-16 23:59:36 +00:00
|
|
|
result.contentsOrErrorMessage = string(error_c);
|
2016-01-26 15:25:36 +00:00
|
|
|
free(error_c);
|
|
|
|
}
|
2016-06-07 17:44:32 +00:00
|
|
|
return result;
|
2016-01-26 15:25:36 +00:00
|
|
|
};
|
|
|
|
}
|
2016-08-15 14:58:01 +00:00
|
|
|
CompilerStack compiler(readCallback);
|
2016-02-22 01:13:41 +00:00
|
|
|
auto scannerFromSourceName = [&](string const& _sourceName) -> solidity::Scanner const& { return compiler.scanner(_sourceName); };
|
2015-10-02 20:54:30 +00:00
|
|
|
bool success = false;
|
2015-01-28 07:50:53 +00:00
|
|
|
try
|
|
|
|
{
|
2015-10-15 15:12:22 +00:00
|
|
|
compiler.addSources(_sources);
|
|
|
|
bool succ = compiler.compile(_optimize);
|
2015-10-02 20:54:30 +00:00
|
|
|
for (auto const& error: compiler.errors())
|
2015-10-15 09:50:25 +00:00
|
|
|
{
|
|
|
|
auto err = dynamic_pointer_cast<Error const>(error);
|
2015-10-02 20:54:30 +00:00
|
|
|
errors.append(formatError(
|
|
|
|
*error,
|
2015-10-15 09:50:25 +00:00
|
|
|
(err->type() == Error::Type::Warning) ? "Warning" : "Error",
|
2016-02-22 01:13:41 +00:00
|
|
|
scannerFromSourceName
|
2015-10-02 20:54:30 +00:00
|
|
|
));
|
2015-10-15 09:50:25 +00:00
|
|
|
}
|
2015-10-02 20:54:30 +00:00
|
|
|
success = succ; // keep success false on exception
|
2015-01-28 07:50:53 +00:00
|
|
|
}
|
2015-10-02 12:41:40 +00:00
|
|
|
catch (Error const& error)
|
2015-01-28 07:50:53 +00:00
|
|
|
{
|
2016-02-22 01:13:41 +00:00
|
|
|
errors.append(formatError(error, error.typeName(), scannerFromSourceName));
|
2015-01-28 07:50:53 +00:00
|
|
|
}
|
|
|
|
catch (CompilerError const& exception)
|
|
|
|
{
|
2017-02-24 18:31:20 +00:00
|
|
|
errors.append(formatError(exception, "Compiler error (" + exception.lineInfo() + ")", scannerFromSourceName));
|
2015-01-28 07:50:53 +00:00
|
|
|
}
|
|
|
|
catch (InternalCompilerError const& exception)
|
|
|
|
{
|
2017-02-24 18:31:20 +00:00
|
|
|
errors.append(formatError(exception, "Internal compiler error (" + exception.lineInfo() + ")", scannerFromSourceName));
|
2015-01-28 07:50:53 +00:00
|
|
|
}
|
2016-11-14 20:41:58 +00:00
|
|
|
catch (UnimplementedFeatureError const& exception)
|
|
|
|
{
|
2017-02-24 18:31:20 +00:00
|
|
|
errors.append(formatError(exception, "Unimplemented feature (" + exception.lineInfo() + ")", scannerFromSourceName));
|
2016-11-14 20:41:58 +00:00
|
|
|
}
|
2015-01-28 07:50:53 +00:00
|
|
|
catch (Exception const& exception)
|
|
|
|
{
|
2015-09-21 17:43:56 +00:00
|
|
|
errors.append("Exception during compilation: " + boost::diagnostic_information(exception));
|
2015-01-28 07:50:53 +00:00
|
|
|
}
|
|
|
|
catch (...)
|
|
|
|
{
|
2015-09-21 17:43:56 +00:00
|
|
|
errors.append("Unknown exception during compilation.");
|
|
|
|
}
|
|
|
|
|
|
|
|
if (errors.size() > 0)
|
|
|
|
output["errors"] = errors;
|
2015-01-28 07:50:53 +00:00
|
|
|
|
2015-10-02 20:54:30 +00:00
|
|
|
if (success)
|
2015-01-28 07:50:53 +00:00
|
|
|
{
|
2016-09-01 18:14:00 +00:00
|
|
|
try
|
2015-10-02 20:54:30 +00:00
|
|
|
{
|
2016-09-01 18:14:00 +00:00
|
|
|
output["contracts"] = Json::Value(Json::objectValue);
|
|
|
|
for (string const& contractName: compiler.contractNames())
|
|
|
|
{
|
|
|
|
Json::Value contractData(Json::objectValue);
|
2016-11-15 17:33:28 +00:00
|
|
|
contractData["interface"] = dev::jsonCompactPrint(compiler.interface(contractName));
|
2016-09-01 18:14:00 +00:00
|
|
|
contractData["bytecode"] = compiler.object(contractName).toHex();
|
|
|
|
contractData["runtimeBytecode"] = compiler.runtimeObject(contractName).toHex();
|
|
|
|
contractData["opcodes"] = solidity::disassemble(compiler.object(contractName).bytecode);
|
2016-11-14 10:46:43 +00:00
|
|
|
contractData["metadata"] = compiler.onChainMetadata(contractName);
|
2016-09-01 18:14:00 +00:00
|
|
|
contractData["functionHashes"] = functionHashes(compiler.contractDefinition(contractName));
|
|
|
|
contractData["gasEstimates"] = estimateGas(compiler, contractName);
|
|
|
|
auto sourceMap = compiler.sourceMapping(contractName);
|
|
|
|
contractData["srcmap"] = sourceMap ? *sourceMap : "";
|
|
|
|
auto runtimeSourceMap = compiler.runtimeSourceMapping(contractName);
|
|
|
|
contractData["srcmapRuntime"] = runtimeSourceMap ? *runtimeSourceMap : "";
|
|
|
|
ostringstream unused;
|
|
|
|
contractData["assembly"] = compiler.streamAssembly(unused, contractName, _sources, true);
|
|
|
|
output["contracts"][contractName] = contractData;
|
|
|
|
}
|
2016-09-05 15:09:33 +00:00
|
|
|
}
|
|
|
|
catch (...)
|
|
|
|
{
|
|
|
|
output["errors"].append("Unknown exception while generating contract data output.");
|
|
|
|
}
|
2016-09-01 18:14:00 +00:00
|
|
|
|
2016-09-05 15:09:33 +00:00
|
|
|
try
|
|
|
|
{
|
2016-09-01 18:14:00 +00:00
|
|
|
// Do not taint the internal error list
|
|
|
|
ErrorList formalErrors;
|
|
|
|
if (compiler.prepareFormalAnalysis(&formalErrors))
|
|
|
|
output["formal"]["why3"] = compiler.formalTranslation();
|
|
|
|
if (!formalErrors.empty())
|
|
|
|
{
|
|
|
|
Json::Value errors(Json::arrayValue);
|
|
|
|
for (auto const& error: formalErrors)
|
|
|
|
errors.append(formatError(
|
|
|
|
*error,
|
|
|
|
(error->type() == Error::Type::Warning) ? "Warning" : "Error",
|
|
|
|
scannerFromSourceName
|
|
|
|
));
|
|
|
|
output["formal"]["errors"] = errors;
|
|
|
|
}
|
2016-09-05 15:09:33 +00:00
|
|
|
}
|
|
|
|
catch (...)
|
|
|
|
{
|
|
|
|
output["errors"].append("Unknown exception while generating formal method output.");
|
|
|
|
}
|
2015-01-28 07:50:53 +00:00
|
|
|
|
2016-09-05 15:09:33 +00:00
|
|
|
try
|
|
|
|
{
|
2016-09-01 18:14:00 +00:00
|
|
|
// Indices into this array are used to abbreviate source names in source locations.
|
|
|
|
output["sourceList"] = Json::Value(Json::arrayValue);
|
|
|
|
for (auto const& source: compiler.sourceNames())
|
|
|
|
output["sourceList"].append(source);
|
|
|
|
output["sources"] = Json::Value(Json::objectValue);
|
|
|
|
for (auto const& source: compiler.sourceNames())
|
|
|
|
output["sources"][source]["AST"] = ASTJsonConverter(compiler.ast(source), compiler.sourceIndices()).json();
|
|
|
|
}
|
|
|
|
catch (...)
|
2016-07-18 16:16:22 +00:00
|
|
|
{
|
2016-09-05 15:09:33 +00:00
|
|
|
output["errors"].append("Unknown exception while generating source name output.");
|
2016-07-18 16:16:22 +00:00
|
|
|
}
|
2015-10-02 20:54:30 +00:00
|
|
|
}
|
2015-01-28 07:50:53 +00:00
|
|
|
|
2016-09-01 18:14:00 +00:00
|
|
|
try
|
|
|
|
{
|
2016-11-15 17:33:28 +00:00
|
|
|
return dev::jsonCompactPrint(output);
|
2016-09-01 18:14:00 +00:00
|
|
|
}
|
|
|
|
catch (...)
|
|
|
|
{
|
|
|
|
return "{\"errors\":[\"Unknown error while generating JSON.\"]}";
|
|
|
|
}
|
2015-01-28 07:50:53 +00:00
|
|
|
}
|
|
|
|
|
2016-01-26 15:25:36 +00:00
|
|
|
string compileMulti(string const& _input, bool _optimize, CStyleReadFileCallback _readCallback = nullptr)
|
2015-10-15 15:12:22 +00:00
|
|
|
{
|
|
|
|
Json::Reader reader;
|
|
|
|
Json::Value input;
|
|
|
|
if (!reader.parse(_input, input, false))
|
|
|
|
{
|
|
|
|
Json::Value errors(Json::arrayValue);
|
|
|
|
errors.append("Error parsing input JSON: " + reader.getFormattedErrorMessages());
|
|
|
|
Json::Value output(Json::objectValue);
|
|
|
|
output["errors"] = errors;
|
2016-11-15 17:33:28 +00:00
|
|
|
return dev::jsonCompactPrint(output);
|
2015-10-15 15:12:22 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
StringMap sources;
|
|
|
|
Json::Value jsonSources = input["sources"];
|
|
|
|
if (jsonSources.isObject())
|
|
|
|
for (auto const& sourceName: jsonSources.getMemberNames())
|
|
|
|
sources[sourceName] = jsonSources[sourceName].asString();
|
2016-01-26 15:25:36 +00:00
|
|
|
return compile(sources, _optimize, _readCallback);
|
2015-10-15 15:12:22 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
string compileSingle(string const& _input, bool _optimize)
|
|
|
|
{
|
|
|
|
StringMap sources;
|
|
|
|
sources[""] = _input;
|
2016-01-26 15:25:36 +00:00
|
|
|
return compile(sources, _optimize, nullptr);
|
2015-10-15 15:12:22 +00:00
|
|
|
}
|
|
|
|
|
2015-10-15 16:29:47 +00:00
|
|
|
static string s_outputBuffer;
|
2015-01-28 07:50:53 +00:00
|
|
|
|
|
|
|
extern "C"
|
|
|
|
{
|
2015-09-15 10:27:29 +00:00
|
|
|
extern char const* version()
|
|
|
|
{
|
|
|
|
return VersionString.c_str();
|
|
|
|
}
|
2015-04-22 09:33:02 +00:00
|
|
|
extern char const* compileJSON(char const* _input, bool _optimize)
|
2015-01-28 07:50:53 +00:00
|
|
|
{
|
2015-10-15 16:29:47 +00:00
|
|
|
s_outputBuffer = compileSingle(_input, _optimize);
|
|
|
|
return s_outputBuffer.c_str();
|
2015-10-15 15:12:22 +00:00
|
|
|
}
|
|
|
|
extern char const* compileJSONMulti(char const* _input, bool _optimize)
|
|
|
|
{
|
2015-10-15 16:29:47 +00:00
|
|
|
s_outputBuffer = compileMulti(_input, _optimize);
|
|
|
|
return s_outputBuffer.c_str();
|
2015-01-28 07:50:53 +00:00
|
|
|
}
|
2016-01-26 15:25:36 +00:00
|
|
|
extern char const* compileJSONCallback(char const* _input, bool _optimize, CStyleReadFileCallback _readCallback)
|
|
|
|
{
|
|
|
|
s_outputBuffer = compileMulti(_input, _optimize, _readCallback);
|
|
|
|
return s_outputBuffer.c_str();
|
|
|
|
}
|
2015-01-28 07:50:53 +00:00
|
|
|
}
|