Iterating Pointers: Enabling Static Analysis for Loop-based Pointers

Andrea Lepori, Alexandru Calotoiu, Torsten Hoefler

Pointers are an integral part of C and other programming languages. They enable substantial flexibility from the programmer's standpoint, allowing the user fine, unmediated control…