.png){kind=icon}
返回
DRWASI: LLM-assisted Differential Testing for WebAssembly System Interface Implementations
.png){kind=icon}
PRE
AI
DOI：10.1145/3716379.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
WebAssembly (Wasm) 是一种新兴的二进制格式，可作为超过40种编程语言的编译目标。Wasm运行时通过抽象操作系统和硬件细节来提供执行环境，从而增强可移植性。这些运行时的关键组件是WebAssembly System Interface (WASI)，它管理与应用程序的交互，如文件操作。考虑到Wasm运行时的关键作用，社区已致力于检测其实现中的错误。然而，目前尚无工作专注于检测WASI特有的错误，这些错误可能影响运行Wasm二进制文件的原有功能并导致意外结果。为填补这一空白，我们提出了DRWASI，这是第一个通用的WASI实现差异测试框架。我们的方法使用大型语言模型生成种子，并应用变体和环境突变策略来扩展和丰富测试用例库。然后我们在主要Wasm运行时之间进行差异测试。通过利用执行期间和之后收集的动态和静态信息，DRWASI能够识别错误。我们的评估表明，DRWASI发现了33个独特的错误，所有错误均得到确认，其中7个已被开发者修复。这项研究代表了探索Wasm生态系统中一个有前景但尚未充分探索领域的开创性步骤，为利益相关者提供了宝贵的见解。
Keyword:
WebAssembly
WebAssembly System Interface
期刊
A
IF:
6.2
论文数:
1.2K
被引数:
3.4K
机构
引用论文
Detecting C plus plus Compiler Front-End Bugs via Grammar Mutation and Differential Testing通过语法突变和差异测试检测C plus plus编译器前端错误
OAAI
.png){kind=icon}
OAAI分享收藏分享收藏
查看更多内容