Detect -> accesses on uninitialized pointers