tron:Solidity编译器中高危漏洞：误删状态变量赋值-ODAILY_Chronicum

本文从源代码层面详解介绍了Solidity(0.8.13<=solidity<0.8.17)编译器在编译过程中，因为Yul优化机制的缺陷导致的状态变量赋值操作被错误删除的中/高漏洞原理及相应的预防措施。

帮助合约开发人员提高合约开发时的安全意识，有效规避或缓解SOL-2022-7漏洞对合约代码安全性的影响。

1.漏洞详情

Yul优化机制是Solidity编译合约代码的可选项，可以通过优化机制减少合约中某些冗余的指令，从而降低合约部署和执行过程中的gas费用，具体的Yul优化机制可以参考官方文档。

在编译过程的UnusedStoreEliminator优化步骤中，编译器会将“冗余”的Storage写入操作移除，但由于对“冗余”的识别缺陷，当某个Yul函数块调用特定的用户定义函数(函数内部存在某个分支不影响调用块的执行流)，且在该Yul函数块中被调用函数前后存在对同一状态变量的写入操作，会导致在Yul优化机制将块中该用户定义函数被调用前的所有的Storage写入操作从编译层面被永久删除。

考虑如下代码：

contractEocene{

uintpublicx;

币安期货将停止支持多资产模式下的SOL:金色财经报道，据币安官方公告显示，从2023-06-05 10:00 (UTC)开始，币安期货（Binance Futures）将停止支持SOL作为多资产模式的保证金资产，SOL的转入限额先前已于2023年3月20日08:00 (UTC)在多资产模式下更新为零。为了维持保证金水平并避免任何潜在的清算，币安建议在USD?-M期货账户中持有SOL作为抵押品的用户在2023-06-05 10:00 (UTC)之前在账户中增加保证金。此外，用户应2023-06-05 10:00 (UTC)之前将SOL资产从USD?-M合约账户中转出，币安合约将在2023-06-0710:00 (UTC)后自动将SOL资产转入用户的现货钱包。[2023/5/28 9:47:24]

functionattack()public{

x=1;

x=2;

}

}

在UnusedStoreEliminator优化时，x=1显然对于函数attack()的整个执行是冗余的。自然的，优化后的Yul代码会将x=1;删除来降低合约的gas消耗。

接下来考虑在中间插入对自定义函数调用：

Solv Protocol 半同质化代币标准 ERC-3525 已完成参考实现并开源代码:12月12日消息，NFT 去中心化平台 Solv Protocol 宣布已完成其提出的半同质化代币标准ERC-3525 的参考实现 v1.1.0，该版本具有以下特点： 不可升级和可升级的合约实现 ；Openzeppelin 的 Counter 作为默认 ID 生成方法。此外，Solv Protocol 联合创始人表示，现已免费将代码开源给同行开发者。

据悉，ERC-3525 是与 ERC-721 完全兼容的半同质代币标准，每个 ERC-3525 代币都可以表示为具有各自属性的唯一 ERC-721 实体。通过添加“单元”属性，开发人员设法创建了半可替代性，可以随意拆分和合并的单独的资产。[2022/12/12 21:39:27]

contractEocene{

uintpublicx;

functionattack(uinti)public{

x=1;

y(i);

x=2;

}

functiony(uinti)internal{

if(i>0){

Solana元宇宙项目Solice完成430万美元融资，三箭资本领投:12月2日消息，基于Solana的元宇宙项目Solice完成430万美元融资，Three Arrows Capital领投，Alameda Research、Jump Capital、Genblock Capital、Kucoin Labs、Solar Eco Fund、CMS Holdings、Rarestone Capital等参投。Solice创始人Christian Zhang表示，该游戏将采用原生代币，以及NFT支持的游戏资产。这些资产也将有游戏中的金融化元素。

Solice是一款基于Decentraland和The Sandbox模式的跨平台PC和虚拟现实（VR）游戏。游戏的软启动暂定在2022年第一季度。（CoinDesk）[2021/12/2 12:45:47]

return;

}

assembly{return(0,0。

}

}

显然，由于y()函数的调用，我们需要判断y()函数是否会影响函数attack()的执行，如果y()函数可以导致整个函数执行流终止(注意，不是回滚，Yul代码中的return()函数可以实现)，那么x=1显然是不能删除的，所以对于上面的合约来说由于y()函数中存在assembly{return(0,0。可以导致整个消息调用终止，x=1自然不能被删除。

以太坊Solidity发布0.8.4版本，添加自定义错误功能:官方消息，以太坊编程语言Solidity团队发布0.8.4版本，添加自定义错误功能，激活SMTChecker，并修复了SolidityABI解码器V2中存在的错误。[2021/4/22 20:46:55]

但在Solidity编译器中，由于代码逻辑的问题，使得x=1在编译时被错误的删除，永久改变了代码逻辑。

实际编译测试结果如下：

震惊！不应该被优化的x=1的Yul代码丢了！欲知后事如何，请往下看。

在solidiry编译器代码的UnusedStoreEliminator中，通过SSA变量追踪和控制流追踪来判断一个Storage写入操作是否是冗余的。当进入一个自定义函数中时，UnusedStoreEliminator如果遇到：

memory或storage写入操作：将memory和storage写入操作存储到m_store变量中，并将该操作的初始状态设置为Undecided；

函数调用：获取函数的memory或storage读写操作位置，并和m_store变量中存储的所有Undecided状态下的操作进行对比：

DeFi智能配资挖矿平台Solo.top V1版本正式上线Heco:3月16日，DeFi智能配资挖矿平台Solo.top V1版本上线火币生态链Heco，开启USDT、HT、MDX、ETH、HBTC、DOT六大币种单币挖矿，首期开放1000万USDT额度，V2及V3版本将在接下来陆续上线。

Solo.top是部署在多链生态中（Heco、BSC、OKEx Chain和以太坊等公链）的DeFi智能配资挖矿平台，旨在为DeFi用户提供接近0门槛且安全的DeFi挖矿服务。

目前Solo.top智能合约已获得Certik Skynet审计。[2021/3/16 18:48:33]

1.如果是对m_store中存储操作的写入覆盖，则将m_store中对应的操作状态改为Unused

2.如果是对m_store中存储操作的读取，则将对应m_store中的对应操作状态改为Used

3.如果该函数没有任何可以继续执行消息调用的分支，将m_store中所有的内存写操作改为Unused

1.在上诉条件下，如果函数可以终止执行流，将m_store中，状态为Undecided状态的storage写操作改为Used；反之，标识为Unused

函数结束：将所有标记为Unused的写入操作删除

对memory或storage写入操作的初始化代码如下：

可以看到，将遇到的memory和storage写入操作存储到m_store中

遇到函数调用时的处理逻辑代码如下：

其中，operationFromFunctionCall()和applyOperation()实现上诉的2.1，2.2处理逻辑。位于下方的基于函数的canContinue和canTerminate进行判断的If语句实现2.3逻辑。

需要注意，正是下方的If判断的缺陷，导致了漏洞的存在！！！

operationFromFunctionCall()来获取该函数的所有memory或storage读写操作，这里需要注意，Yul中存在很多的内置函数，例如sstore(),return()。这里可以看到对于内置函数和用户定义函数有不同的处理逻辑。

而applyOperation()函数则是将从operationFromFuncitonCall()获取的所有读写操作进行对比，来判断存储到m_store中的是否在该次函数调用中被读写，并修改m_store中的对应的操作状态。

考虑上述的UnusedStoreEliminator优化逻辑对Eocene合约的attack()函数的处理：

将x=1存储操作到m_store变量中，状态设置为Undecided

1.遇到y()函数调用，获取y()函数调用的所有读写操作

2.遍历m_store变量，发现y()调用引起的所有读写操作和x=1无关，x=1状态仍然是Undecided

1.获取y()函数的控制流逻辑，因为y()函数存在可以正常返回的分支，所以canContinue为True，不进入If判断。x=1状态仍然为Undecided！！！

3.遇到x=2存储操作：

1.遍历m_store变量，发现处于Undecided状态的x=1，x=2操作覆盖x=1，设置x=1状态为Unused。

2.将x=2操作存入m_store,初始状态为undecided。

4.函数结束：

1.将所有m_store中undecided状态的操作状态改为Used

2.将所有m_store中Unused状态的操作删除

显然，在调用函数时，如果被调用函数可以终止消息执行，应该将被调用函数前所有的Undecided状态的写入操作改为Used，而不是依旧保留为Undecided，导致位于被调用函数前的写入操作被错误的删除。

此外，需要注意的是，每个用户自定义函数控制流标识是会传递的，所以在多个函数递归调用的场景下，即便最底层函数满足上诉逻辑，x=1也有可能被删除。

在Solidity中，举例了基本相同的逻辑下，不会受到影响的合约代码。但，该代码不受该漏洞的影响并不是因为UnusedStoreEliminator的处理逻辑存在其他可能，而是在UnusedStoreEliminator之前的Yul优化步骤中，存在FullInliner优化过程会将微小或只有一次调用的被调用函数，嵌入到调用函数中，避免了漏洞触发条件中的用户定义函数。

contractNormal{

uintpublicx;

functionf(boola)public{

x=1;

g(a);

x=2;

}

functiong(boola)internal{

if(!a)

assembly{return(0,0。

}

}

编译结果如下：

函数g(boola)被嵌入到函数f()中，避免了用户定义函数的漏洞条件，避免了漏洞的产生。

2.解决方案

最根本的解决方案是不使用在受影响范围的solidity编译器进行编译，如果需要使用漏洞版本的编译器，可以考虑在编译时去除UnusedStoreEliminator优化步骤。

如果想要从合约代码层面进行漏洞缓解，考虑到多个优化步骤的复杂性，以及实际函数调用流的复杂性，请寻找专业的安全人员进行代码审计来帮助发现合约中的因为该漏洞导致的安全问题。

标签：TRORONtronIMI888TronChronicumeCeltronEthereum Gas Limit

fil币价格今日行情热门资讯