Sofía Belén López Vicens examines pointer provenance, the compiler's record of which memory allocation a pointer may touch, ...