Checks to see if an allocated block of memory has been corrupted. This will test for buffer overflows and underflows.