📢 Gate广场 #NERO发帖挑战# 秀观点赢大奖活动火热开启!
Gate NERO生态周来袭!发帖秀出NERO项目洞察和活动实用攻略,瓜分30,000NERO!
💰️ 15位优质发帖用户 * 2,000枚NERO每人
如何参与:
1️⃣ 调研NERO项目
对NERO的基本面、社区治理、发展目标、代币经济模型等方面进行研究,分享你对项目的深度研究。
2️⃣ 参与并分享真实体验
参与NERO生态周相关活动,并晒出你的参与截图、收益图或实用教程。可以是收益展示、简明易懂的新手攻略、小窍门,也可以是行情点位分析,内容详实优先。
3️⃣ 鼓励带新互动
如果你的帖子吸引到他人参与活动,或者有好友评论“已参与/已交易”,将大幅提升你的获奖概率!
NERO热门活动(帖文需附以下活动链接):
NERO Chain (NERO) 生态周:Gate 已上线 NERO 现货交易,为回馈平台用户,HODLer Airdrop、Launchpool、CandyDrop、余币宝已上线 NERO,邀您体验。参与攻略见公告:https://www.gate.com/announcements/article/46284
高质量帖子Tips:
教程越详细、图片越直观、互动量越高,获奖几率越大!
市场见解独到、真实参与经历、有带新互动者,评选将优先考虑。
帖子需原创,字数不少于250字,且需获得至少3条有效互动
Move语言引用安全机制曝整数溢出漏洞 或致拒绝服务攻击
Move语言引用安全机制存在整数溢出漏洞
近期,安全研究人员在深入分析Move语言时发现了一个新的整数溢出漏洞。这个漏洞出现在Move语言的引用安全验证过程中,可能导致拒绝服务攻击。
Move语言在执行字节码前会进行代码验证,分为4个步骤。这个漏洞存在于引用安全(reference_safety)验证阶段。引用安全验证的主要目的是确保没有悬空引用、可变引用访问安全、全局存储引用访问安全等。
验证过程会遍历每个基本块的字节码指令。基本块是指除入口和出口外没有分支指令的代码序列。Move语言通过分析分支指令和循环指令来识别基本块。
引用安全验证使用AbstractState结构体来跟踪局部变量和引用关系。它包含locals和borrow graph两部分。验证时会比较执行前后的状态,并合并更新。
漏洞出现在合并状态的join_函数中。该函数使用u8类型迭代locals,但如果参数和局部变量总数超过256会导致整数溢出。虽然有校验locals个数的逻辑,但没有考虑参数长度。
攻击者可以构造一个循环的基本块,利用这个溢出改变状态。再次执行时访问不存在的locals索引会导致panic,从而造成拒绝服务。
这个漏洞反映出即使是静态类型安全的语言也可能存在安全隐患。建议Move语言在运行时增加更多安全检查,不仅依赖验证阶段。同时也说明了代码审计的重要性。