INT:SMT/BEC 合约整数溢出解析——Solidity 合约中的整数安全问题

链闻ChainNews:

在传统的桌面windows攻防对抗领域,伴随着微软和合作伙伴对软件开发流程推行SDL规范,同时对安全投入的逐步加大,单一的封包超长和文件特定字段内容超长导致的溢出漏洞在一些大型软件里几乎绝迹。目前,零星剩下了一些整数类的漏洞。如去年的nginxcve-2017-7529。而区块链方向,比较早的整数溢出类漏洞可追溯到2010年的比特币大整数溢出,CVE-2010-5139,黑客通过整数溢出构造了大概92233720368

?//0-1=2**256-1functionunderflow()returns(uint256_underflow){uint256min=0;returnmin-1;}}

在线测试工具中编译运行结果如下。

可以看到uint256当取最大整数值,上溢之后直接回绕返回值为0,uint256当取0下溢之后直接回绕,返回值为2^256-1。这是solidity中整数溢出场景的常规情况。

LBank蓝贝壳于4月27日22:00上线SMTY,开放USDT交易:据官方公告,4月27日22:00,LBank蓝贝壳上线SMTY(Smoothy Finance),开放USDT交易,4月27日21:00开放充值,4月29日18:00开放提现。

为庆祝SMTY上线,LBank蓝贝壳将于4月27日21:00开启 充值&交易SMTY瓜分10,000 USDT活动。用户净充值数量不少于10枚SMTY ,可按净充值量获得等值1%的SMTY的USDT空投奖励,单个用户最高奖励200 USDT,本部分总奖池4,000 USDT;交易赛将根据用户的SMTY交易量进行排名,前30名可按个人交易量占比瓜分 6,000 USDT。详情请点击官方公告。[2021/4/27 21:04:10]

1

functiondiv(uint256a,uint256b)internalconstantreturns(uint256){//assert(b>0);//Solidityautomaticallythrowswhendividingby0uint256c=a/b;//assert(a==b*ca%b);//Thereisnocaseinwhichthisdoesn'tholdreturnc;}

数据:狗狗币总持币地址数超508万:金色财经报道,数据显示,当前狗狗币DOGE 24小时交易笔数3676,24小时活跃地址数7351,总持币地址数达5,083,507。DOGE每日手续费总和曾在10月29日上涨至6.77万DOGE,创近6个月来新高。[2022/10/31 11:59:55]

functionsub(uint256a,uint256b)internalconstantreturns(uint256){assert(b<=a);returna-b;}

functionadd(uint256a,uint256b)internalconstantreturns(uint256){uint256c=ab;assert(c>=a);returnc;}}

可以看到相关的可能产生溢出的操作都单独封装成函数,加入assert断言做判断避免溢出。调用SafeMath库的方法如下。

2.SMT合约中的整数安全问题简析

浦东新区32个重大产业科技项目开工,聚焦人工智能、元宇宙等领域:金色财经报道,8月23日上午,浦东新区举行2022重大产业科技项目开竣工仪式,全力推动产业经济的恢复和重振,为浦东引领区建设注入强劲动力。当天开工的32个浦东重大产业科技项目,投资额634.74亿元,涉及生物医药、人工智能、集成电路、汽车制造及城市功能提升等多个领域,覆盖范围广、科技含量高、服务功能强,能够不断完善新区的创新链、产业链、价值链。

从公布投资额的项目看,张江人工智能岛二期投资42.36亿元,计划用地42857平方米,预计于2026年建成。在一期建成投用且取得良好集聚效应的基础上,二期项目将由3栋研发办公塔楼、图书馆及配套商业、演艺馆、运动馆组成,打造集生活、办公、娱乐等多功能的创新型城市复合体,继续聚焦人工智能、元宇宙等硬核领域资源。[2022/8/23 12:43:34]

与大型软件或者操作系统动辄十万行甚至千万行代码不同,智能合约的代码行数通常不多,功能也不是很复杂。一起来看下SMT合约的相关代码。

SMT现价报0.0537美元,跌幅为2.01%:根据火币Pro数据显示,SMT现价报0.0537美元,跌幅为2.01%。[2018/2/22]

SMT的合约地址是https://etherscan.io/address/0x55f93985431fc9304077687a35a1ba103dc1e081#code问题存在于transferProxy()函数代码如下

在进行加法操作的时候没有采用Safemath库进行约束。_feeSmt参数和_value参数均可以被外界进行控制,_feeSmt和value均是uint256无符号整数,相加后最高位舍掉,结果为0。

直接溢出绕过代码检查导致可以构造巨大数量的smt代币并进行转账。

攻击者的恶意转账记录可以从如下链接进行看到。https://etherscan.io/tx/0x1abab4c8db9a30e703114528e31dee129a3a758f7f8abc3b6494aad3d304e43f

SMT/BTC折合人民币约0.96元 涨幅为6.72%:截止北京时间11:30,火币Pro平台SMT对BTC价格为0.00000995,折合人民币约0.96元,当前涨幅为6.72%。[2018/1/5]

3.BEC合约中的整数安全问题简析

BEC的合约地址是0xC5d105E63711398aF9bbff092d4B6769C82F793D,合约代码可以访问etherscan的如下网址进行查看https://etherscan.io/address/0xc5d105e63711398af9bbff092d4b6769c82f793d#code。代码一共是299行。

问题函数如下图。

可以看到batchTransfer函数中,语句balances=balances.sub(amount)和balances]=balances].add(_value)中,调用Safemath库中的安全函数来完成加减操作,但是在第三行代码,uint256amount=uint256(cnt)*_value却直接使用乘法运算符。

其中变量cnt为转账的地址数量,可以通过外界的用户输入_receivers进行控制,_value为单地址转账数额,也可以直接进行控制。乘法运算溢出,产生了非预期amount数值,并且外界可以通过调整_receivers和_value的数值进行操控。紧接着下面有一句对amount进行条件检查的代码require(_value>0&&balances>=amount);其中balances代表当前用户的余额。amount代表要转的总币数。代码意思为确保当前用户拥有的代币余额大于等于转账的总币数才进行后续转账操作。因为通过调大单地址转账数额_value的数值,amount溢出后可以为一个很小的数字或者0,很容易绕过balances>=amount的检查代码。从而产生巨大_value数额的恶意转账。

攻击者的恶意转账记录,可以从如下链接看到https://etherscan.io/tx/0xad89ff16fd1ebe3a0a7cf4ed282302c06626c1af33221ebe0d3a470aba4a660f。

可以从代码totalSupply进行看到,bec代币总量共计才7000000000枚。

但是攻击者通过溢出amount绕过后续require中的判定条件分别向两个地址恶意转账了57,896,044,618,658,100,000,000,000,000,000,000,000,000,000,000,000,000,000,000.792003956564819968枚bec代币。

4.合约整数漏洞事件总结

单纯从技术上来说,smt和bec的本次合约的漏洞成因和利用都不复杂,均是通过构造恶意的整数溢出绕过条件检查。相信以太坊生态下的其他数千种代币的合约也不同程度的存在类似的整数漏洞安全隐患,由于Solidity合约是直接跟钱打交道,合约的安全开发和审计值得ICO项目方和Solidity开发人员投入更多时间和精力,确保合约的安全性。

参考链接:https://ethereumdev.io/safemath-protect-overflows/https://zhuanlan.zhihu.com/p/35989258?utm_medium=social&utm_member=ZjZlYmQ1MGZkMjZjZmJkNTE4MGFmMmExZjA5NTM0NmE=&utm_source=wechat_session&wechatShare=1&from=timeline&isappinstalled=0

更多精彩内容,关注链闻ChainNews公众号,或者来微博@链闻ChainNews与我们互动!转载请注明版权和原文链接!

来源链接:www.8btc.com

本文来源于非小号媒体平台:

链闻研究院

现已在非小号资讯平台发布1篇作品,

非小号开放平台欢迎币圈作者入驻

入驻指南:

/apply_guide/

本文网址:

/news/3626905.html

免责声明:

1.资讯内容不构成投资建议,投资者应独立决策并自行承担风险

2.本文版权归属原作所有,仅代表作者本人观点,不代表非小号的观点或立场

下一篇:

文摘|确保加密货币安全的十条戒律

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

链链资讯

[0:0ms0-3:763ms