首页 > 其他分享 >华为云WebAssembly代码静态符号执行技术实现新突破

华为云WebAssembly代码静态符号执行技术实现新突破

时间:2023-11-23 11:22:38浏览次数:41  
标签:WebAssembly 符号执行 华为 Wasm 2023 Eunomia

本文分享自华为云社区《华为云WebAssembly代码静态符号执行技术实现新突破,相关论文被软件工程顶会ISSTA2023接收并荣获杰出论文奖》,作者:华为云软件分析Lab 。

WebAssembly(Wasm)最初由W3C 的Mozilla、谷歌、微软、苹果等著名公司合作研发,最初是作为浏览器内应用程序的高性能执行引擎。因为Wasm的高性能、多语言支持、安全性和可移植等特性,Wasm 也正在从Web走向云、边缘和嵌入式,成为软件创新的热点。鉴于Wasm的优越特性,业界专家一致预测Wasm语言在云计算场景中的应用将会越来越广泛。然而针对Wasm,业界目前缺乏成熟、高效的静态符号执行引擎,而且当前的符号执行路径搜索技术通常过于粗糙,主要支持整个程序的全局搜索策略,但不同的代码块可能适合不同的局部策略,这使得Wasm的缺陷发现存在较大挑战。静态符号执行技术是程序分析领域中至关重要的一项技术,可以在软件源码中寻找软件缺陷为填补这一业界空白,,相关的分析和优化方法一直在学术界和工业界得到持续关注。但是,符号执行会遇到路径爆炸的问题。在实践中,用户经常需要利用各种搜索策略来指导符号执行以达到他们的分析目标,减少路径爆炸,但是现有的基于搜索或者引导的符号执行方法通常过于粗糙,它们主要支持整个程序的全局搜索策略,但不同的代码块可能适合不同的局部策略。而对于WebAssembly(Wasm),目前尚无成熟、高效的符号执行引擎。

针对上述问题,华为云PaaS技术创新LAB联合北京大学郭耀教授、李锭助理教授研究团队,针对WasmWebAssembly代码孵化开发了一个可工业场景落地的静态符号执行引擎服务Eunomia。该工作对应论文“Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries”已被软件工程顶会 ISSTA 2023在2023 年国际软件测试与分析会议(2023 ACM International Symposium on Software Testing and Analysis 2023, ACM ISSTA 2023)录用发表上,发表题为 “Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries” 的论文,并荣获 “荣获该会议的 ACM SIGSOFT 杰出论文奖(Distinguished Paper Award)”。论文第一作者为北京大学计算机学院 2019 级博士生贺宁宇。

图1 ACM SIGSOFT 杰出论文奖证书

Wasm是在泛在计算领域广泛使用的一种新的中间语言范型,可以为 C/C++、Go 等语言提供统一的泛在应用执行环境。Wasm已被广泛应用于网络应用程序、区块链应用以及服务器无感知(severless)应用。但是现有的针对Wasm的符号执行引擎不完全支持Wasm接口(WASI),导致应用范围受限。研究团队针对 Wasm语言的特点设计了一种领域专用语言(DSL)AES Script,该语言允许用户将先验知识形式化的引入到被测试程序中。通过作者提出并实现的基于用户细粒度知识引导的Wasm符号执行引擎,相较于目前的前沿工作,该工作可以将针对 Wasm语言的静态符号执行分析效率提升一到两个数量级,成功在实际应用和系统中发现了多个 0-Day 漏洞,证明了该工作的有效性,并为后续工作指出了一个新的研究方向。

图2 论文工作的框架与工作流图

实验结果表明,在Logic Bomb基准测试集上成功触发逻辑炸弹和超时的案例数量上,Eunomia明显优于Manticore。在所有12个类别中,Eunomia在专注于符号内存、浮点数和外部库函数的逻辑炸弹方面有更好的表现。对于分析真实世界的应用程序,结果如表2的第三列和第四列所示。我们可以看到,在8个应用程序中,Manticore只能在2小时内完成对3个应用程序的分析,而Eunomia的数量是5个。此外,很容易观察到,与Manticore相比,Eunomia的效率提高了一到两个数量级,并发现了2个新漏洞。

 

PaaS技术创新Lab隶属于华为云,致力于综合利用软件分析、数据挖掘、机器学习等技术,为软件研发人员提供下一代智能研发工具服务的核心引擎和智慧大脑。我们将聚焦软件工程领域硬核能力,不断构筑研发利器,持续交付高价值商业特性!加入我们,一起开创研发新“境界”!

点击关注,第一时间了解华为云新鲜技术~

 

标签:WebAssembly,符号执行,华为,Wasm,2023,Eunomia
From: https://www.cnblogs.com/huaweiyun/p/17851150.html

相关文章

  • 华为智选与最新交换机快速配置文档
    1234@abcd1234@abcdsysundoinfo-centerenablesysname SW01interfaceVlanif1ipaddress192.168.10.12255.255.255.0qiproute-static0.0.0.00.0.0.0192.168.10.1vlan231interfacerangeGigabitEthernet0/0/1toGigabitEthernet0/0/24portlink-typeaccesspor......
  • 笔记:华为路由器的使用方法与CTL终端基本操作
    使用华为路由器的方法与基本操作:在本文中可能出现下列命令行格式,它们所代表的含义如下。格式意义粗体命令行关键字(命令中保持不变、必须照输的部分)采用加粗字体表示。斜体命令行参数(命令中必须由实际值进行替代的部分)采用斜体表示。[]表示用“[......
  • 华为云康宁:携手伙伴,基于核心技术构筑健康可持续新生态
    本文分享自华为云社区《华为云康宁:携手伙伴,基于核心技术构筑健康可持续新生态》,作者:华为云头条。2023年11月17日-19日,中国SaaS大会在苏州举办。在18日举行的生态之变主论坛上,华为云全球生态部总裁康宁发表“基于核心技术构筑健康可持续的新生态”主题演讲,分享华为云生态最新进展......
  • 华为设备_AAA认证
    拓扑图配置/验证1.本地AAA认证、授权,缺省域(telnet)AR1telnetAR2配置sysnameAR1#interfaceGigabitEthernet0/0/0ipaddress10.1.12.1255.255.255.0#sysnameAR2#aaalocal-userhciepasswordcipherhuawei@123local-userhcieprivilegelevel3local-userhci......
  • (强烈建议收藏)如果前任同事与公司发生不愉快把设备登录与恢复密码都修改了,怎么办?!(华为设
    作者:网络之路一天 首发公众号:网络之路博客(ID:NetworkBlog)配合视频看效果更佳:https://b23.tv/2xJMeF(建议电脑端),或者B站搜索:网络之路Blog1、非常糟糕,bootrom跟console都忘记了(被修改了)怎么处理?(1)、设备较老的只能返厂了(2)、可以按设备的RST/PNP进行恢复比如AR路由器的15/160/200系列,NE......
  • 超越华为的只有华为,智界S7打破汽车智能座舱边界
    如果用三个词,来概括一下,最近一年国内新能源汽车市场的发展状况,相信大家心中的答案会是一致的:除了降价、降价,还是降价。为了促进销量,不少车企开启了降价模式。一场史无前例的价格战,已经席卷整个行业。那么,新能源汽车市场价格内卷,是因为新车不好卖了吗?并不如此。乘联会的最新数据显示......
  • 华为光网络
    华为光网络一、初步了解光网络1、固网传输 2、传输网络的结构业务上下站点、光纤、中继站点、彩光与灰光2.1、业务上下站点将“用户侧设备”发出的“客户侧”信号--灰光转换为彩光灰光不能在光网络中传送,彩光可以。OTM/FOADM/OLA/ROADM......
  • 再推新品,但华为智慧屏还在等一个契机
    文|智能相对论作者|佘凯文在智能电动汽车狂潮下,昔日热闹的“智能电视”类市场(包括“智慧屏”、“智能屏”、“智慧电视”、“社交电视”等等五花八门的产品)愈发冷清——近些年来,家电行业内部呈现出的“分化”越发明显,如空调、冰箱产品仍有稳定增长,而像电视这类产品已经在面临连......
  • 如果VLAN间有了互访的需求,那该如何实现呢?(华为华三主流解决方案)
    作者:网络之路一天 首发公众号:网络之路博客(ID:NetworkBlog)单臂路由的形式虽然解决了VLAN间互通的问题,但是呢,里面存在几个比较明显的弊端。由于早期的路由器只有两个接口,所以只能一根线接到一个二层交换机上面,造成了路径是次优的,比如client2要去Server的流量,它是先从核心交换机到出......
  • 中小企业数字化的“下半场”,与华为的生态伙伴“引力场”
    作者|曾响铃文|响铃说中小企业数字化始终是业界关注的重点,也催生了庞大的产业数字化价值空间等待挖掘,在如何推进这件事上,各方都在持续发力。这其中,针对中小企业迫切需求,来自华为的动作正变得越来越紧凑、高效。不久前结束的2023全国中小企业数字化转型大会上,来自华为的专题方案......