solc github.com/ethereum/dapp-bin/=/usr/local/lib/dapp-bin/ file.sol
这实质上是指示编译器在 /usr/local/lib/dapp-bin 下搜索
所有以 github.com/ethereum/dapp-bin/ 开头的文件。
当访问文件系统搜索导入文件时，不以./或../开头的路径 被视为
相对于使用 --base-path 和 --include-path 选项指定的目录（如果没有指定基本路径，则是当前工作目录）。
此外，通过这些选项添加的路径部分将不会出现在合约元数据中。
出于安全考虑，编译器 对它可以访问的目录有一些限制。
在命令行中指定的源文件的目录和重映射的目标路径被自动允许被文件阅读器访问，
但其他的都是默认为拒绝的。
通过 --allow-paths /sample/path,/another/sample/path 语句可以允许额外的路径（和它们的子目录）。
通过 --base-path 指定的路径内的所有内容都是允许的。
以上只是对编译器如何处理导入路径的一个简化。
关于详细的解释，包括例子和边缘情况的讨论，请参考 路径解析 一节。
库链接
如果您的合约使用 库合约，
您会注意到字节码中含有 __$53aea86b7d70b31448b230b20ae141a537$__ 形式的字符串。
这些是实际库的地址的占位符。此占位符是完全限定库名的keccak256散列的十六进制编码的34个字符前缀。
字节码文件也将包含形式为 // <placeholder> -> <fq library name> 的代码行，以帮助识别占位符代表的库。
注意，完全限定的库名是其源文件的路径和用 : 分隔的库名。
您可以使用 solc 作为链接器，意味着您将在这些地方插入库的地址：
要么在您的命令中加入
--libraries "file.sol:Math=0x1234567890123456789012345678901234567890 file.sol:Heap=0xabCD567890123456789012345678901234567890"，
为每个库提供一个地址（用逗号或空格作为分隔符），要么将字符串存储在一个文件中（每行一个库），
用 -libraries fileName 运行 solc。
从Solidity 0.8.1 开始，接受 = 作为库和地址之间的分隔符，而 : 作为分隔符已被废弃。
它将在未来被删除。目前 --libraries "file.sol:Math:0x1234567890123456789012345678901234567890 file.sol:Heap:0xabCD56789012345678901234567890" 也可以工作。
如果调用 solc 时有 --standard-json 选项，它将在标准输入中期待一个JSON输入（如下所述），
并在标准输出中返回一个JSON输出。这是对更复杂的，特别是自动化使用时的推荐接口。
该进程将始终以 “成功” 状态终止，并通过JSON输出来报告任何错误。
选项 --base-path 也以标准JSON模式处理。
如果调用 solc 时带有 --link 选项，所有输入文件都被编译成格式为 __$53aea86b7d70b31448b230b20ae141a537$__
形式的未链接的二进制文件（十六进制编码），并被本地链接（如果从标准输入（stdin）读取输入，则被写到标准输出（stdout））。
在这种情况下，除了 --libraries 以外的所有选项都被忽略（包括 -o ）。
不推荐在生成的字节码上手动链接库文件，因为它不会更新合约元数据。
由于元数据包含在编译时指定的库的列表，而字节码包含元数据哈希，
您将得到不同的二进制文件，并且这取决于何时进行链接。
您应该在编译合约时请求编译器链接库文件，方法是使用 solc 的 --libraries 选项
或 libraries 键（如果您使用编译器的标准JSON接口）。
库的占位符曾经是库本身的完全限定名称，而不是它的哈希值。
这种格式仍然被 solc --link 支持，但编译器将不再输出它。
这一改变是为了减少库之间发生碰撞的可能性，因为只有完全限定的库名的前36个字符可以被使用。
byzantium
在汇编中可使用操作码 returndatacopy， returndatasize 和 staticcall。
staticcall 操作码在调用非库合约 view 或 pure 函数时使用，它可以防止函数在EVM级别修改状态，也就是说，甚至适用于您使用无效的类型转换时。
可以访问从函数调用返回的动态数据。
引入了 revert 操作码，这意味着 revert 将不会浪费gas。
推荐的与Solidity编译器连接的方式，特别是对于更复杂和自动化的设置，是所谓的JSON输入输出接口。
编译器的所有发行版都提供相同的接口。
这些字段一般都会有变化，有些是可选的（如前所述），但我们尽量只做向后兼容的改动。
编译器API期望JSON格式的输入，并将编译结果输出为JSON格式的输出。
不使用标准错误输出，进程将始终以 “成功” 状态终止，即使存在错误。错误总是作为JSON输出的一部分报告。
以下各小节通过一个例子来描述该格式。
当然，注释是不允许的，在此仅用于解释。
输入说明
// 必选：源代码语言。目前支持的是 “Solidity“ 和 “Yul“。
"language": "Solidity",
// 必选
"sources":
// 这里的键值是源文件的 “全局“ 名称，
// 导入文件可以通过重映射使用其他文件（见下文）。
"myFile.sol":
// 可选： 源文件的kaccak256哈希值
// 如果通过URL导入，它用于验证检索的内容。
"keccak256": "0x123...",
// 必选（除非声明了 "content" 字段，参见下文）: 指向源文件的URL。
// 应按此顺序导入URL，并根据keccak256哈希值检查结果（如果有的话）。
// 如果哈希值不匹配，或者没有一个URL(s)的结果是成功的，就应该产生一个错误。
// 使用命令行界面只支持文件系统路径。
// 通过JavaScript接口，URL将被传递给用户提供的读取回调，因此可以使用回调支持的任何URL。
"urls":
"bzzr://56ab...",
"ipfs://Qma...",
"/tmp/path/to/file.sol"
// 如果使用文件，其目录应通过 `--allow-paths <path>` 添加到命令行中。
"destructible":
// 可选：源文件的keccak256哈希值
"keccak256": "0x234...",
// 必选：（除非使用 “urls“）：源文件的字面内容
"content": "contract destructible is owned { function shutdown() { if (msg.sender == owner) selfdestruct(owner); } }"
// 可选
"settings":
// 可选： 在给定的阶段后停止编译。目前这里只有 “parsing” 有效。
"stopAfter": "parsing",
// 可选： 经过排序的重映射列表
"remappings": [ ":g=/dir" ],
// 可选： 优化器设置
"optimizer": {
// 默认情况下是禁用的。
// 注意：enabled=false 仍然保留了一些优化功能。见下面的注解。
// 警告：在0.8.6版本之前，省略 “enabled“ 键并不等同于将其设置为false，
// 实际上会禁用所有优化。
"enabled": true,
// 根据您打算运行代码的次数进行优化。
// 较低的值将更多地针对初始部署成本进行优化，
// 较高的值将更多地针对高频使用进行优化。
"runs": 200,
// 打开或关闭优化器组件的细节。
// 上面的 “enabled“ 开关提供了两个默认值，
// 可以在这里进行调整。如果给出了 “details“，“enabled“ 可以省略。
"details": {
// 如果没有给出 details，窥视孔优化器总是打开的，使用 details 来关闭它。
"peephole": true,
// 如果没有给出 details，内联器总是打开的，
// 使用 details来关闭它。
"inliner": true,
// 如果没有给出 details，未使用的跳板移除器总是打开的，
// 使用 details来关闭它。
"jumpdestRemover": true,
// 在换元运算中，有时会对字词重新排序。
"orderLiterals": false,
// 移除重复的代码块
"deduplicate": false,
// 常见的子表达式消除，这是最复杂的步骤，但也能提供最大的收益。
"cse": false,
// 优化代码中字面数字和字符串的表示。
"constantOptimizer": false,
// 新的Yul优化器。主要在ABI coder v2 和 内联汇编的代码上运行。
// 它与全局优化器设置一起被激活，并且可以在这里停用。
// 在 Solidity 0.6.0 之前，它必须通过这个开关激活。
"yul": false,
// Yul优化器的调优选项。
"yulDetails": {
// 改善变量的堆栈槽的分配，可以提前释放堆栈槽。
// 如果Yul优化器被激活，则默认激活。
"stackAllocation": true,
// 选择要应用的优化步骤。
// 可选, 如果省略，优化器将使用默认序列。
"optimizerSteps": "dhfoDgvulfnTUtnIf..."
// 编译EVM的版本。
// 影响到类型检查和代码生成。版本可以是 homestead,
// tangerineWhistle, spuriousDragon, byzantium, constantinople, petersburg, istanbul or berlin
"evmVersion": "byzantium",
// 可选：改变编译管道以通过Yul的中间表示法。
// 这在默认情况下是假的。
"viaIR": true,
// 可选： 调试设置
"debug"
: {
// 如何处理 revert（和require）的原因字符串。设置是
// "default", "strip", "debug" 和 "verboseDebug"。
// "default" 不注入编译器生成的revert字符串，而是保留用户提供的字符串。
// "strip" 删除所有的revert字符串（如果可能的话，即如果使用了字面意义），以保持副作用。
// "debug" 为编译器生成的内部revert注入字符串，目前为ABI编码器V1和V2实现。
// "verboseDebug" 甚至将进一步的信息附加到用户提供的revert字符串中（尚未实现）。
"revertStrings": "default",
// 可选：在产生的EVM汇编和Yul代码的注释中包括多少额外的调试信息。可用的组件是：
// - `location`: `@src <index>:<start>:<end>` 形式的注解，
// 表明原始 Solidity 文件中相应元素的位置，其中：
// - `<index>` 是与 `@us-src` 注释相匹配的文件索引。
// - `<start>` 是该位置的第一个字节的索引。
// - `<end>` 是该位置后第一个字节的索引。
// - `snippet`: 来自 `@src` 所示位置的单行代码片断。
// 该片段有引号，并跟随相应的 `@src` 注释。
// - `*`: 通配符值，可用于请求所有的东西。
"debugInfo": ["location", "snippet"]
// 元数据设置 (可选)
"metadata": {
// 只使用字面内容，不使用URL（默认为false）。
"useLiteralContent": true,
// 对附加在字节码上的元数据哈希值使用给定的哈希值方法。
// 元数据哈希可以通过选项 "none "从字节码中删除。
// 其他选项是 "ipfs" 和 "bzzr1"。
// 如果省略该选项，默认使用 "ipfs"。
"bytecodeHash": "ipfs"
// 库的地址。如果这里没有给出所有的库，
// 可能会导致未链接的对象，其输出数据是不同的。
"libraries": {
// 顶层键是使用该库的源文件的名称。
// 如果使用了重映射，这个源文件应该与应用重映射后的全局路径一致。
// 如果这个键是一个空字符串，那就是指一个全局水平。
"myFile.sol": {
"MyLib": "0x123123..."
// 以下可用于根据文件和合约名称选择所需的输出。
// 如果这个字段被省略，那么编译器就会加载并进行类型检查，但除了错误之外不会产生任何输出。
// 第一层键是文件名，第二层键是合约名。
// 一个空的合约名称用于不与合约绑定而是与整个源文件绑定的输出，如AST。
// 以星号作为合约名称是指文件中的所有合约。
// 同样地，以星形作为文件名可以匹配所有文件。
// 要选择编译器可能产生的所有输出，
// 使用 "outputSelection"。{ "*": { "*": [ "*" ], "": [ "*" ] } }"，
// 但要注意，这可能会不必要地减慢编译过程。
// 可用的输出类型如下：
// 文件级别（需要空字符串作为合约名称）：
// ast - 所有源文件的AST
// 合约级别（需要合约名称或 "*"）：
// abi - ABI
// devdoc - 开发者文档（Natspec格式）
// userdoc - 用户文档（Natspec格式）
// metadata - 元数据
// ir - 优化代码前的Yul中间表示法
// irOptimized - 优化后的中间表现
// storageLayout - 合约的状态变量的槽位、偏移量和类型
// evm.assembly - 新的汇编格式
// evm.legacyAssembly - JSON中的旧式汇编格式
// evm.bytecode.functionDebugData - 在函数层面的调试信息
// evm.bytecode.object - 字节码对象
// evm.bytecode.opcodes - 操作码列表
// evm.bytecode.sourceMap - 源码映射（对调试有用）
// evm.bytecode.linkReferences - 链接引用（如果是未链接的对象）
// evm.bytecode.generatedSources - 由编译器生成的源码
// evm.deployedBytecode* - 部署的字节码（拥有evm.bytecode的所有选项）。
// evm.deployedBytecode.immutableReferences - 从AST id到引用不可变的字节码范围的映射
// evm.methodIdentifiers - 函数哈希值的列表
// evm.gasEstimates - 函数gas估计
// ewasm.wast - WebAssembly S-expressions格式的Ewasm
// ewasm.wasm - WebAssembly二进制格式的Ewasm
// 注意，使用 `evm`， `evm.bytecode`， `ewasm` 等将选择该输出的每个目标部分。
// 此外，`*` 可以作为通配符来请求所有东西。
"outputSelection": {
"*": {
"*": [
"metadata", "evm.bytecode" // 启用每个合约的元数据和字节码输出。
, "evm.bytecode.sourceMap" // 启用每个合约的源码映射输出。
"": [
"ast" // 启用每个文件的AST输出。
// 启用文件def中定义的MyContract的abi和opcodes输出。
"def": {
"MyContract": [ "abi", "evm.bytecode.opcodes" ]
// modelChecker对象是实验性的，可能会有变化。
"modelChecker":
// 选择哪些合约应作为部署的合约进行分析。
"contracts":
"source1.sol": ["contract1"],
"source2.sol": ["contract2", "contract3"]
// 选择除法和模数运算的编码方式。
// 当使用 `false` 时，它们被替换为与松弛变量的乘法。这是默认的。
// 如果您使用CHC引擎而不使用Spacer作为Horn求解器（例如使用Eldarica），
// 建议在这里使用 `true`。
// 关于这个选项的更详细的解释，请参见形式验证部分。
"divModWithSlacks": false,
// 选择要使用的模型检查器引擎：所有（默认）， bmc， chc， 无。
"engine": "chc",
// 选择哪些类型的不变性应该报告给用户：合约，重入。
"invariants": ["contract", "reentrancy"],
// 选择是否输出所有未验证的目标。默认为 `false`。
"showUnproved": true,
// 如果有的话，选择应该使用哪些求解器。
// 关于求解器的描述，见形式验证部分。
"solvers": ["cvc4", "smtlib2", "z3"],
// 选择哪些目标应该被检查：常数条件，下溢，溢出，除以零，余额，断言，弹出空数组，界外。
// 如果没有给出该选项，所有目标都被默认检查，除了 Solidity >=0.8.7 的下溢/溢出。
// 目标描述见形式化验证部分。
"targets": ["underflow", "overflow", "assert"],
// 每个SMT查询的超时时间，以毫秒为单位。
// 如果没有给出这个选项，SMTChecker将默认使用确定性的资源限制。
// 给定超时为0意味着任何查询都没有资源/时间限制。
"timeout": 20000
// 强制：错误类型，如 “TypeError“， “InternalCompilerError“， “Exception” 等等。
// 完整的类型清单见下文。
"type": "TypeError",
// 强制：发生错误的组件，例如“general”，“ewasm”等
"component": "general",
// 强制：错误的严重级别（“error”，“warning” 或 “info”，但请注意，这可能在未来被扩展。）
"severity": "error",
// 可选：错误原因的唯一代码
"errorCode": "3141",
// 强制
"message": "Invalid keyword",
// 可选：带错误源位置的格式化消息
"formattedMessage": "sourceFile.sol:100: Invalid keyword"
// 这包含文件级的输出。
// 它可以通过outputSelection设置进行限制/过滤。
"sources": {
"sourceFile.sol": {
// 标识符（用于源码映射）
"id": 1,
// AST对象
"ast": {}
// 这里包含了合约级别的输出。
// 它可以通过outputSelection设置进行限制/过滤。
"contracts": {
"sourceFile.sol": {
// 如果使用的语言没有合约名称，则该字段应该留空。
"ContractName": {
// 以太坊合约的应用二进制接口（ABI）。如果为空，则表示为空数组。
// 请参阅 https://docs.soliditylang.org/en/develop/abi-spec.html
"abi": [],
// 请参阅元数据输出文档（序列化的JSON字符串）
"metadata": "{/* ... */}",
// 用户文档（natspec）
"userdoc": {},
// 开发人员文档（natspec）
"devdoc": {},
// 中间表示形式 (string)
"ir": "",
// 请参阅 "存储布局" 文档。
"storageLayout": {"storage": [/* ... */], "types": {/* ... */} },
// EVM相关输出
"evm": {
// 汇编 (string)
"assembly": "",
// 旧风格的汇编 (object)
"legacyAssembly": {},
