paperbot · PL 论文追踪

全部论文 待读 收藏

P2 WASim

WASim:WebAssembly 模块用途自动分类
ASE Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering2020匹配度 2/10 · 该论文聚焦 WebAssembly 模块的用途分类与开发者理解,属于程序理解/自动化标签分配工具,未涉及用户核心关注的 ML/Agent 程序静态分析、LLM 与静态分析/形式化验证结合、浮点程序分析或贝叶斯程序分析。尽管标签中有程序分析,但摘要未体现与用户研究画像的直接交叉。引用 8 inbox
Alan Romano, Weihang Wang
crossref: 2026-09-12

AI 速览

一句话:提出 WASim,通过分析模块级特征自动识别 WebAssembly 程序用途并分配标签。

WebAssembly 定义二进制代码格式与文本表示,但无论开发者经验如何,其文件都不易被人理解,导致分发的第三方 Wasm 模块通常只能被隐式信任,验证功能需大量精力。为此,作者开发了自动分类工具 WASim,通过分析模块级特征来识别 WebAssembly 程序的用途,并为模块分配用途标签,以帮助开发者理解二进制模块。摘要未报告具体评估指标,仅提供开源代码仓库与视频演示。

问题
WebAssembly 二进制/文本表示对人类不友好,第三方模块难以人工验证,开发者往往只能隐式信任其功能。
方法
WASim 自动分析模块级特征,为 WebAssembly 模块分配用途标签,从而辅助理解二进制模块。
评估
摘要未给出定量评估;工具代码已开源,并提供视频演示。
原文摘要(Abstract)

WebAssembly is a new programming language built for better performance in web applications. It defines a binary code format and a text representation for the code. At first glance, WebAssembly files are not easily understandable to human readers, regardless of the experience level. As a result, distributed third-party WebAssembly modules need to be implicitly trusted by developers as verifying the functionality requires significant effort. To this end, we develop an automated classification tool WASim for identifying the purpose of WebAssembly programs by analyzing features at the module-level. It assigns purpose labels to a module in order to assist developers in understanding the binary module. The code for WASim is available at https://github.com/WASimilarity/WASim and a video demo is available at https://youtu.be/usfYFIeTy0U.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot5971,
  title = {WASim},
  author = {Alan Romano and Weihang Wang},
  booktitle = {ASE},
  year = {2020},
  doi = {10.1145/3324884.3415293}
}