ΑΡΓΥΡΟΣ ΑΝΑΡΓΥΡΟΣ, Recovering LLVM-IR type information using static  analysis, 2024,