当前位置： 首页 > news >正文

【论文阅读】WaDec: Decompiling WebAssembly Using Large Language Model

news 2025/10/30 11:48:18

论文阅读笔记：WaDec: Decompiling WebAssembly Using Large Language Model

在这里插入图片描述

1. 来源出处
  • 论文标题: WaDec: Decompiling WebAssembly Using Large Language Model
  • 作者: Xinyu She, Yanjie Zhao, Haoyu Wang
  • 会议: 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024)
  • DOI: 10.1145/3691620.3695020
2. 研究背景与问题陈述

WebAssembly（Wasm）是一种跨平台二进制指令格式，旨在实现接近本地速度的高效执行。尽管其在多种领域（如区块链、物联网和云计算）得到了广泛应用，但由于其二进制本质，Wasm 在可读性和调试方面面临挑战。为了进行逆向工程，开发者和研究人员依赖于反编译工具。然而，传统反编译器在生成可读代码方面存在显著问题，这使得高效的反编译成为一种迫切需求。

2.1 先前方法的不足

  1. 传统静态工具的限制:

    • 可读性差：如 Ghidra、Wasm2c 和 Wasm-decompile 等工具生成的代码缺乏可读性和结构化组织，通常只能逐条指令翻译，保留了过多的低级指令风格。
    • 代码膨胀：传统工具的输出常包含冗余中间表示，导致代码量膨胀，难以维护。
    • 无法处理代码片段：这些工具通常只能处理完整程序，而无法应对代码片段。

  2. 基于机器学习的方法:

    • 响应不稳定：ML 模型输出通常是概率性的，复杂输入（如嵌套循环）会引起输出不稳定或无关内容。
    • 嵌套循环处理能力弱：AI 反编译器在处理复杂嵌套结构时表现不佳，影响代码逻辑的准确还原。
2.2 当前面临的挑战
  • Wasm 的特

相关文章：

【论文阅读】WaDec: Decompiling WebAssembly Using Large Language Model

论文阅读笔记：WaDec: Decompiling WebAssembly Using Large Language Model 1. 来源出处 论文标题: WaDec: Decompiling WebAssembly Using Large Language Model作者: Xinyu She, Yanjie Zhao, Haoyu Wang会议: 39th IEEE/ACM International Conference on Automated Softwar…...

编程日记 2024/11/19 18:31:23

redis类型介绍

1. 字符串（String）： • 简介：最基础的数据类型，可以存储任何形式的字符串，包括文本数据和数字数据。 • 常用操作：SET、GET、INCR、DECR等。 2. 列表（List）： …...

编程日记 2024/11/19 18:27:17

kubernetes如何配置默认存储

如果不想每次都创建PV，希望k8s集群中能够配置号默认存储，然后根据你的PVC自动创建PV，就需要安装一个默认存储，也就是storageclass 什么是storageclass Kubernetes提供了一套可以自动创建PV的机制，即：Dyna…...

编程日记 2024/11/19 18:26:15

【微服务】Spring AI 使用详解

目录 一、前言 二、Spring AI 概述 2.1 什么是Spring AI 2.2 Spring AI 特点 2.3 Spring AI 带来的便利 2.4 Spring AI 应用领域 2.4.1 聊天模型 2.4.2 文本到图像模型 2.4.3 音频转文本 2.4.4 嵌入大模型使用 2.4.5 矢量数据库支持 2.4.6 数据工程ETL框架 三、Sp…...

编程日记 2024/11/19 18:24:11

DataGrip 连接 dm

参考链接 使用DataGrip链接达梦数据库_datagrip连接达梦数据库-CSDN博客 下载 jdbc 驱动包 第一种 通过链接下载：下载 第二种【特指 window 安装包】 在达梦安装包 iso 文件里面 source/drivers/jdbc 将驱动添加进 DataGrip 选中 jdbc 驱动包，然后选…...

编程日记 2024/11/19 18:23:10

数据库监控工具DBdoctor v3.2.4.3版本发布，新增对openGauss、Vastbase G100的支持！

新引擎扩展 新增对openGauss数据库的支持：支持对openGauss数据库的SQL审核、实例巡检、性能洞察、锁透视、根因诊断、基础监控、索引推荐、存储分析； 新增对Vastbase G100数据库的支持：支持对Vastbase G100数据库的SQL审核、实例巡检、性能洞…...

编程日记 2024/11/19 18:20:05

Git 常用命令大全与详解

Git 是一种广泛使用的分布式版本控制系统。无论是管理个人项目还是进行团队协作，掌握 Git 的常用命令都是开发者必备的技能之一。本文将介绍一些常用的 Git 命令，并对其进行详细说明。 1. 基础命令 初始化仓库 git init：在当前目录下初始化…...

编程日记 2024/11/19 18:16:00

执行flink sql连接clickhouse库

手把手教学，flink connector打通clickhouse大数据库，通过下发flink sql，来使用ck。 组件版本jdk1.8flink1.17.2clickhouse23.12.2.59 1.背景 flink官方不支持clickhouse连接器，工作中难免会用到。 2.方案 利用GitHub大佬提供…...

编程日记 2024/11/19 18:13:57

什么是C++中的友元函数和友元类？

友元函数（Friend Function）和 友元类（Friend Class）是用于控制类的访问权限的机制。这允许特定的函数或类访问另一个类的私有成员和保护成员，打破了 C 的封装性规则。 友元函数 定义 友元提供了不同类的成员函数之间…...

编程日记 2024/11/19 18:12:55

基于Spring Boot+Vue的多媒体素材管理系统的设计与实现

一.系统开发工具与环境搭建 1.系统设计开发工具 后端使用Java编程语言的Spring boot框架 项目架构：B/S架构 运行环境：win10/win11、jdk17 前端： 技术：框架Vue.js；UI库：ElementUI； 开发工具&…...

编程日记 2024/11/19 18:11:54

Inpaint-Web：纯浏览器端实现的开源图像处理工具

之前在刷短视频的时候，经常看到一些情侣在景区拍照，结果被路人“抢镜”。有时男朋友会拿出手机，帮忙把那些路人“P”掉，简直是既贴心又有趣。最近我在逛 GitHub 时，发现了一个可以在浏览器端删除照片中部分内容的纯前端…...

编程日记 2024/11/19 18:04:47

商业物联网详细指南：优势与挑战

物联网是信息技术行业最具前景的领域之一。为什么它如此热门呢？原因在于全球连接性。设备可以像人群一样相互协作。正如我们所知，协作能显著提高生产力。 物联网对普通用户和企业都有益处。许多日常流程可以通过传感器、扫描仪、摄像头和其他设备实现自…...

编程日记 2024/11/19 18:01:42

如何在项目中用elementui实现分页器功能

1.在结构部分复制官网代码&#xff1a; <template> 标签: 这是 Vue 模板的根标签&#xff0c;包含所有的 HTML 元素和 Vue 组件。 <div> 标签: 这是一个普通的 HTML 元素&#xff0c;包裹了 el-pagination 组件。它没有特别的意义&#xff0c;只是为了确保 el-pagi…...

编程日记 2024/11/19 18:00:41

Nginx参数配置-笔记

文章目录 upstream实现后台应用服务负载均衡&高可用proxy_set_header参数 upstream实现后台应用服务负载均衡&高可用 角色IPnginx172.168.110.2后端应用服务1172.168.110.3后端应用服务2172.168.110.4后端应用服务3(备用)172.168.110.5 示例如下&#xff1a; upstre…...

编程日记 2024/11/19 17:59:40

衡量神经网络表征相似度

目录 1.中心核对齐技术（CKA）2.Hilbert-Schmidt independence criterion（HSIC）HSIC的计算步骤：HSIC的性质：应用：矩阵中心化操作对于单个数据集的中心化对于两个数据集的中心化（例如，用于HSIC）Python代码示例1.中心核对齐技术（CKA） CKA通过计算两个表征的Gram矩阵（即…...

编程日记 2024/11/19 17:56:36

Javascript高级：深度解析与多种实现方式数组扁平化

数组扁平化&#xff1a;深度解析与多种实现方式 在JavaScript编程中&#xff0c;数组扁平化是一个常见的操作&#xff0c;指的是将一个多维数组转换成一个一维数组。这个过程中&#xff0c;所有嵌套的数组元素都会被“拉平”到同一个层级。数组扁平化在处理嵌套数据结构时非常…...

编程日记 2024/11/19 17:54:34

SpringBoot Data Redis连接Redis-Cluster集群

使用SpringBoot Data Redis无法连接Redis-Cluster集群 最近在研究系统高并发下的缓存架构&#xff0c;因此自己在自己买的云服务器上搭建好Redis 5.0 版本的集群后&#xff0c;使用springboot的 RedisTemplate连接是发现总是访问不到集群节点。上网百度了发现没有好的解决办法&…...

编程日记 2024/11/19 17:46:22

计算机网络——TCP篇

TCP篇 基本认知 TCP和UDP的区别? TCP 和 UDP 可以使用同一个端口吗&#xff1f; 可以的 传输层中 TCP 和 UDP在内核中是两个完全独立的软件模块。可以根据协议字段来选择不同的模块来处理。 TCP 连接建立 TCP 三次握手过程是怎样的&#xff1f; 一次握手:客户端发送带有 …...

编程日记 2024/11/19 17:41:16

【网络安全面经】技术性问题3

11. 一次完整的 HTTP 请求过程 域名解析&#xff1a;通过 DNS 将域名转换为 IP 地址&#xff0c;如上述 DNS 的工作原理。建立 TCP 连接&#xff1a;客户端向服务器发送 SYN 报文段&#xff0c;经过三次握手建立 TCP 连接。发送 HTTP 请求&#xff1a;客户端向服务器发送 HTTP…...

编程日记 2024/11/19 17:39:14

前后端交互之动态列

一. 情景 在做项目时&#xff0c;有时候后会遇到后端使用了聚合函数&#xff0c;导致生成的对象的属性数量或数量不固定&#xff0c;因此无法建立一个与之对应的对象来向前端传递数据&#xff0c;这时可以采用NameDataListVO向前端传递数据。 Data Builder AllArgsConstructo…...

编程日记 2024/11/19 17:38:13

【WiFi帧结构】

文章目录 帧结构MAC头部管理帧 帧结构 Wi-Fi的帧分为三部分组成&#xff1a;MAC头部frame bodyFCS&#xff0c;其中MAC是固定格式的&#xff0c;frame body是可变长度。 MAC头部有frame control&#xff0c;duration&#xff0c;address1&#xff0c;address2&#xff0c;addre…...

编程新知 2025/10/26 21:40:45

UE5 学习系列（三）创建和移动物体

这篇博客是该系列的第三篇&#xff0c;是在之前两篇博客的基础上展开&#xff0c;主要介绍如何在操作界面中创建和拖动物体&#xff0c;这篇博客跟随的视频链接如下&#xff1a; B 站视频&#xff1a;s03-创建和移动物体 如果你不打算开之前的博客并且对UE5 比较熟的话按照以…...

编程新知 2025/10/30 1:27:45

深入理解JavaScript设计模式之单例模式

目录 什么是单例模式为什么需要单例模式常见应用场景包括 单例模式实现透明单例模式实现不透明单例模式用代理实现单例模式javaScript中的单例模式使用命名空间使用闭包封装私有变量 惰性单例通用的惰性单例 结语 什么是单例模式 单例模式&#xff08;Singleton Pattern&#…...

编程新知 2025/10/28 1:29:18

是否存在路径（FIFOBB算法）

题目描述 一个具有 n 个顶点e条边的无向图&#xff0c;该图顶点的编号依次为0到n-1且不存在顶点与自身相连的边。请使用FIFOBB算法编写程序&#xff0c;确定是否存在从顶点 source到顶点 destination的路径。 输入 第一行两个整数&#xff0c;分别表示n 和 e 的值&#xff08;1…...

编程新知 2025/10/1 6:09:21

【网络安全】开源系统getshell漏洞挖掘

审计过程&#xff1a; 在入口文件admin/index.php中&#xff1a; 用户可以通过m,c,a等参数控制加载的文件和方法&#xff0c;在app/system/entrance.php中存在重点代码&#xff1a; 当M_TYPE system并且M_MODULE include时&#xff0c;会设置常量PATH_OWN_FILE为PATH_APP.M_T…...

编程新知 2025/10/29 11:46:39

怎么让Comfyui导出的图像不包含工作流信息，

为了数据安全&#xff0c;让Comfyui导出的图像不包含工作流信息&#xff0c;导出的图像就不会拖到comfyui中加载出来工作流。 ComfyUI的目录下node.py 直接移除 pnginfo&#xff08;推荐&#xff09;​​ 在 save_images 方法中&#xff0c;​​删除或注释掉所有与 metadata …...

编程新知 2025/8/13 15:12:54

[论文阅读]TrustRAG: Enhancing Robustness and Trustworthiness in RAG

TrustRAG: Enhancing Robustness and Trustworthiness in RAG [2501.00879] TrustRAG: Enhancing Robustness and Trustworthiness in Retrieval-Augmented Generation 代码&#xff1a;HuichiZhou/TrustRAG: Code for "TrustRAG: Enhancing Robustness and Trustworthin…...

编程新知 2025/10/17 23:51:34

【Veristand】Veristand环境安装教程-Linux RT / Windows

首先声明&#xff0c;此教程是针对Simulink编译模型并导入Veristand中编写的&#xff0c;同时需要注意的是老用户编译可能用的是Veristand Model Framework&#xff0c;那个是历史版本&#xff0c;且NI不会再维护&#xff0c;新版本编译支持为VeriStand Model Generation Suppo…...

编程新知 2025/10/26 22:48:28

ubuntu22.04有线网络无法连接，图标也没了

今天突然无法有线网络无法连接任何设备&#xff0c;并且图标都没了 错误案例 往上一顿搜索&#xff0c;试了很多博客都不行&#xff0c;比如 Ubuntu22.04右上角网络图标消失 最后解决的办法 下载网卡驱动&#xff0c;重新安装 操作步骤 查看自己网卡的型号 lspci | gre…...

编程新知 2025/10/30 1:44:58

二维FDTD算法仿真

二维FDTD算法仿真&#xff0c;并带完全匹配层&#xff0c;输入波形为高斯波、平面波 FDTD_二维/FDTD.zip , 6075 FDTD_二维/FDTD_31.m , 1029 FDTD_二维/FDTD_32.m , 2806 FDTD_二维/FDTD_33.m , 3782 FDTD_二维/FDTD_34.m , 4182 FDTD_二维/FDTD_35.m , 4793...

编程新知 2025/9/10 21:14:06