TY  - RPRT
TI  - Iterating Pointers: Enabling Static Analysis for Loop-based Pointers
AU  - Andrea Lepori
AU  - Alexandru Calotoiu
AU  - Torsten Hoefler
PY  - 2025
DO  - 10.1145/3701993
UR  - https://arxiv.org/abs/2503.03359
ID  - 2503.03359
ER  -