今日运势评分

-3

本月运势

戊子月

震荡偏多

乙克戊，卯冲酉

乙不栽植千株不长
卯不穿井水泉不香

宜

祭祀,修饰垣墙,馀事勿取

忌

诸事不宜

月相

下弦

底部反弹

日冲

Powered by RitMEX

注册/

ONDO0.46 -3.21%

TRUMP5.61 -1.29%

SUI1.56 -3.17%

TON1.61 -2.13%

TRX0.27 -2.46%

DOGE0.14 -2.43%

XRP2.01 -1.29%

SOL132.45 -2.92%

BNB881.86 -0.48%

ETH3084.53 -4.73%

BTC90290.55 -2.46%

ETH Gas0.36 Gwei

恐惧

29

首页 深潮精选 Research 项目发现 7x24h︎快讯 最新活动

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

2025.03.31 - 257 天前

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.12.12 - 11 小时前

Axe Compute [NASDAQ：AGPU] 完成企业重组（原POAI），企业级去中心化 GPU 算力 Aethir 正式进入主流市场

Predictive Oncology 更名为 Axe Compute (AGPU)，成为纳斯达克首家去中心化 GPU 基础设施上市公司，通过 Aethir 网络为 AI 企业提供算力服务，旨在解决行业算力瓶颈问题。

美国纳斯达克 AI 基础设施

2025.12.12 - 17 小时前

x402 V2 发布：当 AI Agent 开始拥有“信用卡”，哪些项目将被重估？

静水流深，重拾 402 叙事的草蛇灰线。

原创 AI Agent x402

2025.12.12 - 18 小时前

摩根大通倒戈华尔街：囤积白银，卡位黄金，做空美元信用

摩根大通左手在西方锁死实物的流动性，制造恐慌；右手在东方筑好避风的蓄水池，坐收红利。

摩根大通黄金美元

2025.12.11 - 昨天

力说｜1011两月忌

在这个市场，散户的命，不是命。是流动性的无私贡献者。

爆仓

2025.12.11 - 前天

火币HTX合约跟单4.0重磅上线：三重福利同步开启，参与瓜分80,000 USDT奖池

火币HTX推出合约跟单4.0版本，引入智能跟单和资金隔离功能，并同步开启三重活动，总奖池高达80,000 USDT，旨在为用户提供更智能、高效、安全的交易体验。

HTX

2025.12.11 - 前天

奖池60,000 USDT，“TRON ECO Holiday Odyssey”年度生态探索盛会即将开启

波场TRON ECO于圣诞&元旦期间推出大型生态联动活动，多重豪华礼遇覆盖全线生态体验！

TRON

2025.12.11 - 前天

Strategy 硬刚 MSCI：DAT 的终极辩护

信中直言：「这一提议具有严重误导性，将对全球投资者利益与数字资产行业发展造成深远的破坏性后果，我们强烈要求 MSCI 完全撤销该计划。」

Strategy DAT

2025.12.11 - 前天

Sentient 推出开源 AI 研究代理 SERA-Crypto，解决加密行业的“幻觉危机”

一个面向生产环境的全新框架，填补金融 AI 的可靠性缺口，能够提供可验证的实时洞察——这是通用模型（GPT-5、Gemini、Grok 4 等）长期难以做到的。

Sentient

2025.12.11 - 前天

$RAVE TGE 倒计时：当蹦迪成为链上经济行为，Web3 破圈时刻真正到来

RaveDAO 正在加速成长为一个以娱乐为驱动力构建开放型文化生态，引领 Web3 真正走向落地与破圈的关键基础设施。

原创 RaveDAO

2025.12.10 - 前天

Verse8的自述：如何在AI时代支持创作表达

创造力将在协作、再创作与共享所有权中持续增值。

AI

7x24h 快讯︎更多

12月12日 23:59: BTC跌破9万美元，24小时跌幅为0.07%

12月12日 23:57: Hyperliquid 将在升级中引入投资组合保证金机制

12月12日 23:56: 分析：黑客入侵ZEROBASE前端，270余用户损失超24万美元

12月12日 23:54: 今日加密货币市值前100代币涨跌：MERL涨15.98%，XTZ跌4.65%

12月12日 23:52: 麻吉大哥再次被清算了 6489 枚 ETH 并亏损 72 万美元

12月12日 23:50: 渣打银行：黄金价格将于2026年再创新高

12月12日 23:44: 过去 24 小时全网爆仓 3.42 亿美元，多空双爆

12月12日 23:41: ETH跌破3100美元，24小时跌幅为1.83%

深潮精选更多

: 当信仰成为牢笼：加密时代的沉没成本陷阱
2025.12.12

: x402 V2 发布：当 AI Agent 开始拥有“信用卡”，哪些项目将被重估？
2025.12.12

: a16z：2026 年加密领域 17 大潜力趋势前瞻
2025.12.12

: 加密早报：美国初请失业金人数激增，Do Kwon 被判 15 年监禁
2025.12.12

: 持有加密货币最多的千禧一代迎离婚高峰，但法律还没准备好
2025.12.11

TechFlow Selected深潮精选

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

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

2025.03.31 Goplus WebAssembly

专注Web3行业深度报道，洞察潮水流动的方向

我要投稿

风险提示：本网站所有内容不构成投资建议，且无任何带单、引导交易服务；根据央行等十部委发布《关于进一步防范和处置虚拟货币交易炒作风险的通知》请读者提高风险意识。联系我们 / support@techflowpost.com 琼ICP备2022009338号

FOLLOW US

扫码关注公众号