Testování points-to analýzy v GraalVM Native Image s využítím nástroje Judge

Abstract

GraalVM Native Image je ahead-of-time kompilátor Javy, který transformuje bytecode do optimalizovaných nativních spustitelných souborů. Jako součást svého optimalizačního řetězce využívá points-to analýzu spolu s dalšími technikami statické analýzy pro efektivní generování kódu. Ověření správnosti těchto optimalizací je klíčové pro spolehlivost a výkon. Tato práce se zaměřuje na verifikaci korektnosti points-to analýzy v GraalVM Native Image pomocí nástroje Judge, který je určen pro testování statické analýzy prostřednictvím validace call grafů. Verifikační proces využívá testovací sady Judge pro generování a porovnání call grafů z Native Image. Výsledky jsou automaticky zpracovány do HTML reportu zobrazujícího úspěšnost testů a podrobné diagnostické informace včetně nesouladů v porovnání a původního znění testů. Tato automatizovaná validační pipeline může být využita pro průběžné testování během vývoje GraalVM Native Image.

GraalVM Native Image is an ahead-of-time Java compiler that transforms bytecode into optimized native executables. As a part of its optimization pipeline, it employs points-to analysis along with other static analysis techniques to enable efficient code generation. Ensuring the correctness of these optimizations is crucial for reliability and performance. This thesis focuses on verifying the soundness of points-to analysis in GraalVM Native Image using Judge, a tool designed for testing static analysis through call graph validation. The verification process leverages Judge's test suites to generate and compare call graphs from Native Image. Results are automatically processed into an HTML report showing test pass rates and detailed diagnostics, including comparison failures and original test formulations. This automated validation pipeline can be used for continuous testing during GraalVM Native Image development.