主頁
新聞
詳情

貝洛博格（Belobog）：MoveBit 推出針對真實世界 Move 智能合約的模糊測試框架

iconTechFlow
分享
Share IconShare IconShare IconShare IconShare IconShare IconCopy
BitsLab 的 MoveBit 發表了一篇名為《Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts》（arXiv:2512.02918）的論文。該框架透過使用 Move 語言的型別系統生成有效的交易序列，改進了 Move 生態系統中的模糊測試功能。在對 109 個專案的測試中，它發現了 100% 的關鍵漏洞和 79% 的主要漏洞。該工具是開源開發的，目前正在接受 PLDI'26 的審查。什麼是 Belobog？它是一種專為 Move 智能合約設計的新測試工具。
來源:顯示原文
免責聲明：本頁面資訊可能來自第三方，不一定反映KuCoin的觀點或意見。本內容僅供一般參考之用，不構成任何形式的陳述或保證，也不應被解釋為財務或投資建議。 KuCoin 對任何錯誤或遺漏，或因使用該資訊而導致的任何結果不承擔任何責任。 虛擬資產投資可能存在風險。請您根據自身的財務狀況仔細評估產品的風險以及您的風險承受能力。如需了解更多信息，請參閱我們的使用條款和風險披露 。