Freeing the Wrong Address

MemoryScape can detect when a program tries to free a block that does not correspond to the start of a block allocated using the malloc() function. The following program illustrates this problem:

int main (int argc, char *argv[])

{

char *s, *misaligned_s;

/* Get some memory */

s = malloc(sizeof(int)*64));

/* Release memory using a misaligned address */

misaligned_s = s + 8;

free(misaligned_s);

free(s);

return 0;

}