mem_dbg.c 19.0 KB
Newer Older
1
/* crypto/mem_dbg.c */
R
Richard Levitte 已提交
2 3
/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
 * All rights reserved.
4
 *
R
Richard Levitte 已提交
5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
 * This package is an SSL implementation written
 * by Eric Young (eay@cryptsoft.com).
 * The implementation was written so as to conform with Netscapes SSL.
 * 
 * This library is free for commercial and non-commercial use as long as
 * the following conditions are aheared to.  The following conditions
 * apply to all code found in this distribution, be it the RC4, RSA,
 * lhash, DES, etc., code; not just the SSL code.  The SSL documentation
 * included with this distribution is covered by the same copyright terms
 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
 * 
 * Copyright remains Eric Young's, and as such any Copyright notices in
 * the code are not to be removed.
 * If this package is used in a product, Eric Young should be given attribution
 * as the author of the parts of the library used.
 * This can be in the form of a textual message at program startup or
 * in documentation (online or textual) provided with the package.
 * 
23 24 25
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
R
Richard Levitte 已提交
26 27
 * 1. Redistributions of source code must retain the copyright
 *    notice, this list of conditions and the following disclaimer.
28
 * 2. Redistributions in binary form must reproduce the above copyright
R
Richard Levitte 已提交
29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 * 3. All advertising materials mentioning features or use of this software
 *    must display the following acknowledgement:
 *    "This product includes cryptographic software written by
 *     Eric Young (eay@cryptsoft.com)"
 *    The word 'cryptographic' can be left out if the rouines from the library
 *    being used are not cryptographic related :-).
 * 4. If you include any Windows specific code (or a derivative thereof) from 
 *    the apps directory (application code) you must include an acknowledgement:
 *    "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
 * 
 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 * SUCH DAMAGE.
 * 
 * The licence and distribution terms for any publically available version or
 * derivative of this code cannot be changed.  i.e. this code cannot simply be
 * copied and put under another distribution licence
 * [including the GNU Public Licence.]
57 58 59 60 61 62 63 64 65 66 67
 */

#include <stdio.h>
#include <stdlib.h>
#include <time.h>	
#include <openssl/crypto.h>
#include <openssl/buffer.h>
#include <openssl/bio.h>
#include <openssl/lhash.h>
#include "cryptlib.h"

68 69 70 71 72 73
static int mh_mode=CRYPTO_MEM_CHECK_OFF;
/* The state changes to CRYPTO_MEM_CHECK_ON | CRYPTO_MEM_CHECK_ENABLE
 * when the application asks for it (usually after library initialisation
 * for which no book-keeping is desired).
 *
 * State CRYPTO_MEM_CHECK_ON exists only temporarily when the library
74 75 76 77 78 79 80 81 82
 * thinks that certain allocations should not be checked (e.g. the data
 * structures used for memory checking).  It is not suitable as an initial
 * state: the library will unexpectedly enable memory checking when it
 * executes one of those sections that want to disable checking
 * temporarily.
 *
 * State CRYPTO_MEM_CHECK_ENABLE without ..._ON makes no sense whatsoever.
 */

83
static unsigned long order = 0; /* number of memory requests */
84 85
static LHASH *mh=NULL; /* hash-table of memory requests (address as key);
                        * access requires MALLOC2 lock */
86 87 88


typedef struct app_mem_info_st
89 90 91
/* For application-defined information (static C-string `info')
 * to be displayed in memory leak list.
 * Each thread has its own stack.  For applications, there is
B
Rename  
Bodo Möller 已提交
92 93 94
 *   CRYPTO_push_info("...")     to push an entry,
 *   CRYPTO_pop_info()           to pop an entry,
 *   CRYPTO_remove_all_info()    to pop all entries.
95
 */
96 97 98 99 100
	{	
	unsigned long thread;
	const char *file;
	int line;
	const char *info;
101
	struct app_mem_info_st *next; /* tail of thread's stack */
102 103 104
	int references;
	} APP_INFO;

105 106
static LHASH *amih=NULL; /* hash-table with those app_mem_info_st's
                          * that are at the top of their thread's stack
107 108
                          * (with `thread' as key);
                          * access requires MALLOC2 lock */
109 110

typedef struct mem_st
111
/* memory-block description */
112
	{
113
	void *addr;
114 115 116 117 118 119 120 121 122
	int num;
	const char *file;
	int line;
	unsigned long thread;
	unsigned long order;
	time_t time;
	APP_INFO *app_info;
	} MEM;

123 124 125
static long options =             /* extra information to be recorded */
#if defined(CRYPTO_MDEBUG_TIME) || defined(CRYPTO_MDEBUG_ALL)
	V_CRYPTO_MDEBUG_TIME |
126
#endif
127 128
#if defined(CRYPTO_MDEBUG_THREAD) || defined(CRYPTO_MDEBUG_ALL)
	V_CRYPTO_MDEBUG_THREAD |
129
#endif
130
	0;
131

132

133 134 135 136 137 138 139 140 141
static unsigned int num_disable = 0; /* num_disable > 0
                                      *     iff
                                      * mh_mode == CRYPTO_MEM_CHECK_ON (w/o ..._ENABLE)
                                      */
static unsigned long disabling_thread = 0; /* Valid iff num_disable > 0.
                                            * CRYPTO_LOCK_MALLOC2 is locked
                                            * exactly in this case (by the
                                            * thread named in disabling_thread).
                                            */
142 143 144 145 146 147 148 149

int CRYPTO_mem_ctrl(int mode)
	{
	int ret=mh_mode;

	CRYPTO_w_lock(CRYPTO_LOCK_MALLOC);
	switch (mode)
		{
150 151
	/* for applications (not to be called while multiple threads
	 * use the library): */
152 153
	case CRYPTO_MEM_CHECK_ON: /* aka MemCheck_start() */
		mh_mode = CRYPTO_MEM_CHECK_ON|CRYPTO_MEM_CHECK_ENABLE;
154
		num_disable = 0;
155 156 157
		break;
	case CRYPTO_MEM_CHECK_OFF: /* aka MemCheck_stop() */
		mh_mode = 0;
158 159
		num_disable = 0; /* should be true *before* MemCheck_stop is used,
		                    or there'll be a lot of confusion */
160 161 162 163 164 165
		break;

	/* switch off temporarily (for library-internal use): */
	case CRYPTO_MEM_CHECK_DISABLE: /* aka MemCheck_off() */
		if (mh_mode & CRYPTO_MEM_CHECK_ON)
			{
166
			if (!num_disable || (disabling_thread != CRYPTO_thread_id())) /* otherwise we already have the MALLOC2 lock */
167 168 169
				{
				/* Long-time lock CRYPTO_LOCK_MALLOC2 must not be claimed while
				 * we're holding CRYPTO_LOCK_MALLOC, or we'll deadlock if
170 171
				 * somebody else holds CRYPTO_LOCK_MALLOC2 (and cannot release
				 * it because we block entry to this function).
172 173 174 175 176 177 178 179 180 181 182
				 * Give them a chance, first, and then claim the locks in
				 * appropriate order (long-time lock first).
				 */
				CRYPTO_w_unlock(CRYPTO_LOCK_MALLOC);
				/* Note that after we have waited for CRYPTO_LOCK_MALLOC2
				 * and CRYPTO_LOCK_MALLOC, we'll still be in the right
				 * "case" and "if" branch because MemCheck_start and
				 * MemCheck_stop may never be used while there are multiple
				 * OpenSSL threads. */
				CRYPTO_w_lock(CRYPTO_LOCK_MALLOC2);
				CRYPTO_w_lock(CRYPTO_LOCK_MALLOC);
183
				mh_mode &= ~CRYPTO_MEM_CHECK_ENABLE;
184 185
				disabling_thread=CRYPTO_thread_id();
				}
186
			num_disable++;
187 188 189 190 191
			}
		break;
	case CRYPTO_MEM_CHECK_ENABLE: /* aka MemCheck_on() */
		if (mh_mode & CRYPTO_MEM_CHECK_ON)
			{
192
			if (num_disable) /* always true, or something is going wrong */
193
				{
194 195 196 197 198 199
				num_disable--;
				if (num_disable == 0)
					{
					mh_mode|=CRYPTO_MEM_CHECK_ENABLE;
					CRYPTO_w_unlock(CRYPTO_LOCK_MALLOC2);
					}
200 201 202 203 204 205 206 207 208 209 210
				}
			}
		break;

	default:
		break;
		}
	CRYPTO_w_unlock(CRYPTO_LOCK_MALLOC);
	return(ret);
	}

211
int CRYPTO_is_mem_check_on(void)
212 213 214 215 216
	{
	int ret = 0;

	if (mh_mode & CRYPTO_MEM_CHECK_ON)
		{
217
		CRYPTO_r_lock(CRYPTO_LOCK_MALLOC);
218 219

		ret = (mh_mode & CRYPTO_MEM_CHECK_ENABLE)
220
			|| (disabling_thread != CRYPTO_thread_id());
221

222
		CRYPTO_r_unlock(CRYPTO_LOCK_MALLOC);
223 224 225 226 227
		}
	return(ret);
	}	


228
void CRYPTO_dbg_set_options(long bits)
229 230 231 232
	{
	options = bits;
	}

233
long CRYPTO_dbg_get_options(void)
234 235 236 237
	{
	return options;
	}

238
/* static int mem_cmp(MEM *a, MEM *b) */
239
static int mem_cmp(const void *a_void, const void *b_void)
240
	{
241 242
	return((const char *)((MEM *)a_void)->addr
		- (const char *)((MEM *)b_void)->addr);
243 244
	}

245
/* static unsigned long mem_hash(MEM *a) */
246
static unsigned long mem_hash(const void *a_void)
247 248 249
	{
	unsigned long ret;

250
	ret=(unsigned long)((const MEM *)a_void)->addr;
251 252 253 254 255

	ret=ret*17851+(ret>>14)*7+(ret>>4)*251;
	return(ret);
	}

256
/* static int app_info_cmp(APP_INFO *a, APP_INFO *b) */
257
static int app_info_cmp(const void *a_void, const void *b_void)
258
	{
259 260
	return(((const APP_INFO *)a_void)->thread
		!= ((const APP_INFO *)b_void)->thread);
261 262
	}

263
/* static unsigned long app_info_hash(APP_INFO *a) */
264
static unsigned long app_info_hash(const void *a_void)
265 266 267
	{
	unsigned long ret;

268
	ret=(unsigned long)((const APP_INFO *)a_void)->thread;
269 270 271 272 273

	ret=ret*17851+(ret>>14)*7+(ret>>4)*251;
	return(ret);
	}

U
Ulf Möller 已提交
274
static APP_INFO *pop_info(void)
275 276 277 278 279 280 281
	{
	APP_INFO tmp;
	APP_INFO *ret = NULL;

	if (amih != NULL)
		{
		tmp.thread=CRYPTO_thread_id();
282
		if ((ret=(APP_INFO *)lh_delete(amih,&tmp)) != NULL)
283 284 285 286 287 288 289 290
			{
			APP_INFO *next=ret->next;

			if (next != NULL)
				{
				next->references++;
				lh_insert(amih,(char *)next);
				}
291
#ifdef LEVITTE_DEBUG_MEM
292 293
			if (ret->thread != tmp.thread)
				{
B
Rename  
Bodo Möller 已提交
294
				fprintf(stderr, "pop_info(): deleted info has other thread ID (%lu) than the current thread (%lu)!!!!\n",
295 296 297 298 299 300 301 302 303
					ret->thread, tmp.thread);
				abort();
				}
#endif
			if (--(ret->references) <= 0)
				{
				ret->next = NULL;
				if (next != NULL)
					next->references--;
304
				OPENSSL_free(ret);
305 306 307 308 309 310
				}
			}
		}
	return(ret);
	}

B
Rename  
Bodo Möller 已提交
311
int CRYPTO_push_info_(const char *info, const char *file, int line)
312 313 314 315 316 317
	{
	APP_INFO *ami, *amim;
	int ret=0;

	if (is_MemCheck_on())
		{
318
		MemCheck_off(); /* obtain MALLOC2 lock */
319

320
		if ((ami = (APP_INFO *)OPENSSL_malloc(sizeof(APP_INFO))) == NULL)
321 322 323 324 325 326
			{
			ret=0;
			goto err;
			}
		if (amih == NULL)
			{
327
			if ((amih=lh_new(app_info_hash, app_info_cmp)) == NULL)
328
				{
329
				OPENSSL_free(ami);
330 331 332 333 334 335 336 337 338 339 340 341 342 343
				ret=0;
				goto err;
				}
			}

		ami->thread=CRYPTO_thread_id();
		ami->file=file;
		ami->line=line;
		ami->info=info;
		ami->references=1;
		ami->next=NULL;

		if ((amim=(APP_INFO *)lh_insert(amih,(char *)ami)) != NULL)
			{
344
#ifdef LEVITTE_DEBUG_MEM
345 346
			if (ami->thread != amim->thread)
				{
B
Rename  
Bodo Möller 已提交
347
				fprintf(stderr, "CRYPTO_push_info(): previous info has other thread ID (%lu) than the current thread (%lu)!!!!\n",
348 349 350 351 352 353 354
					amim->thread, ami->thread);
				abort();
				}
#endif
			ami->next=amim;
			}
 err:
355
		MemCheck_on(); /* release MALLOC2 lock */
356 357 358 359 360
		}

	return(ret);
	}

B
Rename  
Bodo Möller 已提交
361
int CRYPTO_pop_info(void)
362 363 364
	{
	int ret=0;

365
	if (is_MemCheck_on()) /* _must_ be true, or something went severely wrong */
366
		{
367
		MemCheck_off(); /* obtain MALLOC2 lock */
368

B
Rename  
Bodo Möller 已提交
369
		ret=(pop_info() != NULL);
370

371
		MemCheck_on(); /* release MALLOC2 lock */
372 373 374 375 376 377 378 379
		}
	return(ret);
	}

int CRYPTO_remove_all_info(void)
	{
	int ret=0;

380
	if (is_MemCheck_on()) /* _must_ be true */
381
		{
382
		MemCheck_off(); /* obtain MALLOC2 lock */
383

B
Rename  
Bodo Möller 已提交
384
		while(pop_info() != NULL)
385 386
			ret++;

387
		MemCheck_on(); /* release MALLOC2 lock */
388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409
		}
	return(ret);
	}


static unsigned long break_order_num=0;
void CRYPTO_dbg_malloc(void *addr, int num, const char *file, int line,
	int before_p)
	{
	MEM *m,*mm;
	APP_INFO tmp,*amim;

	switch(before_p & 127)
		{
	case 0:
		break;
	case 1:
		if (addr == NULL)
			break;

		if (is_MemCheck_on())
			{
410
			MemCheck_off(); /* make sure we hold MALLOC2 lock */
411
			if ((m=(MEM *)OPENSSL_malloc(sizeof(MEM))) == NULL)
412
				{
413
				OPENSSL_free(addr);
414 415
				MemCheck_on(); /* release MALLOC2 lock
				                * if num_disabled drops to 0 */
416 417 418 419
				return;
				}
			if (mh == NULL)
				{
420
				if ((mh=lh_new(mem_hash, mem_cmp)) == NULL)
421
					{
422 423
					OPENSSL_free(addr);
					OPENSSL_free(m);
424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443
					addr=NULL;
					goto err;
					}
				}

			m->addr=addr;
			m->file=file;
			m->line=line;
			m->num=num;
			if (options & V_CRYPTO_MDEBUG_THREAD)
				m->thread=CRYPTO_thread_id();
			else
				m->thread=0;

			if (order == break_order_num)
				{
				/* BREAK HERE */
				m->order=order;
				}
			m->order=order++;
444 445
#ifdef LEVITTE_DEBUG_MEM
			fprintf(stderr, "LEVITTE_DEBUG_MEM: [%5d] %c 0x%p (%d)\n",
446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470
				m->order,
				(before_p & 128) ? '*' : '+',
				m->addr, m->num);
#endif
			if (options & V_CRYPTO_MDEBUG_TIME)
				m->time=time(NULL);
			else
				m->time=0;

			tmp.thread=CRYPTO_thread_id();
			m->app_info=NULL;
			if (amih != NULL
				&& (amim=(APP_INFO *)lh_retrieve(amih,(char *)&tmp)) != NULL)
				{
				m->app_info = amim;
				amim->references++;
				}

			if ((mm=(MEM *)lh_insert(mh,(char *)m)) != NULL)
				{
				/* Not good, but don't sweat it */
				if (mm->app_info != NULL)
					{
					mm->app_info->references--;
					}
471
				OPENSSL_free(mm);
472 473
				}
		err:
474 475
			MemCheck_on(); /* release MALLOC2 lock
			                * if num_disabled drops to 0 */
476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493
			}
		break;
		}
	return;
	}

void CRYPTO_dbg_free(void *addr, int before_p)
	{
	MEM m,*mp;

	switch(before_p)
		{
	case 0:
		if (addr == NULL)
			break;

		if (is_MemCheck_on() && (mh != NULL))
			{
494
			MemCheck_off(); /* make sure we hold MALLOC2 lock */
495 496 497 498 499

			m.addr=addr;
			mp=(MEM *)lh_delete(mh,(char *)&m);
			if (mp != NULL)
				{
500 501
#ifdef LEVITTE_DEBUG_MEM
			fprintf(stderr, "LEVITTE_DEBUG_MEM: [%5d] - 0x%p (%d)\n",
502 503 504 505 506 507
				mp->order, mp->addr, mp->num);
#endif
				if (mp->app_info != NULL)
					{
					mp->app_info->references--;
					}
508
				OPENSSL_free(mp);
509 510
				}

511 512
			MemCheck_on(); /* release MALLOC2 lock
			                * if num_disabled drops to 0 */
513 514 515 516 517 518 519 520 521 522 523 524
			}
		break;
	case 1:
		break;
		}
	}

void CRYPTO_dbg_realloc(void *addr1, void *addr2, int num,
	const char *file, int line, int before_p)
	{
	MEM m,*mp;

525 526
#ifdef LEVITTE_DEBUG_MEM
	fprintf(stderr, "LEVITTE_DEBUG_MEM: --> CRYPTO_dbg_malloc(addr1 = %p, addr2 = %p, num = %d, file = \"%s\", line = %d, before_p = %d)\n",
527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545
		addr1, addr2, num, file, line, before_p);
#endif

	switch(before_p)
		{
	case 0:
		break;
	case 1:
		if (addr2 == NULL)
			break;

		if (addr1 == NULL)
			{
			CRYPTO_dbg_malloc(addr2, num, file, line, 128 | before_p);
			break;
			}

		if (is_MemCheck_on())
			{
546
			MemCheck_off(); /* make sure we hold MALLOC2 lock */
547 548 549 550 551

			m.addr=addr1;
			mp=(MEM *)lh_delete(mh,(char *)&m);
			if (mp != NULL)
				{
552 553
#ifdef LEVITTE_DEBUG_MEM
				fprintf(stderr, "LEVITTE_DEBUG_MEM: [%5d] * 0x%p (%d) -> 0x%p (%d)\n",
554 555 556 557 558 559 560 561 562
					mp->order,
					mp->addr, mp->num,
					addr2, num);
#endif
				mp->addr=addr2;
				mp->num=num;
				lh_insert(mh,(char *)mp);
				}

563 564
			MemCheck_on(); /* release MALLOC2 lock
			                * if num_disabled drops to 0 */
565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620
			}
		break;
		}
	return;
	}


typedef struct mem_leak_st
	{
	BIO *bio;
	int chunks;
	long bytes;
	} MEM_LEAK;

static void print_leak(MEM *m, MEM_LEAK *l)
	{
	char buf[1024];
	char *bufp = buf;
	APP_INFO *amip;
	int ami_cnt;
	struct tm *lcl = NULL;
	unsigned long ti;

	if(m->addr == (char *)l->bio)
	    return;

	if (options & V_CRYPTO_MDEBUG_TIME)
		{
		lcl = localtime(&m->time);
	
		sprintf(bufp, "[%02d:%02d:%02d] ",
			lcl->tm_hour,lcl->tm_min,lcl->tm_sec);
		bufp += strlen(bufp);
		}

	sprintf(bufp, "%5lu file=%s, line=%d, ",
		m->order,m->file,m->line);
	bufp += strlen(bufp);

	if (options & V_CRYPTO_MDEBUG_THREAD)
		{
		sprintf(bufp, "thread=%lu, ", m->thread);
		bufp += strlen(bufp);
		}

	sprintf(bufp, "number=%d, address=%08lX\n",
		m->num,(unsigned long)m->addr);
	bufp += strlen(bufp);

	BIO_puts(l->bio,buf);
	
	l->chunks++;
	l->bytes+=m->num;

	amip=m->app_info;
	ami_cnt=0;
621 622 623 624 625
	if (!amip)
		return;
	ti=amip->thread;
	
	do
626 627 628 629 630 631 632
		{
		int buf_len;
		int info_len;

		ami_cnt++;
		memset(buf,'>',ami_cnt);
		sprintf(buf + ami_cnt,
633
			" thread=%lu, file=%s, line=%d, info=\"",
634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652
			amip->thread, amip->file, amip->line);
		buf_len=strlen(buf);
		info_len=strlen(amip->info);
		if (128 - buf_len - 3 < info_len)
			{
			memcpy(buf + buf_len, amip->info, 128 - buf_len - 3);
			buf_len = 128 - 3;
			}
		else
			{
			strcpy(buf + buf_len, amip->info);
			buf_len = strlen(buf);
			}
		sprintf(buf + buf_len, "\"\n");
		
		BIO_puts(l->bio,buf);

		amip = amip->next;
		}
653 654
	while(amip && amip->thread == ti);
		
655
#ifdef LEVITTE_DEBUG_MEM
656 657
	if (amip)
		{
R
Typo...  
Richard Levitte 已提交
658
		fprintf(stderr, "Thread switch detected in backtrace!!!!\n");
659 660 661 662 663
		abort();
		}
#endif
	}

664 665
static IMPLEMENT_LHASH_DOALL_ARG_FN(print_leak, MEM *, MEM_LEAK *)

666 667 668 669 670
void CRYPTO_mem_leaks(BIO *b)
	{
	MEM_LEAK ml;
	char buf[80];

671 672
	if (mh == NULL && amih == NULL)
		return;
673 674 675

	MemCheck_off(); /* obtain MALLOC2 lock */

676 677 678
	ml.bio=b;
	ml.bytes=0;
	ml.chunks=0;
679
	if (mh != NULL)
680
		lh_doall_arg(mh, LHASH_DOALL_ARG_FN(print_leak),
681
				(char *)&ml);
682 683 684 685 686 687
	if (ml.chunks != 0)
		{
		sprintf(buf,"%ld bytes leaked in %d chunks\n",
			ml.bytes,ml.chunks);
		BIO_puts(b,buf);
		}
688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704
	else
		{
		/* Make sure that, if we found no leaks, memory-leak debugging itself
		 * does not introduce memory leaks (which might irritate
		 * external debugging tools).
		 * (When someone enables leak checking, but does not call
		 * this function, we declare it to be their fault.)
		 *
		 * XXX    This should be in CRYPTO_mem_leaks_cb,
		 * and CRYPTO_mem_leaks should be implemented by
		 * using CRYPTO_mem_leaks_cb.
		 * (Also their should be a variant of lh_doall_arg
		 * that takes a function pointer instead of a void *;
		 * this would obviate the ugly and illegal
		 * void_fn_to_char kludge in CRYPTO_mem_leaks_cb.
		 * Otherwise the code police will come and get us.)
		 */
B
Bodo Möller 已提交
705 706
		int old_mh_mode;

707
		CRYPTO_w_lock(CRYPTO_LOCK_MALLOC);
B
Bodo Möller 已提交
708 709 710 711 712 713

		/* avoid deadlock when lh_free() uses CRYPTO_dbg_free(),
		 * which uses CRYPTO_is_mem_check_on */
		old_mh_mode = mh_mode;
		mh_mode = CRYPTO_MEM_CHECK_OFF;

714 715 716 717 718 719 720 721 722 723 724 725 726
		if (mh != NULL)
			{
			lh_free(mh);
			mh = NULL;
			}
		if (amih != NULL)
			{
			if (lh_num_items(amih) == 0) 
				{
				lh_free(amih);
				amih = NULL;
				}
			}
B
Bodo Möller 已提交
727 728

		mh_mode = old_mh_mode;
729 730
		CRYPTO_w_unlock(CRYPTO_LOCK_MALLOC);
		}
731
	MemCheck_on(); /* release MALLOC2 lock */
732 733
	}

734
#ifndef OPENSSL_NO_FP_API
735 736 737 738 739 740 741 742 743 744 745 746 747
void CRYPTO_mem_leaks_fp(FILE *fp)
	{
	BIO *b;

	if (mh == NULL) return;
	if ((b=BIO_new(BIO_s_file())) == NULL)
		return;
	BIO_set_fp(b,fp,BIO_NOCLOSE);
	CRYPTO_mem_leaks(b);
	BIO_free(b);
	}
#endif

748 749 750 751 752


/* FIXME: We really don't allow much to the callback.  For example, it has
   no chance of reaching the info stack for the item it processes.  Should
   it really be this way?  -- Richard Levitte */
753 754 755
/* NB: The prototypes have been typedef'd to CRYPTO_MEM_LEAK_CB inside crypto.h
 * If this code is restructured, remove the callback type if it is no longer
 * needed. -- Geoff Thorpe */
756
static void cb_leak(MEM *m, CRYPTO_MEM_LEAK_CB **cb)
757 758 759 760
	{
	(**cb)(m->order,m->file,m->line,m->num,m->addr);
	}

761
static IMPLEMENT_LHASH_DOALL_ARG_FN(cb_leak, MEM *, CRYPTO_MEM_LEAK_CB **)
762

763
void CRYPTO_mem_leaks_cb(CRYPTO_MEM_LEAK_CB *cb)
764 765 766
	{
	if (mh == NULL) return;
	CRYPTO_w_lock(CRYPTO_LOCK_MALLOC2);
767
	lh_doall_arg(mh, LHASH_DOALL_ARG_FN(cb_leak), &cb);
768 769
	CRYPTO_w_unlock(CRYPTO_LOCK_MALLOC2);
	}