@inproceedings{ed27be9d48224a149d29f2ca0f927aad,
title = "Automated bug localization in JIT compilers",
abstract = "Many widely-deployed modern programming systems use just-in-Time (JIT) compilers to improve performance. The size and complexity of JIT-based systems, combined with the dynamic nature of JIT-compiler optimizations, make it challenging to locate and fix JIT compiler bugs quickly. At the same time, JIT compiler bugs can result in exploitable security vulnerabilities, making rapid bug localization important. Existing work on automated bug localization focuses on static code, i.e., code that is not generated at runtime, and so cannot handle bugs in JIT compilers that generate incorrect code during optimization. This paper describes an approach to automated bug localization in JIT compilers, down to the level of distinct optimization phases, starting with a single initial Proof-of-Concept (PoC) input that demonstrates the bug. Experiments using a prototype implementation of our ideas on Google's V8 JavaScript interpreter and TurboFan JIT compiler demonstrates that it can successfully identify buggy optimization phases.",
keywords = "Bug localization, Debugging, Dynamic Code, Program Analysis, Self-Modifying Code",
author = "Lim, {Heui Chan} and Saumya Debray",
note = "Publisher Copyright: {\textcopyright} 2021 ACM.; 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE 2021 ; Conference date: 16-04-2021 Through 16-04-2021",
year = "2021",
month = apr,
day = "16",
doi = "10.1145/3453933.3454021",
language = "English (US)",
series = "VEE 2021 - Proceedings of the 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments",
publisher = "Association for Computing Machinery, Inc",
pages = "153--164",
editor = "Titzer, {Ben L.} and Harry Xu and Irene Zhang",
booktitle = "VEE 2021 - Proceedings of the 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments",
}