今日运势评分

-7

本月运势

癸未月

震荡偏多

比肩争财,寅冲申
丁不剃头头必生疮
丑不冠带主不还乡

破屋,坏垣,馀事勿取

诸事不宜

月相

渐盈凸

冲顶回落

日冲

Powered by RitMEX

TRUMP8.47 -2.26%

SUI2.87 -1.76%

TON2.77 -1.02%

TRX0.29 0.16%

DOGE0.17 -2.47%

XRP2.28 0.30%

SOL149.71 -1.95%

BNB660.69 -0.34%

ETH2549.63 -1.25%

BTC108293.86 -0.68%

ETH Gas0.63 Gwei

贪婪
73

FreeWavm:Goplus 针对 WebAssembly 虚拟机漏洞挖掘的最新研究成果,已获 ISSTA 2025 全文正式录用

WebAssembly 运行时是执行 WebAssembly 代码的基础架构,被广泛用作 Web 浏览器和区块链系统的执行引擎。

近期,Goplus针对WebAssembly虚拟机漏洞挖掘的最新研究成果获ISSTA2025全文正式录用!

ISSTA作为软件工程领域的四大顶级会议之一,同时也是中国计算机学会(CCF)认定的软件工程领域的A类国际学术会议,专注于收录全球科研机构和科技企业在软件工程、软件测试领域的最新前沿进展。

1. 问题定义

WebAssembly 运行时是执行 WebAssembly 代码的基础架构,被广泛用作 Web 浏览器和区块链系统的执行引擎。例如,以太坊 2.0 和 Polkadot 已采用 WebAssembly 运行时作为智能合约的执行环境,以提高其效率和安全性。尽管 WebAssembly 运行时越来越流行,但它们也带来了新的攻击面。WebAssembly 运行时中的缺陷和瑕疵可能会导致意外行为、错误结果甚至严重的安全后果,尤其是对于依赖于编译成 WebAssembly 字节码的智能合约的区块链平台而言。

2.区块链智能合约虚拟机模糊测试框架

面向WebAssembly虚拟机漏洞挖掘,本文设计了一个基于解析树突变和快照引导的WebAssembly虚拟机模糊测试框架FreeWavm。

FreeWavm 由四个关键组件组成。

(1)为了捕获 WebAssembly 代码的结构化特征,制定了一个 WebAssembly 模块解析器,将 WebAssembly 字节码转换为解析树结构。

(2)然后,设计了一个结构感知的变异模块,为 WebAssembly 运行时生成有意义的测试输入。这涉及采用定制的节点优先级策略从解析树中过滤出有趣的节点,然后对这些节点执行特定的变异。

(3)为了确保变异测试输入的完整性,提出了一种自动修复机制来纠正变异的解析树。这保证了模块解析器可以成功解析新生成的测试输入,从而确保连续变异的有效性。

(4)构建了一个快照池来维护未完成的解析树结构,这些解析树结构要么触发崩溃,要么覆盖目标运行时中的新执行路径,从而允许先前的知识用于后续的变异,从而增加发现 WebAssembly 运行时中深层漏洞的概率。

FreeWavm的总体架构

对多个WebAssembly 虚拟机进行了广泛的实验。FreeWavm 已成功发现 69 个新的漏洞,其中 24 个被分配了 CVE。相比之下,FreeWavm 在实现的代码覆盖率和 24 小时运行期间触发的漏洞数量方面均优于其他同类产品。

欢迎加入深潮TechFlow官方社群

Telegram订阅群:https://t.me/TechFlowDaily
Twitter官方账号:https://x.com/TechFlowPost
Twitter英文账号:https://x.com/BlockFlow_News
作者GoPlus SecurityGoPlus Security
相关文章
2025.07.08 - 24 分钟前
PolyFlow 重磅推出 Pelago Connect 稳定币支付网关,赋能全球商业
Pelago Connect 的推出,将为全球商业提供高效、低门槛、合规的稳定币支付解决方案,助力现实世界资产(RWA)与 PayFi 应用生态进一步落地。
2025.07.08 - 28 分钟前
PolyFlow 携手 BNB Attestation Service (BAS),共建 Web3 支付链上信用与合规新标准
这一集成将进一步完善 PolyFlow 多链信用护照体系,解锁 Web3 支付、DeFi 以及企业级数字商业场景下的全新应用。
2025.07.07 - 20 小时前
香港会不会跳过扫码支付,直接进入稳定币支付?
香港错过扫码支付,是因为既没有用户痛点,也没有替代动力。
2025.07.07 - 23 小时前
比特币房贷,一个 6.6 万亿美元的新蓝海
房地产大亨特朗普限时回归,他要用「比特币房贷」吹起下一个泡沫。
2025.07.07 - 昨天
发币量首超 Pump.fun,Letsbonk.fun 上有什么?
市占率已达 51%,平台龙头项目包括 USELESS、Hosico、IKUN。
2025.07.07 - 昨天
为什么说美股代币化才是区块链吞噬世界的开始?
距离区块链技术诞生十多年后,我们终于迎来了「区块链吞噬世界」的开始。
2025.07.04 - 4 天前
加密行业正在经历最严峻的淘汰潮,唯一的机会可能是垂直细分打法
区块链本质是资金轨道,只要产品能在无序细分市场中利用这些轨道促成经济交易,价值就会产生。
2025.07.04 - 4 天前
打新平台 Jupiter Studio 上线,首日带起链上行情
平台 24 小时总交易量近 1 亿美元,多个项目市值突破百万美元。
2025.07.04 - 4 天前
金融科技的未来引擎,蚂蚁国际用“区块链 + AI”重塑全球资金管理
区块链和 AI 技术,正彻底改变资金、信息和生意在经济体中的连接方式。
2025.07.04 - 4 天前
Ripple 的法律纠纷结束,XRP 的价格将会何去何从?
该公司终于结束了与美国 SEC 的斗争。但其区块链仍然鲜有应用,其稳定币也面临着一场艰苦的战斗。