that tests if a pointer's value lies within the bounds prior to dereferencing the pointer or modifying the value of the pointer.
A validation procedure to confirm if a pointer points to a location within the allocated memory space before attempting to read from or modify its value.