Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation

Introduction BOLT, originally developed at Meta and now part of the LLVM project., is a post-link optimiser that rewrites compiled applications to improve their performance. In 2024, Kristof Beyls at Arm built on top of BOLT a prototype static binary analyser to validate compiler code generation for security-related features. This tool operated directly at the binary level to "verify that a given hardening feature has been applied correctly across the whole binary," by checking whether the compi...