LeJit introduces a novel approach to testing Java JIT compilers by automatically generating template programs from existing code. It successfully uncovered multiple bugs in HotSpot, OpenJ9, and GraalVM, including previously unknown vulnerabilities. By leveraging templates extracted from open-source projects, LeJit demonstrates its effectiveness in detecting compiler bugs. The framework enhances JAttack's capabilities and provides valuable insights into the impact of various Java language features on bug detection. Through differential testing with different JVM implementations, LeJit proves to be complementary to existing techniques for ensuring compiler correctness.
To Another Language
from source content
arxiv.org
Key Insights Distilled From
by Zhiqiang Zan... at arxiv.org 03-19-2024
https://arxiv.org/pdf/2403.11281.pdfDeeper Inquiries