Checkification: A Practical Approach for Testing Static Analysis Truths - D Ferreiro; I Casso; JF Morales; P López-García; MV Hermenegildo (Arxiv Preprint Arxiv:, 2025)