Collaboration diagram for De-Allocation Pointer Validation:
![]() |
De- or re-allocation function | Allocation function |
delete |
new |
delete [] |
new [] |
free() |
malloc() , calloc() or realloc() |
realloc() |
malloc() , calloc() or realloc() |
The application will terminate with an informative message and a core dump when a pointer is de-allocated that was not previously allocated with the corresponding allocation function.
Note: When libcwd was configured with --disable-magic then the check whether or not the de-allocated memory block was allocated with the corresponding allocation function is not performed when the memory block is invisible. The reason for this is that invisible memory blocks are simply not stored in the internal data structure: No information is known about them.
Copyright © 2001 - 2004 Carlo Wood. All rights reserved.