📢 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語言在運行時增加更多安全檢查,不僅依賴驗證階段。同時也說明了代碼審計的重要性。