SDD:Solidity编译器中高危漏洞:误删状态变量赋值-ODAILY_usdd币怎么挖矿

本文从源代码层面详解介绍了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;

孙宇晨:火必最快可能在年底获得香港加密货币交易牌照:金色财经报道,孙宇晨表示,火必最快可能在今年年底在香港获得加密货币交易牌照。火必在上周提交了虚拟资产服务提供商(VASP)的申请,其中包括 18 个月的宽限期,监管机构可以批准或拒绝该申请,但孙宇晨说他预测在未来六到十二个月内可能会有决定。孙宇晨还表示,OKX、Gate.io、Bitget、Bybit 等交易所也可能申请牌照。当被问及是否可能在加拿大与 Coinbase 和 Kraken 竞争时,孙宇晨表示,鉴于其严格的监管要求,火必没有在该国开展业务的计划。[2023/6/2 11:55:05]

functionattack()public{

x=1;

x=2;

}

}

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

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

contractEocene{

uintpublicx;

functionattack(uinti)public{

火必宣布ARIX(ARIX)将于5月12日16时(GMT+8)上线:5月7日消息,火必发布官方公告,宣布第四期投票上币(PrimeVote)获胜项目ARIX(ARIX)将于5月12日16时(GMT+8)上线,正式开放ARIX现货交易(ARIX /USDT)和网格交易(ARIX /USDT)。据悉,ARIX充值业务将于5月9日16时(GMT+8) 开放;其提币业务将于5月13日16时 (GMT+8) 开放。[2023/5/8 14:49:38]

x=1;

y(i);

x=2;

}

functiony(uinti)internal{

if(i>0){

return;

}

assembly{return(0,0。

}

}

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

火必将于4月19日22时上线CHAD 并于次日23时开放提币业务:4月19日,据火必官方公告消息,火必平台将于北京时间4月19日22时开放CHAD(Chad Coin)的充币业务,并于4月20日23时开放CHAD提币业务。其现货交易将于充币量达到市场交易需求后开放,具体开放时间将另行公告。

据悉,CHAD总供应量为235,000,000,000枚,是一种Meme币,在4月18日推出后曾大幅上涨。[2023/4/19 14:13:52]

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

实际编译测试结果如下:

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

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

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

Crema Finance:已将1700100枚USDC从以太坊桥接至Solana并完成转换:7月8日消息,Crema Finance就此前攻击事件发布更新称,团队已将1700100枚USDC从以太坊桥接至Solana,并将其转换为SOL、mSOL和stSOL。现在Solana地址的余额包括30935 SOL、17171 mSOL和18295 stSOL。以太坊上剩余的USDC稍后将被桥接回相应的稳定币。[2022/7/8 2:00:34]

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

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

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

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

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

跨链DEX zkLink宣布在Solana上成功实现Groth16zk-SNARK证明系统:3月25日消息,跨链DEX zkLink宣布在Solana上成功实现了Groth16zk-SNARK证明系统。zkLink是一个基于ZK-Rollup技术的跨链交易平台,旨在链接多链,聚合不同生态的流动性。现订单簿模式的DEX Demo已上线测试网进行测试。[2022/3/25 14:17:51]

函数结束:将所有标记为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优化步骤。

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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

区块博客

FILLUS:SignalPlus每日晨报(20230208)-ODAILY_LPL

各位朋友,欢迎来到SignalPlus每日晨报。SignalPlus晨报每天为各位更新宏观市场信息,并分享我们对宏观趋势的观察和看法。欢迎追踪订阅,与我们一起关注最新的市场动态.

[0:0ms0-9:295ms