基于 Sparkplug 的 JavaScript 共同解释测试
软件工程
2024-05-14 v1
摘要
JavaScript 在 Web 和服务器应用程序中广泛使用，处理敏感数据。JS 测试方法滞后于其他语言。内置共同解释测试对 JS 有效但慢且复杂。我们的方法通过 V8 Sparkplug 基线编译器和用于 Assembly 到 LLVM IR 转换的 remill 库来增强跟踪。对 160 个 Node.js 库的评估显示，在几乎没有运行时开销的情况下，本方法在覆盖率和错误检测方面与内置方法相当。
引用
@article{arxiv.2405.06832,
title = {Concolic Testing of JavaScript using Sparkplug},
author = {Zhe Li and Fei Xie},
journal= {arXiv preprint arXiv:2405.06832},
year = {2024}
}