Iterating Pointers: Enabling Static Analysis for Loop-based Pointers. - Andrea Lepori; Alexandru Calotoiu; Torsten Hoefler (ACM Trans. Archit. Code Optim., 2025)