Data Structure Analysis for Binaries. - Sadra Bayat Tork; Nicholas Coughlin; Alicia Michael; James Tobler; Kirsten Winter (TACAS (2), 2026)