Write a Blog >>
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia
Wed 17 May 2023 11:00 - 11:15 at Meeting Room 101 - Fuzzing: applications Chair(s): Corina S. Păsăreanu

Java Virtual Machine (JVM) is the fundamental software system to support the interpretation and execution of Java bytecode, which has been widely used in practice. As the programs running on top of JVM become larger and more sophisticated, the efficiency and performance of JVM systems become significant concerns. Driven by such practical needs, Just-In-Time (JIT) compiler was proposed aiming to improve the performance of Java applications via performing complex optimizations during runtime. However, JVM JIT compilers inevitably contain various bugs, which are becoming more pervasive over the decades and can often cause significant consequences. Unfortunately, existing JVM testing approaches are ineffective in detecting such JIT compiler bugs. In this study, we present JOpFuzzer, a new JVM testing approach with a specific focus on JIT compiler bugs. The major novelty of JOpFuzzer embodies in three aspects. First, besides generating new seeds, JOpFuzzer also searches for diverse configurations along the new dimension of optimization options. Second, JOpFuzzer learns the correlations between various code features and different optimization options to guide the process of seed mutation and options exploration. Third, it leverages the profile data, which can reveal the information of program execution, to guide the fuzzing process. Such novelties enable JOpFuzzer to effectively and efficiently explore the two-dimensional input spaces. Extensive evaluation shows that JOpFuzzer outperforms the state-of-the-art approaches in terms of achieved code coverages. More importantly, it has detected 41 bugs in OpenJDK, and 25 of them have already been confirmed or fixed by the corresponding developers.

Wed 17 May

Displayed time zone: Hobart change

11:00 - 12:30
Fuzzing: applicationsTechnical Track / DEMO - Demonstrations at Meeting Room 101
Chair(s): Corina S. Păsăreanu Carnegie Mellon University
11:00
15m
Talk
Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces
Technical Track
Haoxiang Jia Huazhong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Zifan Xie Huazhong University of Science and Technology, Xiaochen Guo Huazhong University of Science and Technology, Rongxin Wu Xiamen University, Maolin Sun Huazhong University of Science and Technology, Kang Chen Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology
Pre-print
11:15
15m
Talk
JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers
Technical Track
Mingyuan Wu Southern University of Science and Technology, Minghai Lu Southern University of Science and Technology, Heming Cui University of Hong Kong, Junjie Chen Tianjin University, Yuqun Zhang Southern University of Science and Technology, Lingming Zhang University of Illinois at Urbana-Champaign
11:30
15m
Talk
Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs
Technical Track
Maolin Sun Huazhong University of Science and Technology, Yibiao Yang Nanjing University, Ming Wen Huazhong University of Science and Technology, Yongcong Wang Huazhong University of Science and Technology, Yuming Zhou Nanjing University, Hai Jin Huazhong University of Science and Technology
Pre-print
11:45
15m
Talk
Regression Fuzzing for Deep Learning Systems
Technical Track
Hanmo You College of Intelligence and Computing, Tianjin University, Zan Wang Tianjin University, China, Junjie Chen Tianjin University, Shuang Liu Tianjin University, Shuochuan Li College of Intelligence and Computing, Tianjin University
12:00
15m
Talk
Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers
Technical Track
Suyue Guo Renmin University of China, Xinyu Wan Renmin University of China, Wei You Renmin University of China, Bin Liang Renmin University of China, China, Wenchang Shi Renmin University of China, China, Yiwei Zhang Renmin University of China, Jianjun Huang Renmin University of China, China, Jian Zhang State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China
Pre-print
12:15
7m
Talk
JAttack: Java JIT Testing using Template Programs
DEMO - Demonstrations
Zhiqiang Zang University of Texas at Austin, Fu-Yao Yu The University of Texas at Austin, Nathan Wiatrek The University of Texas at Austin, Milos Gligoric University of Texas at Austin, August Shi University of Texas at Austin
Pre-print