Automatically Localizing Dynamic Code Generation Bugs in JIT Compiler Back-End
Automatically Localizing Dynamic Code Generation Bugs in JIT Compiler Back-End
复制标题
自动定位 JIT 编译器后端中的动态代码生成错误
DOI：
10.1145/3578360.3580260
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Debray, Saumya
中科院分区：
文献类型：
--
作者：
Lim, HeuiChan;Debray, Saumya
即时 (JIT) 编译器在现代计算系统中无处不在，并用于各种软件中。动态代码生成错误（JIT 编译器默默地发出不正确的代码）可能会导致可利用的漏洞。 因此，它们会带来严重的安全问题，因此必须快速缓解。然而，由于 JIT 编译器的大小和复杂性，快速定位和修复错误通常具有挑战性。此外，JIT 编译器的独特特性使得现有的错误定位方法不再适用。因此，本文提出了一种自动错误定位的新方法，明确针对 JIT 编译器后端。该方法基于显式建模独立于架构的后端表示和特定于架构的代码生成。在广泛使用的 JIT 编译器 (Turbofan) 上使用原型实现进行的实验表明，它可以成功地以高精度定位后端的动态代码生成错误。
Just-in-Time (JIT) compilers are ubiquitous in modern computing systems and are used in a wide variety of software. Dynamic code generation bugs, where the JIT compiler silently emits incorrect code, can result in exploitable vulnerabilities. They, therefore, pose serious security concerns and make quick mitigation essential. However, due to the size and complexity of JIT compilers, quickly locating and fixing bugs is often challenging. In addition, the unique characteristics of JIT compilers make existing bug localization approaches inapplicable. Therefore, this paper proposes a new approach to automatic bug localization, explicitly targeting the JIT compiler back-end. The approach is based on explicitly modeling architecture-independent back-end representation and architecture-specific code-generation. Experiments using a prototype implementation on a widely used JIT compiler (Turbofan) indicate that it can successfully localize dynamic code generation bugs in the back-end with high accuracy.
登录
查看更多内容
通过突变分类改进基于突变的故障定位
DOI：
--
发表时间：
2022
期刊：
International Conference on Software Engineering and Knowledge Engineering
影响因子：
--
作者：
Xia Li;Durga Nagarjuna Tadikonda
通讯作者：
Durga Nagarjuna Tadikonda
DOI：
--
发表时间：
1993
期刊：
ACM-SIGPLAN Symposium on Programming Language Design and Implementation
影响因子：
--
作者：
Mickey R. Boyd;D. Whalley
通讯作者：
D. Whalley
通过区分更细粒度的选项来隔离编译器优化故障
DOI：
10.1109/saner53432.2022.00065
发表时间：
2022
期刊：
2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
影响因子：
--
作者：
Jing Yang;Yibiao Yang;Maolin Sun;Ming Wen;Yuming Zhou;Hai Jin
通讯作者：
Hai Jin
在 JIT 编译器中建模代码操作
DOI：
10.1145/3520313.3534656
发表时间：
2022
期刊：
Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
影响因子：
--
作者：
Lim, HeuiChan;Kang, Xiyu;Debray, Saumya
通讯作者：
Debray, Saumya
LocSeq：LLVM 编译器优化序列错误的自动本地化
影响因子：
5.9
作者：
Zhide Zhou;He Jiang;Zhilei Ren;Yuting Chen;Lei Qiao
通讯作者：
Lei Qiao