2014-10-30 21:52:15 +00:00
|
|
|
/*
|
2016-11-18 23:13:20 +00:00
|
|
|
This file is part of solidity.
|
2014-10-30 21:52:15 +00:00
|
|
|
|
2016-11-18 23:13:20 +00:00
|
|
|
solidity is free software: you can redistribute it and/or modify
|
2014-10-30 21:52:15 +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,
|
2014-10-30 21:52:15 +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/>.
|
2014-10-30 21:52:15 +00:00
|
|
|
*/
|
2020-07-17 14:54:12 +00:00
|
|
|
// SPDX-License-Identifier: GPL-3.0
|
2014-10-30 21:52:15 +00:00
|
|
|
/**
|
|
|
|
* @author Christian <c@ethdev.com>
|
2015-01-09 06:39:30 +00:00
|
|
|
* @author Gav Wood <g@ethdev.com>
|
2014-10-30 21:52:15 +00:00
|
|
|
* @date 2014
|
|
|
|
* Full-stack compiler that converts a source code string to bytecode.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
2020-11-18 17:24:33 +00:00
|
|
|
#include <libsolidity/analysis/FunctionCallGraph.h>
|
2018-02-21 22:43:40 +00:00
|
|
|
#include <libsolidity/interface/ReadFile.h>
|
2021-03-29 12:46:19 +00:00
|
|
|
#include <libsolidity/interface/ImportRemapper.h>
|
2017-07-17 11:12:00 +00:00
|
|
|
#include <libsolidity/interface/OptimiserSettings.h>
|
2019-05-06 12:31:49 +00:00
|
|
|
#include <libsolidity/interface/Version.h>
|
2019-09-18 14:44:36 +00:00
|
|
|
#include <libsolidity/interface/DebugSettings.h>
|
2020-05-18 15:42:24 +00:00
|
|
|
|
2021-01-19 11:56:22 +00:00
|
|
|
#include <libsolidity/formal/ModelCheckerSettings.h>
|
2020-10-14 15:44:40 +00:00
|
|
|
|
2020-05-18 15:42:24 +00:00
|
|
|
#include <libsmtutil/SolverInterface.h>
|
2018-02-21 22:43:40 +00:00
|
|
|
|
2021-09-17 18:15:19 +00:00
|
|
|
#include <liblangutil/CharStreamProvider.h>
|
|
|
|
#include <liblangutil/DebugInfoSelection.h>
|
2018-11-14 16:11:55 +00:00
|
|
|
#include <liblangutil/ErrorReporter.h>
|
|
|
|
#include <liblangutil/EVMVersion.h>
|
2018-11-14 13:59:30 +00:00
|
|
|
#include <liblangutil/SourceLocation.h>
|
2018-11-14 16:11:55 +00:00
|
|
|
|
2018-02-21 22:43:40 +00:00
|
|
|
#include <libevmasm/LinkerObject.h>
|
|
|
|
|
2020-01-06 10:52:23 +00:00
|
|
|
#include <libsolutil/Common.h>
|
|
|
|
#include <libsolutil/FixedHash.h>
|
2020-05-13 18:02:40 +00:00
|
|
|
#include <libsolutil/LazyInit.h>
|
2018-02-21 22:43:40 +00:00
|
|
|
|
2018-12-17 18:24:42 +00:00
|
|
|
#include <json/json.h>
|
2018-02-21 22:43:40 +00:00
|
|
|
|
2018-12-17 18:24:42 +00:00
|
|
|
#include <functional>
|
|
|
|
#include <memory>
|
2014-11-11 16:41:48 +00:00
|
|
|
#include <ostream>
|
2019-06-28 14:14:31 +00:00
|
|
|
#include <set>
|
2014-10-30 21:52:15 +00:00
|
|
|
#include <string>
|
2015-03-02 00:13:10 +00:00
|
|
|
#include <vector>
|
2014-10-30 21:52:15 +00:00
|
|
|
|
2019-12-11 16:31:36 +00:00
|
|
|
namespace solidity::langutil
|
2018-11-14 16:11:55 +00:00
|
|
|
{
|
2021-06-29 12:38:59 +00:00
|
|
|
class CharStream;
|
2018-11-14 16:11:55 +00:00
|
|
|
}
|
|
|
|
|
2015-03-02 00:13:10 +00:00
|
|
|
|
2019-12-11 16:31:36 +00:00
|
|
|
namespace solidity::evmasm
|
2015-03-02 16:34:43 +00:00
|
|
|
{
|
2015-10-07 13:57:17 +00:00
|
|
|
class Assembly;
|
2015-03-02 16:34:43 +00:00
|
|
|
class AssemblyItem;
|
|
|
|
using AssemblyItems = std::vector<AssemblyItem>;
|
2015-03-02 00:13:10 +00:00
|
|
|
}
|
|
|
|
|
2019-12-11 16:31:36 +00:00
|
|
|
namespace solidity::frontend
|
2015-03-02 16:34:43 +00:00
|
|
|
{
|
2014-10-30 21:52:15 +00:00
|
|
|
|
2014-11-20 17:33:23 +00:00
|
|
|
// forward declarations
|
2017-01-31 21:59:56 +00:00
|
|
|
class ASTNode;
|
2014-11-20 17:33:23 +00:00
|
|
|
class ContractDefinition;
|
2015-05-26 09:27:59 +00:00
|
|
|
class FunctionDefinition;
|
2014-12-03 06:46:55 +00:00
|
|
|
class SourceUnit;
|
2014-11-20 17:33:23 +00:00
|
|
|
class Compiler;
|
|
|
|
class GlobalContext;
|
2017-05-10 09:56:21 +00:00
|
|
|
class Natspec;
|
2017-01-31 21:59:56 +00:00
|
|
|
class DeclarationContainer;
|
2023-09-06 00:29:11 +00:00
|
|
|
namespace experimental
|
|
|
|
{
|
|
|
|
class Analysis;
|
|
|
|
}
|
2014-12-03 15:40:37 +00:00
|
|
|
|
2014-11-11 16:41:48 +00:00
|
|
|
/**
|
|
|
|
* Easy to use and self-contained Solidity compiler with as few header dependencies as possible.
|
|
|
|
* It holds state and can be used to either step through the compilation stages (and abort e.g.
|
|
|
|
* before compilation to bytecode) or run the whole compilation in one call.
|
|
|
|
*/
|
2021-06-29 12:38:59 +00:00
|
|
|
class CompilerStack: public langutil::CharStreamProvider
|
2014-10-30 21:52:15 +00:00
|
|
|
{
|
|
|
|
public:
|
2020-11-25 20:28:50 +00:00
|
|
|
/// Noncopyable.
|
|
|
|
CompilerStack(CompilerStack const&) = delete;
|
|
|
|
CompilerStack& operator=(CompilerStack const&) = delete;
|
|
|
|
|
2017-07-03 10:58:24 +00:00
|
|
|
enum State {
|
|
|
|
Empty,
|
|
|
|
SourcesSet,
|
2020-07-08 20:08:50 +00:00
|
|
|
Parsed,
|
|
|
|
ParsedAndImported,
|
2023-06-12 10:03:34 +00:00
|
|
|
AnalysisSuccessful,
|
2017-07-03 10:58:24 +00:00
|
|
|
CompilationSuccessful
|
|
|
|
};
|
|
|
|
|
2021-02-11 08:45:28 +00:00
|
|
|
enum class MetadataFormat {
|
|
|
|
WithReleaseVersionTag,
|
|
|
|
WithPrereleaseVersionTag,
|
|
|
|
NoMetadata
|
|
|
|
};
|
|
|
|
|
2019-09-06 17:11:07 +00:00
|
|
|
enum class MetadataHash {
|
|
|
|
IPFS,
|
|
|
|
Bzzr1,
|
|
|
|
None
|
|
|
|
};
|
|
|
|
|
2022-09-28 03:18:59 +00:00
|
|
|
enum class CompilationSourceType {
|
|
|
|
/// Regular compilation from Solidity source files.
|
|
|
|
Solidity,
|
|
|
|
/// Compilation from an imported Solidity AST.
|
|
|
|
SolidityAST
|
|
|
|
};
|
|
|
|
|
2016-01-12 00:04:39 +00:00
|
|
|
/// Creates a new compiler stack.
|
2019-09-17 14:06:43 +00:00
|
|
|
/// @param _readFile callback used to read files for import statements. Must return
|
2017-04-21 13:44:52 +00:00
|
|
|
/// and must not emit exceptions.
|
2020-04-01 03:04:29 +00:00
|
|
|
explicit CompilerStack(ReadCallback::Callback _readFile = ReadCallback::Callback());
|
2019-04-15 13:33:39 +00:00
|
|
|
|
2021-06-29 12:38:59 +00:00
|
|
|
~CompilerStack() override;
|
2014-12-05 14:27:07 +00:00
|
|
|
|
2018-07-10 07:18:59 +00:00
|
|
|
/// @returns the list of errors that occurred during parsing and type checking.
|
2018-11-14 16:11:55 +00:00
|
|
|
langutil::ErrorList const& errors() const { return m_errorReporter.errors(); }
|
2017-07-26 21:16:02 +00:00
|
|
|
|
|
|
|
/// @returns the current state.
|
|
|
|
State state() const { return m_stackState; }
|
|
|
|
|
2019-03-25 15:16:25 +00:00
|
|
|
/// Resets the compiler to an empty state. Unless @a _keepSettings is set to true,
|
|
|
|
/// all settings are reset as well.
|
|
|
|
void reset(bool _keepSettings = false);
|
2017-07-26 21:16:02 +00:00
|
|
|
|
2018-08-09 18:37:49 +00:00
|
|
|
/// Sets path remappings.
|
2019-02-03 00:32:34 +00:00
|
|
|
/// Must be set before parsing.
|
2021-03-29 12:46:19 +00:00
|
|
|
void setRemappings(std::vector<ImportRemapper::Remapping> _remappings);
|
2016-06-07 17:44:32 +00:00
|
|
|
|
2017-07-17 10:49:45 +00:00
|
|
|
/// Sets library addresses. Addresses are cleared iff @a _libraries is missing.
|
2019-02-03 00:32:34 +00:00
|
|
|
/// Must be set before parsing.
|
2019-12-11 16:31:36 +00:00
|
|
|
void setLibraries(std::map<std::string, util::h160> const& _libraries = {});
|
2017-07-17 10:49:45 +00:00
|
|
|
|
2017-07-17 10:54:02 +00:00
|
|
|
/// Changes the optimiser settings.
|
2019-02-03 00:32:34 +00:00
|
|
|
/// Must be set before parsing.
|
2021-06-17 15:19:27 +00:00
|
|
|
void setOptimiserSettings(bool _optimize, size_t _runs = OptimiserSettings{}.expectedExecutionsPerDeployment);
|
2017-07-17 10:54:02 +00:00
|
|
|
|
2017-07-17 11:12:00 +00:00
|
|
|
/// Changes the optimiser settings.
|
|
|
|
/// Must be set before parsing.
|
|
|
|
void setOptimiserSettings(OptimiserSettings _settings);
|
|
|
|
|
2019-09-18 14:44:36 +00:00
|
|
|
/// Sets whether to strip revert strings, add additional strings or do nothing at all.
|
|
|
|
void setRevertStringBehaviour(RevertStrings _revertStrings);
|
|
|
|
|
2020-10-28 18:59:19 +00:00
|
|
|
/// Sets the pipeline to go through the Yul IR or not.
|
|
|
|
/// Must be set before parsing.
|
|
|
|
void setViaIR(bool _viaIR);
|
|
|
|
|
2018-06-20 19:46:31 +00:00
|
|
|
/// Set the EVM version used before running compile.
|
|
|
|
/// When called without an argument it will revert to the default version.
|
2019-02-03 00:32:34 +00:00
|
|
|
/// Must be set before parsing.
|
2019-02-25 14:29:57 +00:00
|
|
|
void setEVMVersion(langutil::EVMVersion _version = langutil::EVMVersion{});
|
2018-02-21 22:43:40 +00:00
|
|
|
|
2022-11-22 12:05:20 +00:00
|
|
|
/// Set the EOF version used before running compile.
|
|
|
|
/// If set to std::nullopt (the default), legacy non-EOF bytecode is generated.
|
|
|
|
void setEOFVersion(std::optional<uint8_t> version);
|
|
|
|
|
2020-11-02 20:20:20 +00:00
|
|
|
/// Set model checker settings.
|
|
|
|
void setModelCheckerSettings(ModelCheckerSettings _settings);
|
2019-12-03 15:50:28 +00:00
|
|
|
|
2019-06-28 14:14:31 +00:00
|
|
|
/// Sets the requested contract names by source.
|
|
|
|
/// If empty, no filtering is performed and every contract
|
|
|
|
/// found in the supplied sources is compiled.
|
|
|
|
/// Names are cleared iff @a _contractNames is missing.
|
|
|
|
void setRequestedContractNames(std::map<std::string, std::set<std::string>> const& _contractNames = std::map<std::string, std::set<std::string>>{})
|
|
|
|
{
|
2017-09-13 18:43:16 +00:00
|
|
|
m_requestedContractNames = _contractNames;
|
|
|
|
}
|
|
|
|
|
2020-08-06 09:43:36 +00:00
|
|
|
/// Enable EVM Bytecode generation. This is enabled by default.
|
|
|
|
void enableEvmBytecodeGeneration(bool _enable = true) { m_generateEvmBytecode = _enable; }
|
|
|
|
|
2022-03-09 15:02:31 +00:00
|
|
|
/// Enable generation of Yul IR code.
|
2019-03-04 22:26:46 +00:00
|
|
|
void enableIRGeneration(bool _enable = true) { m_generateIR = _enable; }
|
|
|
|
|
2017-08-15 11:35:06 +00:00
|
|
|
/// @arg _metadataLiteralSources When true, store sources as literals in the contract metadata.
|
2019-02-03 00:32:34 +00:00
|
|
|
/// Must be set before parsing.
|
|
|
|
void useMetadataLiteralSources(bool _metadataLiteralSources);
|
2017-08-15 11:35:06 +00:00
|
|
|
|
2019-09-06 17:11:07 +00:00
|
|
|
/// Sets whether and which hash should be used
|
|
|
|
/// to store the metadata in the bytecode.
|
|
|
|
/// @param _metadataHash can be IPFS, Bzzr1, None
|
|
|
|
void setMetadataHash(MetadataHash _metadataHash);
|
|
|
|
|
2021-09-17 18:15:19 +00:00
|
|
|
/// Select components of debug info that should be included in comments in generated assembly.
|
|
|
|
void selectDebugInfo(langutil::DebugInfoSelection _debugInfoSelection);
|
|
|
|
|
2019-03-20 17:57:40 +00:00
|
|
|
/// Sets the sources. Must be set before parsing.
|
2019-04-06 23:48:37 +00:00
|
|
|
void setSources(StringMap _sources);
|
2019-03-20 17:57:40 +00:00
|
|
|
|
2017-10-13 13:19:53 +00:00
|
|
|
/// Adds a response to an SMTLib2 query (identified by the hash of the query input).
|
2019-02-03 00:32:34 +00:00
|
|
|
/// Must be set before parsing.
|
2019-12-11 16:31:36 +00:00
|
|
|
void addSMTLib2Response(util::h256 const& _hash, std::string const& _response);
|
2017-10-13 13:19:53 +00:00
|
|
|
|
2014-12-03 16:45:12 +00:00
|
|
|
/// Parses all source units that were added
|
2015-09-21 17:43:56 +00:00
|
|
|
/// @returns false on error.
|
|
|
|
bool parse();
|
2017-07-26 21:16:02 +00:00
|
|
|
|
2019-09-11 19:16:35 +00:00
|
|
|
/// Imports given SourceUnits so they can be analyzed. Leads to the same internal state as parse().
|
|
|
|
/// Will throw errors if the import fails
|
|
|
|
void importASTs(std::map<std::string, Json::Value> const& _sources);
|
|
|
|
|
2017-07-17 10:43:56 +00:00
|
|
|
/// Performs the analysis steps (imports, scopesetting, syntaxCheck, referenceResolving,
|
2017-08-15 11:35:06 +00:00
|
|
|
/// typechecking, staticAnalysis) on previously parsed sources.
|
2017-04-26 15:03:36 +00:00
|
|
|
/// @returns false on error.
|
|
|
|
bool analyze();
|
2017-07-26 21:16:02 +00:00
|
|
|
|
2017-04-26 15:03:36 +00:00
|
|
|
/// Parses and analyzes all source units that were added
|
|
|
|
/// @returns false on error.
|
2020-07-08 20:08:50 +00:00
|
|
|
bool parseAndAnalyze(State _stopAfter = State::CompilationSuccessful);
|
2017-07-26 21:16:02 +00:00
|
|
|
|
2014-12-05 14:35:05 +00:00
|
|
|
/// Compiles the source units that were previously added and parsed.
|
2015-09-21 17:43:56 +00:00
|
|
|
/// @returns false on error.
|
2020-07-08 20:08:50 +00:00
|
|
|
bool compile(State _stopAfter = State::CompilationSuccessful);
|
2014-11-11 16:41:48 +00:00
|
|
|
|
2017-07-26 21:16:02 +00:00
|
|
|
/// @returns the list of sources (paths) used
|
|
|
|
std::vector<std::string> sourceNames() const;
|
|
|
|
|
|
|
|
/// @returns a mapping assigning each source name its index inside the vector returned
|
|
|
|
/// by sourceNames().
|
|
|
|
std::map<std::string, unsigned> sourceIndices() const;
|
|
|
|
|
2021-06-29 12:38:59 +00:00
|
|
|
/// @returns the previously used character stream, useful for counting lines during error reporting.
|
|
|
|
langutil::CharStream const& charStream(std::string const& _sourceName) const override;
|
2017-07-26 21:16:02 +00:00
|
|
|
|
|
|
|
/// @returns the parsed source unit with the supplied name.
|
2017-08-21 19:35:27 +00:00
|
|
|
SourceUnit const& ast(std::string const& _sourceName) const;
|
2017-07-26 21:16:02 +00:00
|
|
|
|
2021-02-23 09:01:24 +00:00
|
|
|
/// @returns the parsed contract with the supplied name. Throws an exception if the contract
|
|
|
|
/// does not exist.
|
|
|
|
ContractDefinition const& contractDefinition(std::string const& _contractName) const;
|
|
|
|
|
2017-10-13 15:57:58 +00:00
|
|
|
/// @returns a list of unhandled queries to the SMT solver (has to be supplied in a second run
|
|
|
|
/// by calling @a addSMTLib2Response).
|
|
|
|
std::vector<std::string> const& unhandledSMTLib2Queries() const { return m_unhandledSMTLib2Queries; }
|
|
|
|
|
2017-08-15 11:35:06 +00:00
|
|
|
/// @returns a list of the contract names in the sources.
|
|
|
|
std::vector<std::string> contractNames() const;
|
|
|
|
|
2021-03-15 22:52:24 +00:00
|
|
|
/// @returns the name of the last contract. If _sourceName is defined the last contract of that source will be returned.
|
|
|
|
std::string const lastContractName(std::optional<std::string> const& _sourceName = std::nullopt) const;
|
2017-08-21 20:49:58 +00:00
|
|
|
|
2017-07-26 21:16:02 +00:00
|
|
|
/// @returns either the contract's name or a mixture of its name and source file, sanitized for filesystem use
|
|
|
|
std::string const filesystemFriendlyName(std::string const& _contractName) const;
|
|
|
|
|
2019-03-04 22:26:46 +00:00
|
|
|
/// @returns the IR representation of a contract.
|
|
|
|
std::string const& yulIR(std::string const& _contractName) const;
|
|
|
|
|
2023-05-02 13:34:12 +00:00
|
|
|
/// @returns the IR representation of a contract AST in format.
|
|
|
|
Json::Value const& yulIRAst(std::string const& _contractName) const;
|
|
|
|
|
2019-03-04 22:26:46 +00:00
|
|
|
/// @returns the optimized IR representation of a contract.
|
|
|
|
std::string const& yulIROptimized(std::string const& _contractName) const;
|
|
|
|
|
2023-05-02 13:34:12 +00:00
|
|
|
/// @returns the optimized IR representation of a contract AST in JSON format.
|
|
|
|
Json::Value const& yulIROptimizedAst(std::string const& _contractName) const;
|
|
|
|
|
2015-09-11 17:35:01 +00:00
|
|
|
/// @returns the assembled object for a contract.
|
2019-12-11 16:31:36 +00:00
|
|
|
evmasm::LinkerObject const& object(std::string const& _contractName) const;
|
2017-07-26 21:16:02 +00:00
|
|
|
|
2015-09-11 17:35:01 +00:00
|
|
|
/// @returns the runtime object for the contract.
|
2019-12-11 16:31:36 +00:00
|
|
|
evmasm::LinkerObject const& runtimeObject(std::string const& _contractName) const;
|
2017-07-26 21:16:02 +00:00
|
|
|
|
2015-03-02 00:13:10 +00:00
|
|
|
/// @returns normal contract assembly items
|
2019-12-11 16:31:36 +00:00
|
|
|
evmasm::AssemblyItems const* assemblyItems(std::string const& _contractName) const;
|
2017-07-26 21:16:02 +00:00
|
|
|
|
2015-03-02 00:13:10 +00:00
|
|
|
/// @returns runtime contract assembly items
|
2019-12-11 16:31:36 +00:00
|
|
|
evmasm::AssemblyItems const* runtimeAssemblyItems(std::string const& _contractName) const;
|
2017-07-26 21:16:02 +00:00
|
|
|
|
2020-05-28 11:17:16 +00:00
|
|
|
/// @returns an array containing all utility sources generated during compilation.
|
|
|
|
/// Format: [ { name: string, id: number, language: "Yul", contents: string }, ... ]
|
|
|
|
Json::Value generatedSources(std::string const& _contractName, bool _runtime = false) const;
|
|
|
|
|
2016-07-01 08:14:50 +00:00
|
|
|
/// @returns the string that provides a mapping between bytecode and sourcecode or a nullptr
|
|
|
|
/// if the contract does not (yet) have bytecode.
|
2017-08-21 19:35:27 +00:00
|
|
|
std::string const* sourceMapping(std::string const& _contractName) const;
|
2017-07-26 21:16:02 +00:00
|
|
|
|
2016-07-01 08:14:50 +00:00
|
|
|
/// @returns the string that provides a mapping between runtime bytecode and sourcecode.
|
|
|
|
/// if the contract does not (yet) have bytecode.
|
2017-08-21 19:35:27 +00:00
|
|
|
std::string const* runtimeSourceMapping(std::string const& _contractName) const;
|
2016-12-11 22:17:38 +00:00
|
|
|
|
2017-08-30 01:17:15 +00:00
|
|
|
/// @return a verbose text representation of the assembly.
|
2015-03-03 17:11:10 +00:00
|
|
|
/// @arg _sourceCodes is the map of input files to source code strings
|
2014-11-11 16:41:48 +00:00
|
|
|
/// Prerequisite: Successful compilation.
|
2021-03-17 11:13:57 +00:00
|
|
|
std::string assemblyString(std::string const& _contractName, StringMap const& _sourceCodes = StringMap()) const;
|
2017-06-15 09:22:47 +00:00
|
|
|
|
|
|
|
/// @returns a JSON representation of the assembly.
|
|
|
|
/// @arg _sourceCodes is the map of input files to source code strings
|
|
|
|
/// Prerequisite: Successful compilation.
|
2020-02-18 09:22:34 +00:00
|
|
|
Json::Value assemblyJSON(std::string const& _contractName) const;
|
2014-11-11 16:41:48 +00:00
|
|
|
|
2017-05-06 16:59:16 +00:00
|
|
|
/// @returns a JSON representing the contract ABI.
|
2014-11-11 16:41:48 +00:00
|
|
|
/// Prerequisite: Successful call to parse or compile.
|
2017-08-21 19:35:27 +00:00
|
|
|
Json::Value const& contractABI(std::string const& _contractName) const;
|
2017-07-26 21:16:02 +00:00
|
|
|
|
2019-10-30 17:11:33 +00:00
|
|
|
/// @returns a JSON representing the storage layout of the contract.
|
|
|
|
/// Prerequisite: Successful call to parse or compile.
|
|
|
|
Json::Value const& storageLayout(std::string const& _contractName) const;
|
|
|
|
|
2017-07-27 10:28:04 +00:00
|
|
|
/// @returns a JSON representing the contract's user documentation.
|
|
|
|
/// Prerequisite: Successful call to parse or compile.
|
|
|
|
Json::Value const& natspecUser(std::string const& _contractName) const;
|
|
|
|
|
|
|
|
/// @returns a JSON representing the contract's developer documentation.
|
2014-12-03 12:50:04 +00:00
|
|
|
/// Prerequisite: Successful call to parse or compile.
|
2017-07-27 10:28:04 +00:00
|
|
|
Json::Value const& natspecDev(std::string const& _contractName) const;
|
2017-06-13 16:02:57 +00:00
|
|
|
|
2022-01-31 16:52:08 +00:00
|
|
|
/// @returns a JSON object with the three members ``methods``, ``events``, ``errors``. Each is a map, mapping identifiers (hashes) to function names.
|
2022-02-01 14:42:08 +00:00
|
|
|
Json::Value interfaceSymbols(std::string const& _contractName) const;
|
2022-01-17 21:28:58 +00:00
|
|
|
|
2021-09-10 13:54:32 +00:00
|
|
|
/// @returns the Contract Metadata matching the pipeline selected using the viaIR setting.
|
|
|
|
std::string const& metadata(std::string const& _contractName) const { return metadata(contract(_contractName)); }
|
2014-11-11 16:41:48 +00:00
|
|
|
|
2021-09-10 13:54:32 +00:00
|
|
|
/// @returns the CBOR-encoded metadata matching the pipeline selected using the viaIR setting.
|
|
|
|
bytes cborMetadata(std::string const& _contractName) const { return cborMetadata(_contractName, m_viaIR); }
|
|
|
|
|
|
|
|
/// @returns the CBOR-encoded metadata.
|
|
|
|
/// @param _forIR If true, the metadata for the IR codegen is used. Otherwise it's the metadata
|
|
|
|
/// for the EVM codegen
|
|
|
|
bytes cborMetadata(std::string const& _contractName, bool _forIR) const;
|
2020-07-28 21:20:49 +00:00
|
|
|
|
2017-04-10 13:00:24 +00:00
|
|
|
/// @returns a JSON representing the estimated gas usage for contract creation, internal and external functions
|
|
|
|
Json::Value gasEstimates(std::string const& _contractName) const;
|
|
|
|
|
2021-02-11 08:45:28 +00:00
|
|
|
/// Changes the format of the metadata appended at the end of the bytecode.
|
|
|
|
void setMetadataFormat(MetadataFormat _metadataFormat) { m_metadataFormat = _metadataFormat; }
|
2021-09-10 13:54:32 +00:00
|
|
|
|
2022-07-11 22:50:32 +00:00
|
|
|
static MetadataFormat defaultMetadataFormat()
|
|
|
|
{
|
|
|
|
return VersionIsRelease ? MetadataFormat::WithReleaseVersionTag : MetadataFormat::WithPrereleaseVersionTag;
|
|
|
|
}
|
|
|
|
|
2014-11-11 16:41:48 +00:00
|
|
|
private:
|
2018-06-20 19:46:31 +00:00
|
|
|
/// The state per source unit. Filled gradually during parsing.
|
2014-12-03 16:45:12 +00:00
|
|
|
struct Source
|
|
|
|
{
|
2021-07-14 10:53:39 +00:00
|
|
|
std::shared_ptr<langutil::CharStream> charStream;
|
2014-12-03 16:45:12 +00:00
|
|
|
std::shared_ptr<SourceUnit> ast;
|
2019-12-11 16:31:36 +00:00
|
|
|
util::h256 mutable keccak256HashCached;
|
|
|
|
util::h256 mutable swarmHashCached;
|
2019-04-30 09:07:23 +00:00
|
|
|
std::string mutable ipfsUrlCached;
|
2018-12-18 15:38:25 +00:00
|
|
|
void reset() { *this = Source(); }
|
2019-12-11 16:31:36 +00:00
|
|
|
util::h256 const& keccak256() const;
|
|
|
|
util::h256 const& swarmHash() const;
|
2019-04-30 09:07:23 +00:00
|
|
|
std::string const& ipfsUrl() const;
|
2014-12-03 16:45:12 +00:00
|
|
|
};
|
|
|
|
|
2018-06-20 19:46:31 +00:00
|
|
|
/// The state per contract. Filled gradually during compilation.
|
2014-12-03 16:45:12 +00:00
|
|
|
struct Contract
|
|
|
|
{
|
2015-01-07 15:46:15 +00:00
|
|
|
ContractDefinition const* contract = nullptr;
|
2014-12-03 16:45:12 +00:00
|
|
|
std::shared_ptr<Compiler> compiler;
|
2020-11-17 23:05:18 +00:00
|
|
|
std::shared_ptr<evmasm::Assembly> evmAssembly;
|
|
|
|
std::shared_ptr<evmasm::Assembly> evmRuntimeAssembly;
|
2019-12-11 16:31:36 +00:00
|
|
|
evmasm::LinkerObject object; ///< Deployment object (includes the runtime sub-object).
|
|
|
|
evmasm::LinkerObject runtimeObject; ///< Runtime object.
|
2022-03-09 15:02:31 +00:00
|
|
|
std::string yulIR; ///< Yul IR code.
|
|
|
|
std::string yulIROptimized; ///< Optimized Yul IR code.
|
2023-05-02 13:34:12 +00:00
|
|
|
Json::Value yulIRAst; ///< JSON AST of Yul IR code.
|
|
|
|
Json::Value yulIROptimizedAst; ///< JSON AST of optimized Yul IR code.
|
2020-05-13 18:02:40 +00:00
|
|
|
util::LazyInit<std::string const> metadata; ///< The metadata json that will be hashed into the chain.
|
|
|
|
util::LazyInit<Json::Value const> abi;
|
|
|
|
util::LazyInit<Json::Value const> storageLayout;
|
|
|
|
util::LazyInit<Json::Value const> userDocumentation;
|
|
|
|
util::LazyInit<Json::Value const> devDocumentation;
|
2020-05-28 11:17:16 +00:00
|
|
|
util::LazyInit<Json::Value const> generatedSources;
|
|
|
|
util::LazyInit<Json::Value const> runtimeGeneratedSources;
|
2020-05-12 03:26:09 +00:00
|
|
|
mutable std::optional<std::string const> sourceMapping;
|
|
|
|
mutable std::optional<std::string const> runtimeSourceMapping;
|
2014-12-03 16:45:12 +00:00
|
|
|
};
|
2017-07-26 21:16:02 +00:00
|
|
|
|
2020-10-29 14:07:09 +00:00
|
|
|
void createAndAssignCallGraphs();
|
|
|
|
void findAndReportCyclicContractDependencies();
|
|
|
|
|
2016-01-12 00:04:39 +00:00
|
|
|
/// Loads the missing sources from @a _ast (named @a _path) using the callback
|
2021-10-28 13:30:31 +00:00
|
|
|
/// @a m_readFile
|
2016-01-12 00:04:39 +00:00
|
|
|
/// @returns the newly loaded sources.
|
2021-10-28 13:30:31 +00:00
|
|
|
StringMap loadMissingSources(SourceUnit const& _ast);
|
2016-06-07 17:44:32 +00:00
|
|
|
std::string applyRemapping(std::string const& _path, std::string const& _context);
|
2023-04-27 17:39:59 +00:00
|
|
|
bool resolveImports();
|
2018-06-20 19:46:31 +00:00
|
|
|
|
2020-07-08 20:08:50 +00:00
|
|
|
/// Store the contract definitions in m_contracts.
|
|
|
|
void storeContractDefinitions();
|
|
|
|
|
2023-03-15 13:38:03 +00:00
|
|
|
/// Annotate internal dispatch function Ids
|
|
|
|
void annotateInternalFunctionIDs();
|
|
|
|
|
2019-06-28 14:14:31 +00:00
|
|
|
/// @returns true if the source is requested to be compiled.
|
|
|
|
bool isRequestedSource(std::string const& _sourceName) const;
|
|
|
|
|
2017-09-13 18:43:16 +00:00
|
|
|
/// @returns true if the contract is requested to be compiled.
|
|
|
|
bool isRequestedContract(ContractDefinition const& _contract) const;
|
|
|
|
|
2023-09-06 00:29:11 +00:00
|
|
|
/// Perform the analysis steps of legacy language mode.
|
|
|
|
/// @returns false on error.
|
|
|
|
bool analyzeLegacy(bool _noErrorsSoFar);
|
|
|
|
|
|
|
|
/// Perform the analysis steps of experimental language mode.
|
|
|
|
/// @returns false on error.
|
|
|
|
bool analyzeExperimental();
|
|
|
|
|
2021-06-15 13:48:59 +00:00
|
|
|
/// Assembles the contract.
|
|
|
|
/// This function should only be internally called by compileContract and generateEVMFromIR.
|
2022-11-02 04:58:45 +00:00
|
|
|
void assembleYul(
|
2021-06-15 13:48:59 +00:00
|
|
|
ContractDefinition const& _contract,
|
|
|
|
std::shared_ptr<evmasm::Assembly> _assembly,
|
|
|
|
std::shared_ptr<evmasm::Assembly> _runtimeAssembly
|
|
|
|
);
|
|
|
|
|
2019-01-10 15:44:31 +00:00
|
|
|
/// Compile a single contract.
|
|
|
|
/// @param _otherCompilers provides access to compilers of other contracts, to get
|
|
|
|
/// their bytecode if needed. Only filled after they have been compiled.
|
2015-10-07 13:57:17 +00:00
|
|
|
void compileContract(
|
|
|
|
ContractDefinition const& _contract,
|
2019-01-10 15:44:31 +00:00
|
|
|
std::map<ContractDefinition const*, std::shared_ptr<Compiler const>>& _otherCompilers
|
2015-10-07 13:57:17 +00:00
|
|
|
);
|
2018-06-20 19:46:31 +00:00
|
|
|
|
2019-03-04 22:26:46 +00:00
|
|
|
/// Generate Yul IR for a single contract.
|
|
|
|
/// The IR is stored but otherwise unused.
|
|
|
|
void generateIR(ContractDefinition const& _contract);
|
|
|
|
|
2020-10-28 18:59:19 +00:00
|
|
|
/// Generate EVM representation for a single contract.
|
|
|
|
/// Depends on output generated by generateIR.
|
|
|
|
void generateEVMFromIR(ContractDefinition const& _contract);
|
|
|
|
|
2018-06-20 19:46:31 +00:00
|
|
|
/// Links all the known library addresses in the available objects. Any unknown
|
|
|
|
/// library will still be kept as an unlinked placeholder in the objects.
|
2016-11-14 10:46:43 +00:00
|
|
|
void link();
|
|
|
|
|
2018-06-20 19:46:31 +00:00
|
|
|
/// @returns the contract object for the given @a _contractName.
|
|
|
|
/// Can only be called after state is CompilationSuccessful.
|
2017-08-21 19:35:27 +00:00
|
|
|
Contract const& contract(std::string const& _contractName) const;
|
2018-06-20 19:46:31 +00:00
|
|
|
|
|
|
|
/// @returns the source object for the given @a _sourceName.
|
|
|
|
/// Can only be called after state is SourcesSet.
|
2017-08-21 19:35:27 +00:00
|
|
|
Source const& source(std::string const& _sourceName) const;
|
2014-12-03 16:45:12 +00:00
|
|
|
|
2022-03-09 15:02:31 +00:00
|
|
|
/// @param _forIR If true, include a flag that indicates that the bytecode comes from IR codegen.
|
2018-06-20 19:46:31 +00:00
|
|
|
/// @returns the metadata JSON as a compact string for the given contract.
|
2021-09-10 13:54:32 +00:00
|
|
|
std::string createMetadata(Contract const& _contract, bool _forIR) const;
|
2018-06-20 19:46:31 +00:00
|
|
|
|
2018-06-22 10:02:50 +00:00
|
|
|
/// @returns the metadata CBOR for the given serialised metadata JSON.
|
2021-09-10 13:54:32 +00:00
|
|
|
/// @param _forIR If true, use the metadata for the IR codegen. Otherwise the one for EVM codegen.
|
|
|
|
bytes createCBORMetadata(Contract const& _contract, bool _forIR) const;
|
2018-06-20 19:46:31 +00:00
|
|
|
|
|
|
|
/// @returns the contract ABI as a JSON object.
|
|
|
|
/// This will generate the JSON object and store it in the Contract object if it is not present yet.
|
2017-05-10 09:54:23 +00:00
|
|
|
Json::Value const& contractABI(Contract const&) const;
|
2018-06-20 19:46:31 +00:00
|
|
|
|
2019-10-30 17:11:33 +00:00
|
|
|
/// @returns the storage layout of the contract as a JSON object.
|
|
|
|
/// This will generate the JSON object and store it in the Contract object if it is not present yet.
|
|
|
|
Json::Value const& storageLayout(Contract const&) const;
|
|
|
|
|
2018-06-20 19:46:31 +00:00
|
|
|
/// @returns the Natspec User documentation as a JSON object.
|
|
|
|
/// This will generate the JSON object and store it in the Contract object if it is not present yet.
|
2017-07-27 10:28:04 +00:00
|
|
|
Json::Value const& natspecUser(Contract const&) const;
|
2018-06-20 19:46:31 +00:00
|
|
|
|
|
|
|
/// @returns the Natspec Developer documentation as a JSON object.
|
|
|
|
/// This will generate the JSON object and store it in the Contract object if it is not present yet.
|
2017-07-27 10:28:04 +00:00
|
|
|
Json::Value const& natspecDev(Contract const&) const;
|
2016-07-01 08:14:50 +00:00
|
|
|
|
2021-09-10 13:54:32 +00:00
|
|
|
/// @returns the Contract Metadata matching the pipeline selected using the viaIR setting.
|
2019-02-03 00:25:36 +00:00
|
|
|
/// This will generate the metadata and store it in the Contract object if it is not present yet.
|
2021-09-10 13:54:32 +00:00
|
|
|
std::string const& metadata(Contract const& _contract) const;
|
2019-02-03 00:25:36 +00:00
|
|
|
|
2017-06-01 12:28:32 +00:00
|
|
|
/// @returns the offset of the entry point of the given function into the list of assembly items
|
|
|
|
/// or zero if it is not found or does not exist.
|
|
|
|
size_t functionEntryPoint(
|
|
|
|
std::string const& _contractName,
|
|
|
|
FunctionDefinition const& _function
|
|
|
|
) const;
|
|
|
|
|
2017-07-13 19:06:04 +00:00
|
|
|
ReadCallback::Callback m_readFile;
|
2017-07-17 11:12:00 +00:00
|
|
|
OptimiserSettings m_optimiserSettings;
|
2019-09-18 14:44:36 +00:00
|
|
|
RevertStrings m_revertStrings = RevertStrings::Default;
|
2020-07-08 20:08:50 +00:00
|
|
|
State m_stopAfter = State::CompilationSuccessful;
|
2020-10-28 18:59:19 +00:00
|
|
|
bool m_viaIR = false;
|
2019-02-25 14:29:57 +00:00
|
|
|
langutil::EVMVersion m_evmVersion;
|
2022-11-22 12:05:20 +00:00
|
|
|
std::optional<uint8_t> m_eofVersion;
|
2020-11-02 20:20:20 +00:00
|
|
|
ModelCheckerSettings m_modelCheckerSettings;
|
2019-06-28 14:14:31 +00:00
|
|
|
std::map<std::string, std::set<std::string>> m_requestedContractNames;
|
2020-08-06 09:43:36 +00:00
|
|
|
bool m_generateEvmBytecode = true;
|
|
|
|
bool m_generateIR = false;
|
2019-12-11 16:31:36 +00:00
|
|
|
std::map<std::string, util::h160> m_libraries;
|
2021-03-29 12:46:19 +00:00
|
|
|
ImportRemapper m_importRemapper;
|
2014-12-06 01:39:58 +00:00
|
|
|
std::map<std::string const, Source> m_sources;
|
2017-10-13 13:19:53 +00:00
|
|
|
std::vector<std::string> m_unhandledSMTLib2Queries;
|
2019-12-11 16:31:36 +00:00
|
|
|
std::map<util::h256, std::string> m_smtlib2Responses;
|
2014-12-03 16:45:12 +00:00
|
|
|
std::shared_ptr<GlobalContext> m_globalContext;
|
|
|
|
std::vector<Source const*> m_sourceOrder;
|
2014-12-06 01:39:58 +00:00
|
|
|
std::map<std::string const, Contract> m_contracts;
|
2020-10-29 14:07:09 +00:00
|
|
|
|
2018-11-14 16:11:55 +00:00
|
|
|
langutil::ErrorList m_errorList;
|
|
|
|
langutil::ErrorReporter m_errorReporter;
|
2023-09-06 00:29:11 +00:00
|
|
|
std::unique_ptr<experimental::Analysis> m_experimentalAnalysis;
|
2017-01-17 12:02:01 +00:00
|
|
|
bool m_metadataLiteralSources = false;
|
2019-09-06 17:11:07 +00:00
|
|
|
MetadataHash m_metadataHash = MetadataHash::IPFS;
|
2021-09-17 18:15:19 +00:00
|
|
|
langutil::DebugInfoSelection m_debugInfoSelection = langutil::DebugInfoSelection::Default();
|
2017-04-28 13:24:59 +00:00
|
|
|
State m_stackState = Empty;
|
2022-09-28 03:18:59 +00:00
|
|
|
CompilationSourceType m_compilationSourceType = CompilationSourceType::Solidity;
|
2022-07-11 22:50:32 +00:00
|
|
|
MetadataFormat m_metadataFormat = defaultMetadataFormat();
|
2014-10-30 21:52:15 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|