that tests if a pointer's value lies within the bounds prior to dereferencing the pointer or modifying the value of the pointer.
that verifies if a pointer's value falls within the permissible range before accessing or altering the pointer's value.