Modeling code manipulation in JIT compilers
Modeling code manipulation in JIT compilers
复制标题
在 JIT 编译器中建模代码操作
DOI：
10.1145/3520313.3534656
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Debray, Saumya
中科院分区：
文献类型：
--
作者：
Lim, HeuiChan;Kang, Xiyu;Debray, Saumya
即时（JIT）编译器被广泛用于提高 基于解释器的语言实现的性能 通过在运行时创建优化的代码。然而， JIT编译器代码操作和优化可以 导致生成错误代码。这些bug可能是 难以诊断和修复，并可能导致可利用的 漏洞不幸的是，现有的自动化方法 缺陷定位不能很好地延续到这样的缺陷。 本文讨论了一种不同的方法来分析JIT 编译器优化行为，基于使用动态 分析构造JIT编译器的抽象模型 优化器和后端。通过比较得到的模型 对于JIT编译器的错误和非错误执行，我们 可以精确定位JIT编译器的内部组件 受bug影响的表示;这可以 然后被映射回来以识别错误代码。我们的实验 Google V8 JIT编译器有两个真实的bug， TurboFan，展示了该方法的实用性和实用性。
Just-in-Time (JIT) compilers are widely used to improve the performance of interpreter-based language implementations by creating optimized code at runtime. However, bugs in the JIT compiler’s code manipulation and optimization can result in the generation of incorrect code. Such bugs can be difficult to diagnose and fix, and can result in exploitable vulnerabilities. Unfortunately, existing approaches to automatic bug localization do not carry over well to such bugs. This paper discusses a different approach to analyzing JIT compiler optimization behaviors, based on using dynamic analysis to construct abstract models of the JIT compiler’s optimizer and back end. By comparing the models obtained for buggy and non-buggy executions of the JIT compiler, we can pinpoint the components of the JIT compiler’s internal representation that have been affected by the bug; this can then be mapped back to identify the buggy code. Our experiments with two real bugs for Google V8 JIT compiler, TurboFan, show the utility and practicality of our approach.
登录
查看更多内容
调试优化代码而不被误导
DOI：
--
发表时间：
1993
期刊：
TOPL
影响因子：
--
作者：
M. Copperman
通讯作者：
M. Copperman
影响因子：
1.8
作者：
Livinskii, Vsevolod;Babokin, Dmitry;Regehr, John
通讯作者：
Regehr, John
现场规范和验证：将形式化方法应用于 Linux 内核中的 BPF 即时编译器
DOI：
--
发表时间：
2020
期刊：
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20
影响因子：
--
作者：
Nelson, Luke;Van Geffen, Jacob;Torlak, Emina;Wang, Xi
通讯作者：
Wang, Xi
DOC：全局优化代码的源代码级调试的实用方法
DOI：
10.1145/53990.54003
发表时间：
1988
期刊：
Digit. Tech. J.
影响因子：
--
作者：
Deborah S. Coutant;Sue Meloy;Michelle Ruscetta
通讯作者：
Michelle Ruscetta
使用 Linux eBPF 进行数据包过滤的性能影响
DOI：
10.1109/itc30.2018.00039
发表时间：
2018
期刊：
2018 30th International Teletraffic Congress (ITC 30)
影响因子：
--
作者：
D. Scholz;Daniel Raumer;Paul Emmerich;Alexander Kurtz;Krzysztof Lesiak;G. Carle
通讯作者：
G. Carle