diff options
Diffstat (limited to 'src/alloc.c')
| -rw-r--r-- | src/alloc.c | 47 |
1 files changed, 15 insertions, 32 deletions
diff --git a/src/alloc.c b/src/alloc.c index ad1741e308f..4c5094b8f48 100644 --- a/src/alloc.c +++ b/src/alloc.c | |||
| @@ -482,27 +482,10 @@ buffer_memory_full (EMACS_INT nbytes) | |||
| 482 | xsignal (Qnil, Vmemory_signal_data); | 482 | xsignal (Qnil, Vmemory_signal_data); |
| 483 | } | 483 | } |
| 484 | 484 | ||
| 485 | 485 | #ifdef XMALLOC_OVERRUN_CHECK | |
| 486 | #ifndef XMALLOC_OVERRUN_CHECK | ||
| 487 | #define XMALLOC_OVERRUN_CHECK_OVERHEAD 0 | ||
| 488 | #else | ||
| 489 | 486 | ||
| 490 | /* Check for overrun in malloc'ed buffers by wrapping a header and trailer | 487 | /* Check for overrun in malloc'ed buffers by wrapping a header and trailer |
| 491 | around each block. | 488 | around each block. */ |
| 492 | |||
| 493 | The header consists of 16 fixed bytes followed by sizeof (size_t) bytes | ||
| 494 | containing the original block size in little-endian order, | ||
| 495 | while the trailer consists of 16 fixed bytes. | ||
| 496 | |||
| 497 | The header is used to detect whether this block has been allocated | ||
| 498 | through these functions -- as it seems that some low-level libc | ||
| 499 | functions may bypass the malloc hooks. | ||
| 500 | */ | ||
| 501 | |||
| 502 | |||
| 503 | #define XMALLOC_OVERRUN_CHECK_SIZE 16 | ||
| 504 | #define XMALLOC_OVERRUN_CHECK_OVERHEAD \ | ||
| 505 | (2 * XMALLOC_OVERRUN_CHECK_SIZE + sizeof (size_t)) | ||
| 506 | 489 | ||
| 507 | static char const xmalloc_overrun_check_header[XMALLOC_OVERRUN_CHECK_SIZE] = | 490 | static char const xmalloc_overrun_check_header[XMALLOC_OVERRUN_CHECK_SIZE] = |
| 508 | { '\x9a', '\x9b', '\xae', '\xaf', | 491 | { '\x9a', '\x9b', '\xae', '\xaf', |
| @@ -522,9 +505,9 @@ static void | |||
| 522 | xmalloc_put_size (unsigned char *ptr, size_t size) | 505 | xmalloc_put_size (unsigned char *ptr, size_t size) |
| 523 | { | 506 | { |
| 524 | int i; | 507 | int i; |
| 525 | for (i = 0; i < sizeof (size_t); i++) | 508 | for (i = 0; i < XMALLOC_OVERRUN_SIZE_SIZE; i++) |
| 526 | { | 509 | { |
| 527 | *--ptr = size & (1 << CHAR_BIT) - 1; | 510 | *--ptr = size & ((1 << CHAR_BIT) - 1); |
| 528 | size >>= CHAR_BIT; | 511 | size >>= CHAR_BIT; |
| 529 | } | 512 | } |
| 530 | } | 513 | } |
| @@ -534,8 +517,8 @@ xmalloc_get_size (unsigned char *ptr) | |||
| 534 | { | 517 | { |
| 535 | size_t size = 0; | 518 | size_t size = 0; |
| 536 | int i; | 519 | int i; |
| 537 | ptr -= sizeof (size_t); | 520 | ptr -= XMALLOC_OVERRUN_SIZE_SIZE; |
| 538 | for (i = 0; i < sizeof (size_t); i++) | 521 | for (i = 0; i < XMALLOC_OVERRUN_SIZE_SIZE; i++) |
| 539 | { | 522 | { |
| 540 | size <<= CHAR_BIT; | 523 | size <<= CHAR_BIT; |
| 541 | size += *ptr++; | 524 | size += *ptr++; |
| @@ -579,7 +562,7 @@ overrun_check_malloc (size_t size) | |||
| 579 | if (val && check_depth == 1) | 562 | if (val && check_depth == 1) |
| 580 | { | 563 | { |
| 581 | memcpy (val, xmalloc_overrun_check_header, XMALLOC_OVERRUN_CHECK_SIZE); | 564 | memcpy (val, xmalloc_overrun_check_header, XMALLOC_OVERRUN_CHECK_SIZE); |
| 582 | val += XMALLOC_OVERRUN_CHECK_SIZE + sizeof (size_t); | 565 | val += XMALLOC_OVERRUN_CHECK_SIZE + XMALLOC_OVERRUN_SIZE_SIZE; |
| 583 | xmalloc_put_size (val, size); | 566 | xmalloc_put_size (val, size); |
| 584 | memcpy (val + size, xmalloc_overrun_check_trailer, | 567 | memcpy (val + size, xmalloc_overrun_check_trailer, |
| 585 | XMALLOC_OVERRUN_CHECK_SIZE); | 568 | XMALLOC_OVERRUN_CHECK_SIZE); |
| @@ -603,7 +586,7 @@ overrun_check_realloc (POINTER_TYPE *block, size_t size) | |||
| 603 | if (val | 586 | if (val |
| 604 | && check_depth == 1 | 587 | && check_depth == 1 |
| 605 | && memcmp (xmalloc_overrun_check_header, | 588 | && memcmp (xmalloc_overrun_check_header, |
| 606 | val - XMALLOC_OVERRUN_CHECK_SIZE - sizeof (size_t), | 589 | val - XMALLOC_OVERRUN_CHECK_SIZE - XMALLOC_OVERRUN_SIZE_SIZE, |
| 607 | XMALLOC_OVERRUN_CHECK_SIZE) == 0) | 590 | XMALLOC_OVERRUN_CHECK_SIZE) == 0) |
| 608 | { | 591 | { |
| 609 | size_t osize = xmalloc_get_size (val); | 592 | size_t osize = xmalloc_get_size (val); |
| @@ -611,8 +594,8 @@ overrun_check_realloc (POINTER_TYPE *block, size_t size) | |||
| 611 | XMALLOC_OVERRUN_CHECK_SIZE)) | 594 | XMALLOC_OVERRUN_CHECK_SIZE)) |
| 612 | abort (); | 595 | abort (); |
| 613 | memset (val + osize, 0, XMALLOC_OVERRUN_CHECK_SIZE); | 596 | memset (val + osize, 0, XMALLOC_OVERRUN_CHECK_SIZE); |
| 614 | val -= XMALLOC_OVERRUN_CHECK_SIZE + sizeof (size_t); | 597 | val -= XMALLOC_OVERRUN_CHECK_SIZE + XMALLOC_OVERRUN_SIZE_SIZE; |
| 615 | memset (val, 0, XMALLOC_OVERRUN_CHECK_SIZE + sizeof (size_t)); | 598 | memset (val, 0, XMALLOC_OVERRUN_CHECK_SIZE + XMALLOC_OVERRUN_SIZE_SIZE); |
| 616 | } | 599 | } |
| 617 | 600 | ||
| 618 | val = (unsigned char *) realloc ((POINTER_TYPE *)val, size + overhead); | 601 | val = (unsigned char *) realloc ((POINTER_TYPE *)val, size + overhead); |
| @@ -620,7 +603,7 @@ overrun_check_realloc (POINTER_TYPE *block, size_t size) | |||
| 620 | if (val && check_depth == 1) | 603 | if (val && check_depth == 1) |
| 621 | { | 604 | { |
| 622 | memcpy (val, xmalloc_overrun_check_header, XMALLOC_OVERRUN_CHECK_SIZE); | 605 | memcpy (val, xmalloc_overrun_check_header, XMALLOC_OVERRUN_CHECK_SIZE); |
| 623 | val += XMALLOC_OVERRUN_CHECK_SIZE + sizeof (size_t); | 606 | val += XMALLOC_OVERRUN_CHECK_SIZE + XMALLOC_OVERRUN_SIZE_SIZE; |
| 624 | xmalloc_put_size (val, size); | 607 | xmalloc_put_size (val, size); |
| 625 | memcpy (val + size, xmalloc_overrun_check_trailer, | 608 | memcpy (val + size, xmalloc_overrun_check_trailer, |
| 626 | XMALLOC_OVERRUN_CHECK_SIZE); | 609 | XMALLOC_OVERRUN_CHECK_SIZE); |
| @@ -640,7 +623,7 @@ overrun_check_free (POINTER_TYPE *block) | |||
| 640 | if (val | 623 | if (val |
| 641 | && check_depth == 1 | 624 | && check_depth == 1 |
| 642 | && memcmp (xmalloc_overrun_check_header, | 625 | && memcmp (xmalloc_overrun_check_header, |
| 643 | val - XMALLOC_OVERRUN_CHECK_SIZE - sizeof (size_t), | 626 | val - XMALLOC_OVERRUN_CHECK_SIZE - XMALLOC_OVERRUN_SIZE_SIZE, |
| 644 | XMALLOC_OVERRUN_CHECK_SIZE) == 0) | 627 | XMALLOC_OVERRUN_CHECK_SIZE) == 0) |
| 645 | { | 628 | { |
| 646 | size_t osize = xmalloc_get_size (val); | 629 | size_t osize = xmalloc_get_size (val); |
| @@ -648,12 +631,12 @@ overrun_check_free (POINTER_TYPE *block) | |||
| 648 | XMALLOC_OVERRUN_CHECK_SIZE)) | 631 | XMALLOC_OVERRUN_CHECK_SIZE)) |
| 649 | abort (); | 632 | abort (); |
| 650 | #ifdef XMALLOC_CLEAR_FREE_MEMORY | 633 | #ifdef XMALLOC_CLEAR_FREE_MEMORY |
| 651 | val -= XMALLOC_OVERRUN_CHECK_SIZE + sizeof (size_t); | 634 | val -= XMALLOC_OVERRUN_CHECK_SIZE + XMALLOC_OVERRUN_SIZE_SIZE; |
| 652 | memset (val, 0xff, osize + XMALLOC_OVERRUN_CHECK_OVERHEAD); | 635 | memset (val, 0xff, osize + XMALLOC_OVERRUN_CHECK_OVERHEAD); |
| 653 | #else | 636 | #else |
| 654 | memset (val + osize, 0, XMALLOC_OVERRUN_CHECK_SIZE); | 637 | memset (val + osize, 0, XMALLOC_OVERRUN_CHECK_SIZE); |
| 655 | val -= XMALLOC_OVERRUN_CHECK_SIZE + sizeof (size_t); | 638 | val -= XMALLOC_OVERRUN_CHECK_SIZE + XMALLOC_OVERRUN_SIZE_SIZE; |
| 656 | memset (val, 0, XMALLOC_OVERRUN_CHECK_SIZE + sizeof (size_t)); | 639 | memset (val, 0, XMALLOC_OVERRUN_CHECK_SIZE + XMALLOC_OVERRUN_SIZE_SIZE); |
| 657 | #endif | 640 | #endif |
| 658 | } | 641 | } |
| 659 | 642 | ||