Modeling Code Manipulation in JIT Compilers
Wed 15 Jun 2022 04:55 - 05:20 at Boardroom - Keynote 3 + Papers Chair(s): Roberto Giacobazzi, Laura Titolo
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 backend. 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.
Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change
15:30 - 17:20 | Keynote 3 + PapersSOAP at Boardroom +12h Chair(s): Roberto Giacobazzi University of Verona, Laura Titolo NIA/NASA LaRC Laura Titolo is chairing the Keynote Talk by Francesco Logozzo. Roberto Giacobazzi is chairing the paper session from 16:30 to 17:20. | ||
15:30 60mKeynote | Using static analysis to scale security at Meta SOAP | ||
16:30 25mTalk | ADA: A Tool for Visualizing The Architectural Overview of Open-Source Repositories SOAP P: Md Rakib Hossain Misu University of California, Irvine, Aleksandar Saša Janjanin University College London, Zhiqiang Bian University College London, Valentin-Sebastian Burlacu University College London, Naum Anteski University College London | ||
16:55 25mTalk | Modeling Code Manipulation in JIT Compilers SOAP P: HeuiChan Lim University of Arizona, Xiyu Kang University of Arizona, Saumya Debray University of Arizona | ||
Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change
03:30 - 05:20 | Keynote 3 + PapersSOAP at Boardroom Chair(s): Roberto Giacobazzi University of Verona, Laura Titolo NIA/NASA LaRC | ||
03:30 60mKeynote | Using static analysis to scale security at Meta SOAP | ||
04:30 25mTalk | ADA: A Tool for Visualizing The Architectural Overview of Open-Source Repositories SOAP P: Md Rakib Hossain Misu University of California, Irvine, Aleksandar Saša Janjanin University College London, Zhiqiang Bian University College London, Valentin-Sebastian Burlacu University College London, Naum Anteski University College London | ||
04:55 25mTalk | Modeling Code Manipulation in JIT Compilers SOAP P: HeuiChan Lim University of Arizona, Xiyu Kang University of Arizona, Saumya Debray University of Arizona | ||