blob: 0489e97adbda0286867891bfaef91e0e2fac922f [file] [log] [blame]
Rich Salzaa6bb132016-05-17 15:38:09 -04001/*
Matt Caswell6738bf12018-02-13 12:51:29 +00002 * Copyright 1995-2018 The OpenSSL Project Authors. All Rights Reserved.
Richard Levitte9ac42ed1999-12-17 12:56:24 +00003 *
Rich Salzaa6bb132016-05-17 15:38:09 -04004 * Licensed under the OpenSSL license (the "License"). You may not use
5 * this file except in compliance with the License. You can obtain a copy
6 * in the file LICENSE in the source distribution or at
7 * https://www.openssl.org/source/license.html
Bodo Möller48fc5822006-06-23 15:21:36 +00008 */
Richard Levitte9ac42ed1999-12-17 12:56:24 +00009
10#include <stdio.h>
11#include <stdlib.h>
Matt Caswell0f113f32015-01-22 03:40:55 +000012#include <time.h>
Richard Levitteb39fc562015-05-14 16:56:48 +020013#include "internal/cryptlib.h"
Dr. Stephen Henson23dd0c92016-07-20 02:57:23 +010014#include "internal/thread_once.h"
Richard Levitte9ac42ed1999-12-17 12:56:24 +000015#include <openssl/crypto.h>
16#include <openssl/buffer.h>
Matt Caswell1ee7b8b2016-04-14 21:28:54 +010017#include "internal/bio.h"
Richard Levitte9ac42ed1999-12-17 12:56:24 +000018#include <openssl/lhash.h>
Richard Levitteef8ca6b2016-02-14 12:16:52 +010019
20#ifndef OPENSSL_NO_CRYPTO_MDEBUG_BACKTRACE
Richard Levitte012c5402015-12-02 13:19:45 +010021# include <execinfo.h>
22#endif
Richard Levitte9ac42ed1999-12-17 12:56:24 +000023
Matt Caswell0f113f32015-01-22 03:40:55 +000024/*
25 * The state changes to CRYPTO_MEM_CHECK_ON | CRYPTO_MEM_CHECK_ENABLE when
26 * the application asks for it (usually after library initialisation for
27 * which no book-keeping is desired). State CRYPTO_MEM_CHECK_ON exists only
28 * temporarily when the library thinks that certain allocations should not be
29 * checked (e.g. the data structures used for memory checking). It is not
30 * suitable as an initial state: the library will unexpectedly enable memory
31 * checking when it executes one of those sections that want to disable
32 * checking temporarily. State CRYPTO_MEM_CHECK_ENABLE without ..._ON makes
33 * no sense whatsoever.
Richard Levitte9ac42ed1999-12-17 12:56:24 +000034 */
Viktor Dukhovnic2e27312016-01-10 14:42:10 -050035#ifndef OPENSSL_NO_CRYPTO_MDEBUG
Rich Salzbbd86bf2016-01-07 15:06:38 -050036static int mh_mode = CRYPTO_MEM_CHECK_OFF;
Viktor Dukhovnic2e27312016-01-10 14:42:10 -050037#endif
Richard Levitte9ac42ed1999-12-17 12:56:24 +000038
Rich Salz6ac11bd2016-01-07 21:40:52 -050039#ifndef OPENSSL_NO_CRYPTO_MDEBUG
Bodo Möller0cd08cc1999-12-18 05:22:50 +000040static unsigned long order = 0; /* number of memory requests */
Ben Laurie3c1d6bb2008-05-26 11:24:29 +000041
Matt Caswellc80fd6b2015-01-16 09:21:50 +000042/*-
43 * For application-defined information (static C-string `info')
Bodo Möller0cd08cc1999-12-18 05:22:50 +000044 * to be displayed in memory leak list.
45 * Each thread has its own stack. For applications, there is
Rich Salz4fae3862015-12-16 23:02:47 -050046 * OPENSSL_mem_debug_push("...") to push an entry,
47 * OPENSSL_mem_debug_pop() to pop an entry,
Bodo Möller0cd08cc1999-12-18 05:22:50 +000048 */
Dr. Stephen Hensone6b5c342016-01-11 14:11:13 +000049struct app_mem_info_st {
Matt Caswell9471f772016-03-08 15:44:05 +000050 CRYPTO_THREAD_ID threadid;
Matt Caswell0f113f32015-01-22 03:40:55 +000051 const char *file;
52 int line;
53 const char *info;
54 struct app_mem_info_st *next; /* tail of thread's stack */
55 int references;
Dr. Stephen Hensone6b5c342016-01-11 14:11:13 +000056};
Richard Levitte9ac42ed1999-12-17 12:56:24 +000057
Matt Caswell9471f772016-03-08 15:44:05 +000058static CRYPTO_ONCE memdbg_init = CRYPTO_ONCE_STATIC_INIT;
Rich Salz0e598a32017-10-04 21:17:58 -040059CRYPTO_RWLOCK *memdbg_lock;
60static CRYPTO_RWLOCK *long_memdbg_lock;
Matt Caswell9471f772016-03-08 15:44:05 +000061static CRYPTO_THREAD_LOCAL appinfokey;
Richard Levitte9ac42ed1999-12-17 12:56:24 +000062
Bodo Möller0cd08cc1999-12-18 05:22:50 +000063/* memory-block description */
Dr. Stephen Hensone6b5c342016-01-11 14:11:13 +000064struct mem_st {
Matt Caswell0f113f32015-01-22 03:40:55 +000065 void *addr;
66 int num;
67 const char *file;
68 int line;
Matt Caswell9471f772016-03-08 15:44:05 +000069 CRYPTO_THREAD_ID threadid;
Matt Caswell0f113f32015-01-22 03:40:55 +000070 unsigned long order;
71 time_t time;
72 APP_INFO *app_info;
Richard Levitteef8ca6b2016-02-14 12:16:52 +010073#ifndef OPENSSL_NO_CRYPTO_MDEBUG_BACKTRACE
Richard Levitte012c5402015-12-02 13:19:45 +010074 void *array[30];
75 size_t array_siz;
76#endif
Dr. Stephen Hensone6b5c342016-01-11 14:11:13 +000077};
78
Rich Salz0e598a32017-10-04 21:17:58 -040079/*
80 * hash-table of memory requests (address as * key); access requires
81 * long_memdbg_lock lock
82 */
83static LHASH_OF(MEM) *mh = NULL;
Richard Levitte9ac42ed1999-12-17 12:56:24 +000084
Rich Salzbbd86bf2016-01-07 15:06:38 -050085/* num_disable > 0 iff mh_mode == CRYPTO_MEM_CHECK_ON (w/o ..._ENABLE) */
86static unsigned int num_disable = 0;
Richard Levitte9ac42ed1999-12-17 12:56:24 +000087
Matt Caswell0f113f32015-01-22 03:40:55 +000088/*
Rich Salz0e598a32017-10-04 21:17:58 -040089 * Valid iff num_disable > 0. long_memdbg_lock is locked exactly in this
Geoff Thorpe4c329692008-08-06 15:54:15 +000090 * case (by the thread named in disabling_thread).
Geoff Thorpe5f834ab2008-07-03 19:59:25 +000091 */
Matt Caswell9471f772016-03-08 15:44:05 +000092static CRYPTO_THREAD_ID disabling_threadid;
93
Dr. Stephen Henson23dd0c92016-07-20 02:57:23 +010094DEFINE_RUN_ONCE_STATIC(do_memdbg_init)
Matt Caswell9471f772016-03-08 15:44:05 +000095{
Benjamin Kaduk63ab5ea2018-01-16 09:49:54 -060096 memdbg_lock = CRYPTO_THREAD_lock_new();
97 long_memdbg_lock = CRYPTO_THREAD_lock_new();
98 if (memdbg_lock == NULL || long_memdbg_lock == NULL
99 || !CRYPTO_THREAD_init_local(&appinfokey, NULL)) {
Rich Salz0e598a32017-10-04 21:17:58 -0400100 CRYPTO_THREAD_lock_free(memdbg_lock);
101 memdbg_lock = NULL;
102 CRYPTO_THREAD_lock_free(long_memdbg_lock);
103 long_memdbg_lock = NULL;
Dr. Stephen Henson23dd0c92016-07-20 02:57:23 +0100104 return 0;
105 }
106 return 1;
Matt Caswell9471f772016-03-08 15:44:05 +0000107}
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000108
Bodo Möller9dc61042002-11-18 14:00:42 +0000109static void app_info_free(APP_INFO *inf)
Matt Caswell0f113f32015-01-22 03:40:55 +0000110{
Rich Salz0e598a32017-10-04 21:17:58 -0400111 if (inf == NULL)
Rich Salz25aaa982015-05-01 14:37:16 -0400112 return;
Matt Caswell0f113f32015-01-22 03:40:55 +0000113 if (--(inf->references) <= 0) {
Rich Salz25aaa982015-05-01 14:37:16 -0400114 app_info_free(inf->next);
Matt Caswell0f113f32015-01-22 03:40:55 +0000115 OPENSSL_free(inf);
116 }
117}
Rich Salzbbd86bf2016-01-07 15:06:38 -0500118#endif
Bodo Möller9dc61042002-11-18 14:00:42 +0000119
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000120int CRYPTO_mem_ctrl(int mode)
Matt Caswell0f113f32015-01-22 03:40:55 +0000121{
Viktor Dukhovnic2e27312016-01-10 14:42:10 -0500122#ifdef OPENSSL_NO_CRYPTO_MDEBUG
Rich Salzbbd86bf2016-01-07 15:06:38 -0500123 return mode - mode;
124#else
Matt Caswell0f113f32015-01-22 03:40:55 +0000125 int ret = mh_mode;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000126
Richard Levittec2e4e5d2016-07-19 19:42:11 +0200127 if (!RUN_ONCE(&memdbg_init, do_memdbg_init))
128 return -1;
Matt Caswell9471f772016-03-08 15:44:05 +0000129
Rich Salz0e598a32017-10-04 21:17:58 -0400130 CRYPTO_THREAD_write_lock(memdbg_lock);
Matt Caswell0f113f32015-01-22 03:40:55 +0000131 switch (mode) {
Rich Salzbbd86bf2016-01-07 15:06:38 -0500132 default:
133 break;
134
135 case CRYPTO_MEM_CHECK_ON:
Matt Caswell0f113f32015-01-22 03:40:55 +0000136 mh_mode = CRYPTO_MEM_CHECK_ON | CRYPTO_MEM_CHECK_ENABLE;
137 num_disable = 0;
138 break;
Rich Salzbbd86bf2016-01-07 15:06:38 -0500139
140 case CRYPTO_MEM_CHECK_OFF:
Matt Caswell0f113f32015-01-22 03:40:55 +0000141 mh_mode = 0;
Rich Salzbbd86bf2016-01-07 15:06:38 -0500142 num_disable = 0;
Matt Caswell0f113f32015-01-22 03:40:55 +0000143 break;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000144
Rich Salzbbd86bf2016-01-07 15:06:38 -0500145 /* switch off temporarily (for library-internal use): */
146 case CRYPTO_MEM_CHECK_DISABLE:
Matt Caswell0f113f32015-01-22 03:40:55 +0000147 if (mh_mode & CRYPTO_MEM_CHECK_ON) {
Matt Caswell9471f772016-03-08 15:44:05 +0000148 CRYPTO_THREAD_ID cur = CRYPTO_THREAD_get_current_id();
Rich Salz0e598a32017-10-04 21:17:58 -0400149 /* see if we don't have long_memdbg_lock already */
Matt Caswell0f113f32015-01-22 03:40:55 +0000150 if (!num_disable
Matt Caswell9471f772016-03-08 15:44:05 +0000151 || !CRYPTO_THREAD_compare_id(disabling_threadid, cur)) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000152 /*
Rich Salz0e598a32017-10-04 21:17:58 -0400153 * Long-time lock long_memdbg_lock must not be claimed
154 * while we're holding memdbg_lock, or we'll deadlock
155 * if somebody else holds long_memdbg_lock (and cannot
Matt Caswell0f113f32015-01-22 03:40:55 +0000156 * release it because we block entry to this function). Give
157 * them a chance, first, and then claim the locks in
158 * appropriate order (long-time lock first).
159 */
Rich Salz0e598a32017-10-04 21:17:58 -0400160 CRYPTO_THREAD_unlock(memdbg_lock);
Matt Caswell0f113f32015-01-22 03:40:55 +0000161 /*
Rich Salz0e598a32017-10-04 21:17:58 -0400162 * Note that after we have waited for long_memdbg_lock and
163 * memdbg_lock, we'll still be in the right "case" and
Matt Caswell0f113f32015-01-22 03:40:55 +0000164 * "if" branch because MemCheck_start and MemCheck_stop may
165 * never be used while there are multiple OpenSSL threads.
166 */
Rich Salz0e598a32017-10-04 21:17:58 -0400167 CRYPTO_THREAD_write_lock(long_memdbg_lock);
168 CRYPTO_THREAD_write_lock(memdbg_lock);
Matt Caswell0f113f32015-01-22 03:40:55 +0000169 mh_mode &= ~CRYPTO_MEM_CHECK_ENABLE;
Matt Caswell9471f772016-03-08 15:44:05 +0000170 disabling_threadid = cur;
Matt Caswell0f113f32015-01-22 03:40:55 +0000171 }
172 num_disable++;
173 }
174 break;
Rich Salzbbd86bf2016-01-07 15:06:38 -0500175
176 case CRYPTO_MEM_CHECK_ENABLE:
Matt Caswell0f113f32015-01-22 03:40:55 +0000177 if (mh_mode & CRYPTO_MEM_CHECK_ON) {
178 if (num_disable) { /* always true, or something is going wrong */
179 num_disable--;
180 if (num_disable == 0) {
181 mh_mode |= CRYPTO_MEM_CHECK_ENABLE;
Rich Salz0e598a32017-10-04 21:17:58 -0400182 CRYPTO_THREAD_unlock(long_memdbg_lock);
Matt Caswell0f113f32015-01-22 03:40:55 +0000183 }
184 }
185 }
186 break;
Matt Caswell0f113f32015-01-22 03:40:55 +0000187 }
Rich Salz0e598a32017-10-04 21:17:58 -0400188 CRYPTO_THREAD_unlock(memdbg_lock);
Paulib4df7122017-07-07 07:29:55 +1000189 return ret;
Rich Salzbbd86bf2016-01-07 15:06:38 -0500190#endif
Matt Caswell0f113f32015-01-22 03:40:55 +0000191}
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000192
Rich Salz6ac11bd2016-01-07 21:40:52 -0500193#ifndef OPENSSL_NO_CRYPTO_MDEBUG
Rich Salzbbd86bf2016-01-07 15:06:38 -0500194
195static int mem_check_on(void)
Matt Caswell0f113f32015-01-22 03:40:55 +0000196{
197 int ret = 0;
Alessandro Ghedinia0605742016-03-08 21:58:17 +0000198 CRYPTO_THREAD_ID cur;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000199
Matt Caswell0f113f32015-01-22 03:40:55 +0000200 if (mh_mode & CRYPTO_MEM_CHECK_ON) {
Richard Levittec2e4e5d2016-07-19 19:42:11 +0200201 if (!RUN_ONCE(&memdbg_init, do_memdbg_init))
202 return 0;
Matt Caswell9471f772016-03-08 15:44:05 +0000203
Alessandro Ghedinia0605742016-03-08 21:58:17 +0000204 cur = CRYPTO_THREAD_get_current_id();
Rich Salz0e598a32017-10-04 21:17:58 -0400205 CRYPTO_THREAD_read_lock(memdbg_lock);
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000206
Matt Caswell0f113f32015-01-22 03:40:55 +0000207 ret = (mh_mode & CRYPTO_MEM_CHECK_ENABLE)
Matt Caswell9471f772016-03-08 15:44:05 +0000208 || !CRYPTO_THREAD_compare_id(disabling_threadid, cur);
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000209
Rich Salz0e598a32017-10-04 21:17:58 -0400210 CRYPTO_THREAD_unlock(memdbg_lock);
Matt Caswell0f113f32015-01-22 03:40:55 +0000211 }
Paulib4df7122017-07-07 07:29:55 +1000212 return ret;
Matt Caswell0f113f32015-01-22 03:40:55 +0000213}
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000214
Ben Laurie3c1d6bb2008-05-26 11:24:29 +0000215static int mem_cmp(const MEM *a, const MEM *b)
Matt Caswell0f113f32015-01-22 03:40:55 +0000216{
Andy Polyakov1875e6d2005-07-05 11:44:45 +0000217#ifdef _WIN64
Matt Caswell0f113f32015-01-22 03:40:55 +0000218 const char *ap = (const char *)a->addr, *bp = (const char *)b->addr;
219 if (ap == bp)
220 return 0;
221 else if (ap > bp)
222 return 1;
223 else
224 return -1;
Andy Polyakov1875e6d2005-07-05 11:44:45 +0000225#else
Matt Caswell0f113f32015-01-22 03:40:55 +0000226 return (const char *)a->addr - (const char *)b->addr;
Andy Polyakov1875e6d2005-07-05 11:44:45 +0000227#endif
Matt Caswell0f113f32015-01-22 03:40:55 +0000228}
229
Ben Laurie3c1d6bb2008-05-26 11:24:29 +0000230static unsigned long mem_hash(const MEM *a)
Matt Caswell0f113f32015-01-22 03:40:55 +0000231{
Andy Polyakov5f0580c2015-09-30 10:36:21 +0200232 size_t ret;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000233
Andy Polyakov5f0580c2015-09-30 10:36:21 +0200234 ret = (size_t)a->addr;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000235
Matt Caswell0f113f32015-01-22 03:40:55 +0000236 ret = ret * 17851 + (ret >> 14) * 7 + (ret >> 4) * 251;
Paulib4df7122017-07-07 07:29:55 +1000237 return ret;
Matt Caswell0f113f32015-01-22 03:40:55 +0000238}
239
Pascal Cuoq96e25c42016-01-10 13:43:37 +0100240/* returns 1 if there was an info to pop, 0 if the stack was empty. */
241static int pop_info(void)
Matt Caswell0f113f32015-01-22 03:40:55 +0000242{
Pascal Cuoq96e25c42016-01-10 13:43:37 +0100243 APP_INFO *current = NULL;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000244
Richard Levittec2e4e5d2016-07-19 19:42:11 +0200245 if (!RUN_ONCE(&memdbg_init, do_memdbg_init))
246 return 0;
247
Matt Caswell9471f772016-03-08 15:44:05 +0000248 current = (APP_INFO *)CRYPTO_THREAD_get_local(&appinfokey);
249 if (current != NULL) {
250 APP_INFO *next = current->next;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000251
Matt Caswell9471f772016-03-08 15:44:05 +0000252 if (next != NULL) {
253 next->references++;
254 CRYPTO_THREAD_set_local(&appinfokey, next);
255 } else {
256 CRYPTO_THREAD_set_local(&appinfokey, NULL);
Matt Caswell0f113f32015-01-22 03:40:55 +0000257 }
Matt Caswell9471f772016-03-08 15:44:05 +0000258 if (--(current->references) <= 0) {
259 current->next = NULL;
260 if (next != NULL)
261 next->references--;
262 OPENSSL_free(current);
263 }
264 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +0000265 }
Pascal Cuoq96e25c42016-01-10 13:43:37 +0100266 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +0000267}
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000268
Rich Salz4fae3862015-12-16 23:02:47 -0500269int CRYPTO_mem_debug_push(const char *info, const char *file, int line)
Matt Caswell0f113f32015-01-22 03:40:55 +0000270{
271 APP_INFO *ami, *amim;
272 int ret = 0;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000273
Rich Salzbbd86bf2016-01-07 15:06:38 -0500274 if (mem_check_on()) {
275 CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_DISABLE);
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000276
Richard Levittec2e4e5d2016-07-19 19:42:11 +0200277 if (!RUN_ONCE(&memdbg_init, do_memdbg_init)
278 || (ami = OPENSSL_malloc(sizeof(*ami))) == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000279 goto err;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000280
Matt Caswell9471f772016-03-08 15:44:05 +0000281 ami->threadid = CRYPTO_THREAD_get_current_id();
Matt Caswell0f113f32015-01-22 03:40:55 +0000282 ami->file = file;
283 ami->line = line;
284 ami->info = info;
285 ami->references = 1;
286 ami->next = NULL;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000287
Matt Caswell9471f772016-03-08 15:44:05 +0000288 amim = (APP_INFO *)CRYPTO_THREAD_get_local(&appinfokey);
289 CRYPTO_THREAD_set_local(&appinfokey, ami);
290
291 if (amim != NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000292 ami->next = amim;
Rich Salzbbd86bf2016-01-07 15:06:38 -0500293 ret = 1;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000294 err:
Rich Salzbbd86bf2016-01-07 15:06:38 -0500295 CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_ENABLE);
Matt Caswell0f113f32015-01-22 03:40:55 +0000296 }
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000297
Paulib4df7122017-07-07 07:29:55 +1000298 return ret;
Matt Caswell0f113f32015-01-22 03:40:55 +0000299}
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000300
Rich Salz4fae3862015-12-16 23:02:47 -0500301int CRYPTO_mem_debug_pop(void)
Matt Caswell0f113f32015-01-22 03:40:55 +0000302{
303 int ret = 0;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000304
Rich Salzbbd86bf2016-01-07 15:06:38 -0500305 if (mem_check_on()) {
306 CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_DISABLE);
Pascal Cuoq96e25c42016-01-10 13:43:37 +0100307 ret = pop_info();
Rich Salzbbd86bf2016-01-07 15:06:38 -0500308 CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_ENABLE);
Matt Caswell0f113f32015-01-22 03:40:55 +0000309 }
Paulib4df7122017-07-07 07:29:55 +1000310 return ret;
Matt Caswell0f113f32015-01-22 03:40:55 +0000311}
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000312
Matt Caswell0f113f32015-01-22 03:40:55 +0000313static unsigned long break_order_num = 0;
Rich Salzbbd86bf2016-01-07 15:06:38 -0500314
315void CRYPTO_mem_debug_malloc(void *addr, size_t num, int before_p,
316 const char *file, int line)
Matt Caswell0f113f32015-01-22 03:40:55 +0000317{
318 MEM *m, *mm;
Matt Caswell9471f772016-03-08 15:44:05 +0000319 APP_INFO *amim;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000320
Matt Caswell0f113f32015-01-22 03:40:55 +0000321 switch (before_p & 127) {
322 case 0:
323 break;
324 case 1:
325 if (addr == NULL)
326 break;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000327
Rich Salzbbd86bf2016-01-07 15:06:38 -0500328 if (mem_check_on()) {
329 CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_DISABLE);
Matt Caswell9471f772016-03-08 15:44:05 +0000330
Richard Levittec2e4e5d2016-07-19 19:42:11 +0200331 if (!RUN_ONCE(&memdbg_init, do_memdbg_init)
332 || (m = OPENSSL_malloc(sizeof(*m))) == NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000333 OPENSSL_free(addr);
Rich Salzbbd86bf2016-01-07 15:06:38 -0500334 CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_ENABLE);
Matt Caswell0f113f32015-01-22 03:40:55 +0000335 return;
336 }
337 if (mh == NULL) {
Dr. Stephen Henson62d05772015-12-24 15:51:23 +0000338 if ((mh = lh_MEM_new(mem_hash, mem_cmp)) == NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000339 OPENSSL_free(addr);
340 OPENSSL_free(m);
341 addr = NULL;
342 goto err;
343 }
344 }
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000345
Matt Caswell0f113f32015-01-22 03:40:55 +0000346 m->addr = addr;
347 m->file = file;
348 m->line = line;
349 m->num = num;
Matt Caswell9471f772016-03-08 15:44:05 +0000350 m->threadid = CRYPTO_THREAD_get_current_id();
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000351
Matt Caswell0f113f32015-01-22 03:40:55 +0000352 if (order == break_order_num) {
353 /* BREAK HERE */
354 m->order = order;
355 }
356 m->order = order++;
Richard Levitteef8ca6b2016-02-14 12:16:52 +0100357# ifndef OPENSSL_NO_CRYPTO_MDEBUG_BACKTRACE
Richard Levitte012c5402015-12-02 13:19:45 +0100358 m->array_siz = backtrace(m->array, OSSL_NELEM(m->array));
Rich Salzbbd86bf2016-01-07 15:06:38 -0500359# endif
360 m->time = time(NULL);
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000361
Matt Caswell9471f772016-03-08 15:44:05 +0000362 amim = (APP_INFO *)CRYPTO_THREAD_get_local(&appinfokey);
363 m->app_info = amim;
364 if (amim != NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000365 amim->references++;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000366
Matt Caswell0f113f32015-01-22 03:40:55 +0000367 if ((mm = lh_MEM_insert(mh, m)) != NULL) {
368 /* Not good, but don't sweat it */
369 if (mm->app_info != NULL) {
370 mm->app_info->references--;
371 }
372 OPENSSL_free(mm);
373 }
374 err:
Rich Salzbbd86bf2016-01-07 15:06:38 -0500375 CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_ENABLE);
Matt Caswell0f113f32015-01-22 03:40:55 +0000376 }
377 break;
378 }
379 return;
380}
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000381
Richard Levitte05c7b162016-02-17 02:24:25 +0100382void CRYPTO_mem_debug_free(void *addr, int before_p,
383 const char *file, int line)
Matt Caswell0f113f32015-01-22 03:40:55 +0000384{
385 MEM m, *mp;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000386
Matt Caswell0f113f32015-01-22 03:40:55 +0000387 switch (before_p) {
388 case 0:
389 if (addr == NULL)
390 break;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000391
Rich Salzbbd86bf2016-01-07 15:06:38 -0500392 if (mem_check_on() && (mh != NULL)) {
393 CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_DISABLE);
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000394
Matt Caswell0f113f32015-01-22 03:40:55 +0000395 m.addr = addr;
396 mp = lh_MEM_delete(mh, &m);
397 if (mp != NULL) {
Rich Salz25aaa982015-05-01 14:37:16 -0400398 app_info_free(mp->app_info);
Matt Caswell0f113f32015-01-22 03:40:55 +0000399 OPENSSL_free(mp);
400 }
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000401
Rich Salzbbd86bf2016-01-07 15:06:38 -0500402 CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_ENABLE);
Matt Caswell0f113f32015-01-22 03:40:55 +0000403 }
404 break;
405 case 1:
406 break;
407 }
408}
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000409
Rich Salzbbd86bf2016-01-07 15:06:38 -0500410void CRYPTO_mem_debug_realloc(void *addr1, void *addr2, size_t num,
411 int before_p, const char *file, int line)
Matt Caswell0f113f32015-01-22 03:40:55 +0000412{
413 MEM m, *mp;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000414
Matt Caswell0f113f32015-01-22 03:40:55 +0000415 switch (before_p) {
416 case 0:
417 break;
418 case 1:
419 if (addr2 == NULL)
420 break;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000421
Matt Caswell0f113f32015-01-22 03:40:55 +0000422 if (addr1 == NULL) {
Rich Salzbbd86bf2016-01-07 15:06:38 -0500423 CRYPTO_mem_debug_malloc(addr2, num, 128 | before_p, file, line);
Matt Caswell0f113f32015-01-22 03:40:55 +0000424 break;
425 }
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000426
Rich Salzbbd86bf2016-01-07 15:06:38 -0500427 if (mem_check_on()) {
428 CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_DISABLE);
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000429
Matt Caswell0f113f32015-01-22 03:40:55 +0000430 m.addr = addr1;
431 mp = lh_MEM_delete(mh, &m);
432 if (mp != NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000433 mp->addr = addr2;
434 mp->num = num;
Richard Levitteef8ca6b2016-02-14 12:16:52 +0100435#ifndef OPENSSL_NO_CRYPTO_MDEBUG_BACKTRACE
Richard Levitte012c5402015-12-02 13:19:45 +0100436 mp->array_siz = backtrace(mp->array, OSSL_NELEM(mp->array));
437#endif
Matt Caswell0f113f32015-01-22 03:40:55 +0000438 (void)lh_MEM_insert(mh, mp);
439 }
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000440
Rich Salzbbd86bf2016-01-07 15:06:38 -0500441 CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_ENABLE);
Matt Caswell0f113f32015-01-22 03:40:55 +0000442 }
443 break;
444 }
445 return;
446}
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000447
Matt Caswell0f113f32015-01-22 03:40:55 +0000448typedef struct mem_leak_st {
Richard Levitte20626cf2017-04-19 12:51:06 +0200449 int (*print_cb) (const char *str, size_t len, void *u);
450 void *print_cb_arg;
Matt Caswell0f113f32015-01-22 03:40:55 +0000451 int chunks;
452 long bytes;
453} MEM_LEAK;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000454
Dr. Stephen Henson2a056de2015-12-24 16:20:54 +0000455static void print_leak(const MEM *m, MEM_LEAK *l)
Matt Caswell0f113f32015-01-22 03:40:55 +0000456{
457 char buf[1024];
458 char *bufp = buf;
Pauli86ba26c2017-07-07 10:17:59 +1000459 size_t len = sizeof(buf), ami_cnt;
Matt Caswell0f113f32015-01-22 03:40:55 +0000460 APP_INFO *amip;
Pauli86ba26c2017-07-07 10:17:59 +1000461 int n;
Matt Caswell0f113f32015-01-22 03:40:55 +0000462 struct tm *lcl = NULL;
Matt Caswell9471f772016-03-08 15:44:05 +0000463 /*
464 * Convert between CRYPTO_THREAD_ID (which could be anything at all) and
465 * a long. This may not be meaningful depending on what CRYPTO_THREAD_ID is
466 * but hopefully should give something sensible on most platforms
467 */
468 union {
469 CRYPTO_THREAD_ID tid;
470 unsigned long ltid;
471 } tid;
472 CRYPTO_THREAD_ID ti;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000473
Rich Salzbbd86bf2016-01-07 15:06:38 -0500474 lcl = localtime(&m->time);
Pauli86ba26c2017-07-07 10:17:59 +1000475 n = BIO_snprintf(bufp, len, "[%02d:%02d:%02d] ",
476 lcl->tm_hour, lcl->tm_min, lcl->tm_sec);
477 if (n <= 0) {
478 bufp[0] = '\0';
479 return;
480 }
481 bufp += n;
482 len -= n;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000483
Pauli86ba26c2017-07-07 10:17:59 +1000484 n = BIO_snprintf(bufp, len, "%5lu file=%s, line=%d, ",
485 m->order, m->file, m->line);
486 if (n <= 0)
487 return;
488 bufp += n;
489 len -= n;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000490
Matt Caswell9471f772016-03-08 15:44:05 +0000491 tid.ltid = 0;
492 tid.tid = m->threadid;
Pauli86ba26c2017-07-07 10:17:59 +1000493 n = BIO_snprintf(bufp, len, "thread=%lu, ", tid.ltid);
494 if (n <= 0)
495 return;
496 bufp += n;
497 len -= n;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000498
Pauli86ba26c2017-07-07 10:17:59 +1000499 n = BIO_snprintf(bufp, len, "number=%d, address=%p\n", m->num, m->addr);
500 if (n <= 0)
501 return;
502 bufp += n;
503 len -= n;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000504
Pauli86ba26c2017-07-07 10:17:59 +1000505 l->print_cb(buf, (size_t)(bufp - buf), l->print_cb_arg);
Geoff Thorpe4c329692008-08-06 15:54:15 +0000506
Matt Caswell0f113f32015-01-22 03:40:55 +0000507 l->chunks++;
508 l->bytes += m->num;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000509
Matt Caswell0f113f32015-01-22 03:40:55 +0000510 amip = m->app_info;
511 ami_cnt = 0;
Rich Salzbbd86bf2016-01-07 15:06:38 -0500512
Richard Levitte012c5402015-12-02 13:19:45 +0100513 if (amip) {
Matt Caswell9471f772016-03-08 15:44:05 +0000514 ti = amip->threadid;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000515
Richard Levitte012c5402015-12-02 13:19:45 +0100516 do {
517 int buf_len;
518 int info_len;
Matt Caswell0f113f32015-01-22 03:40:55 +0000519
Richard Levitte012c5402015-12-02 13:19:45 +0100520 ami_cnt++;
Pauli86ba26c2017-07-07 10:17:59 +1000521 if (ami_cnt >= sizeof(buf) - 1)
522 break;
Richard Levitte012c5402015-12-02 13:19:45 +0100523 memset(buf, '>', ami_cnt);
Pauli86ba26c2017-07-07 10:17:59 +1000524 buf[ami_cnt] = '\0';
Matt Caswell9471f772016-03-08 15:44:05 +0000525 tid.ltid = 0;
526 tid.tid = amip->threadid;
Pauli86ba26c2017-07-07 10:17:59 +1000527 n = BIO_snprintf(buf + ami_cnt, sizeof(buf) - ami_cnt,
528 " thread=%lu, file=%s, line=%d, info=\"",
529 tid.ltid, amip->file, amip->line);
530 if (n <= 0)
531 break;
532 buf_len = ami_cnt + n;
Richard Levitte012c5402015-12-02 13:19:45 +0100533 info_len = strlen(amip->info);
534 if (128 - buf_len - 3 < info_len) {
535 memcpy(buf + buf_len, amip->info, 128 - buf_len - 3);
536 buf_len = 128 - 3;
537 } else {
Pauli86ba26c2017-07-07 10:17:59 +1000538 n = BIO_snprintf(buf + buf_len, sizeof(buf) - buf_len, "%s",
539 amip->info);
540 if (n < 0)
541 break;
542 buf_len += n;
Richard Levitte012c5402015-12-02 13:19:45 +0100543 }
Pauli86ba26c2017-07-07 10:17:59 +1000544 n = BIO_snprintf(buf + buf_len, sizeof(buf) - buf_len, "\"\n");
545 if (n <= 0)
546 break;
Richard Levitte012c5402015-12-02 13:19:45 +0100547
Pauli86ba26c2017-07-07 10:17:59 +1000548 l->print_cb(buf, buf_len + n, l->print_cb_arg);
Richard Levitte012c5402015-12-02 13:19:45 +0100549
550 amip = amip->next;
Matt Caswell0f113f32015-01-22 03:40:55 +0000551 }
Matt Caswell9471f772016-03-08 15:44:05 +0000552 while (amip && CRYPTO_THREAD_compare_id(amip->threadid, ti));
Matt Caswell0f113f32015-01-22 03:40:55 +0000553 }
Geoff Thorpef7ccba32008-03-28 02:49:43 +0000554
Richard Levitteef8ca6b2016-02-14 12:16:52 +0100555#ifndef OPENSSL_NO_CRYPTO_MDEBUG_BACKTRACE
Richard Levitte012c5402015-12-02 13:19:45 +0100556 {
557 size_t i;
558 char **strings = backtrace_symbols(m->array, m->array_siz);
Rich Salzbbd86bf2016-01-07 15:06:38 -0500559
Richard Levitte012c5402015-12-02 13:19:45 +0100560 for (i = 0; i < m->array_siz; i++)
561 fprintf(stderr, "##> %s\n", strings[i]);
Richard Levitte012c5402015-12-02 13:19:45 +0100562 free(strings);
563 }
564#endif
Matt Caswell0f113f32015-01-22 03:40:55 +0000565}
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000566
Dr. Stephen Henson2a056de2015-12-24 16:20:54 +0000567IMPLEMENT_LHASH_DOALL_ARG_CONST(MEM, MEM_LEAK);
Geoff Thorpe98d517c2001-01-09 00:13:25 +0000568
Richard Levitte20626cf2017-04-19 12:51:06 +0200569int CRYPTO_mem_leaks_cb(int (*cb) (const char *str, size_t len, void *u),
570 void *u)
Matt Caswell0f113f32015-01-22 03:40:55 +0000571{
572 MEM_LEAK ml;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000573
Matt Caswell38a6d7f2016-02-09 22:09:56 +0000574 /* Ensure all resources are released */
Rich Salzf672aee2016-02-09 11:52:40 -0500575 OPENSSL_cleanup();
Matt Caswell38a6d7f2016-02-09 22:09:56 +0000576
Richard Levittec2e4e5d2016-07-19 19:42:11 +0200577 if (!RUN_ONCE(&memdbg_init, do_memdbg_init))
578 return -1;
Matt Caswell9471f772016-03-08 15:44:05 +0000579
Rich Salzbbd86bf2016-01-07 15:06:38 -0500580 CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_DISABLE);
Bodo Möller934397e2001-02-19 10:32:53 +0000581
Richard Levitte20626cf2017-04-19 12:51:06 +0200582 ml.print_cb = cb;
583 ml.print_cb_arg = u;
Matt Caswell0f113f32015-01-22 03:40:55 +0000584 ml.bytes = 0;
585 ml.chunks = 0;
586 if (mh != NULL)
Dr. Stephen Henson2a056de2015-12-24 16:20:54 +0000587 lh_MEM_doall_MEM_LEAK(mh, print_leak, &ml);
Matt Caswellb3895f42016-03-30 18:12:59 +0100588
Matt Caswell0f113f32015-01-22 03:40:55 +0000589 if (ml.chunks != 0) {
Richard Levitte20626cf2017-04-19 12:51:06 +0200590 char buf[256];
591
592 BIO_snprintf(buf, sizeof(buf), "%ld bytes leaked in %d chunks\n",
593 ml.bytes, ml.chunks);
594 cb(buf, strlen(buf), u);
Matt Caswell0f113f32015-01-22 03:40:55 +0000595 } else {
596 /*
597 * Make sure that, if we found no leaks, memory-leak debugging itself
598 * does not introduce memory leaks (which might irritate external
599 * debugging tools). (When someone enables leak checking, but does not
Rich Salzbbd86bf2016-01-07 15:06:38 -0500600 * call this function, we declare it to be their fault.)
Matt Caswell0f113f32015-01-22 03:40:55 +0000601 */
602 int old_mh_mode;
Bodo Möller3ac82fa2000-12-15 16:40:35 +0000603
Rich Salz0e598a32017-10-04 21:17:58 -0400604 CRYPTO_THREAD_write_lock(memdbg_lock);
Bodo Möller3ac82fa2000-12-15 16:40:35 +0000605
Matt Caswell0f113f32015-01-22 03:40:55 +0000606 /*
Rich Salzbbd86bf2016-01-07 15:06:38 -0500607 * avoid deadlock when lh_free() uses CRYPTO_mem_debug_free(), which uses
608 * mem_check_on
Matt Caswell0f113f32015-01-22 03:40:55 +0000609 */
610 old_mh_mode = mh_mode;
611 mh_mode = CRYPTO_MEM_CHECK_OFF;
Bodo Möller3ac82fa2000-12-15 16:40:35 +0000612
Rich Salz25aaa982015-05-01 14:37:16 -0400613 lh_MEM_free(mh);
614 mh = NULL;
Bodo Möller3ac82fa2000-12-15 16:40:35 +0000615
Matt Caswell0f113f32015-01-22 03:40:55 +0000616 mh_mode = old_mh_mode;
Rich Salz0e598a32017-10-04 21:17:58 -0400617 CRYPTO_THREAD_unlock(memdbg_lock);
Matt Caswell0f113f32015-01-22 03:40:55 +0000618 }
Matt Caswell9471f772016-03-08 15:44:05 +0000619 CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_OFF);
620
621 /* Clean up locks etc */
622 CRYPTO_THREAD_cleanup_local(&appinfokey);
Rich Salz0e598a32017-10-04 21:17:58 -0400623 CRYPTO_THREAD_lock_free(memdbg_lock);
624 CRYPTO_THREAD_lock_free(long_memdbg_lock);
625 memdbg_lock = NULL;
626 long_memdbg_lock = NULL;
Matt Caswell9471f772016-03-08 15:44:05 +0000627
Dr. Stephen Henson4e482ae2016-01-10 23:25:07 +0000628 return ml.chunks == 0 ? 1 : 0;
Matt Caswell0f113f32015-01-22 03:40:55 +0000629}
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000630
Richard Levitte20626cf2017-04-19 12:51:06 +0200631static int print_bio(const char *str, size_t len, void *b)
632{
633 return BIO_write((BIO *)b, str, len);
634}
635
636int CRYPTO_mem_leaks(BIO *b)
637{
638 /*
639 * OPENSSL_cleanup() will free the ex_data locks so we can't have any
640 * ex_data hanging around
641 */
642 bio_free_ex_data(b);
643
644 return CRYPTO_mem_leaks_cb(print_bio, b);
645}
646
Rich Salzbbd86bf2016-01-07 15:06:38 -0500647# ifndef OPENSSL_NO_STDIO
Dr. Stephen Henson4e482ae2016-01-10 23:25:07 +0000648int CRYPTO_mem_leaks_fp(FILE *fp)
Matt Caswell0f113f32015-01-22 03:40:55 +0000649{
650 BIO *b;
Dr. Stephen Henson4e482ae2016-01-10 23:25:07 +0000651 int ret;
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000652
Matt Caswell0f113f32015-01-22 03:40:55 +0000653 /*
654 * Need to turn off memory checking when allocated BIOs ... especially as
655 * we're creating them at a time when we're trying to check we've not
656 * left anything un-free()'d!!
657 */
Rich Salzbbd86bf2016-01-07 15:06:38 -0500658 CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_DISABLE);
Matt Caswell0f113f32015-01-22 03:40:55 +0000659 b = BIO_new(BIO_s_file());
Rich Salzbbd86bf2016-01-07 15:06:38 -0500660 CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_ENABLE);
Matt Caswell90945fa2015-10-30 11:12:26 +0000661 if (b == NULL)
Dr. Stephen Henson4e482ae2016-01-10 23:25:07 +0000662 return -1;
Matt Caswell0f113f32015-01-22 03:40:55 +0000663 BIO_set_fp(b, fp, BIO_NOCLOSE);
Richard Levitte20626cf2017-04-19 12:51:06 +0200664 ret = CRYPTO_mem_leaks_cb(print_bio, b);
Matt Caswell0f113f32015-01-22 03:40:55 +0000665 BIO_free(b);
Dr. Stephen Henson4e482ae2016-01-10 23:25:07 +0000666 return ret;
Matt Caswell0f113f32015-01-22 03:40:55 +0000667}
Rich Salzbbd86bf2016-01-07 15:06:38 -0500668# endif
669
Richard Levitte9ac42ed1999-12-17 12:56:24 +0000670#endif