blob: b527d9b66503a5245db6efd39330db23e4402485 [file] [log] [blame]
Paul Bakkerdefc0ca2014-02-04 17:30:24 +01001/**
2 * \file memory_buffer_alloc.h
3 *
4 * \brief Buffer-based memory allocator
Darryl Greena40a1012018-01-05 15:33:17 +00005 */
6/*
Bence Szépkúti1e148272020-08-07 13:07:28 +02007 * Copyright The Mbed TLS Contributors
Dave Rodgman16799db2023-11-02 19:47:20 +00008 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Paul Bakkerdefc0ca2014-02-04 17:30:24 +01009 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020010#ifndef MBEDTLS_MEMORY_BUFFER_ALLOC_H
11#define MBEDTLS_MEMORY_BUFFER_ALLOC_H
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010012
Bence Szépkútic662b362021-05-27 11:25:03 +020013#include "mbedtls/build_info.h"
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010014
Rich Evans00ab4702015-02-06 13:43:58 +000015#include <stddef.h>
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010016
Paul Bakker088c5c52014-04-25 11:11:10 +020017/**
18 * \name SECTION: Module settings
19 *
20 * The configuration options you can set for this module are in this section.
Bence Szépkútibb0cfeb2021-05-28 09:42:25 +020021 * Either change them in mbedtls_config.h or define them on the compiler command line.
Paul Bakker088c5c52014-04-25 11:11:10 +020022 * \{
23 */
24
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020025#if !defined(MBEDTLS_MEMORY_ALIGN_MULTIPLE)
26#define MBEDTLS_MEMORY_ALIGN_MULTIPLE 4 /**< Align on multiples of this value */
Paul Bakker088c5c52014-04-25 11:11:10 +020027#endif
28
Andrzej Kurek38d4fdd2021-12-28 16:22:52 +010029/** \} name SECTION: Module settings */
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010030
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020031#define MBEDTLS_MEMORY_VERIFY_NONE 0
32#define MBEDTLS_MEMORY_VERIFY_ALLOC (1 << 0)
33#define MBEDTLS_MEMORY_VERIFY_FREE (1 << 1)
Gilles Peskine449bd832023-01-11 14:50:10 +010034#define MBEDTLS_MEMORY_VERIFY_ALWAYS (MBEDTLS_MEMORY_VERIFY_ALLOC | \
35 MBEDTLS_MEMORY_VERIFY_FREE)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010036
37#ifdef __cplusplus
38extern "C" {
39#endif
40
41/**
42 * \brief Initialize use of stack-based memory allocator.
43 * The stack-based allocator does memory management inside the
Manuel Pégourié-Gonnard200e7312015-05-26 17:42:13 +020044 * presented buffer and does not call calloc() and free().
45 * It sets the global mbedtls_calloc() and mbedtls_free() pointers
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010046 * to its own functions.
Manuel Pégourié-Gonnard200e7312015-05-26 17:42:13 +020047 * (Provided mbedtls_calloc() and mbedtls_free() are thread-safe if
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020048 * MBEDTLS_THREADING_C is defined)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010049 *
50 * \note This code is not optimized and provides a straight-forward
51 * implementation of a stack-based memory allocator.
52 *
53 * \param buf buffer to use as heap
54 * \param len size of the buffer
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010055 */
Gilles Peskine449bd832023-01-11 14:50:10 +010056void mbedtls_memory_buffer_alloc_init(unsigned char *buf, size_t len);
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010057
58/**
59 * \brief Free the mutex for thread-safety and clear remaining memory
60 */
Gilles Peskine449bd832023-01-11 14:50:10 +010061void mbedtls_memory_buffer_alloc_free(void);
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010062
63/**
64 * \brief Determine when the allocator should automatically verify the state
65 * of the entire chain of headers / meta-data.
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020066 * (Default: MBEDTLS_MEMORY_VERIFY_NONE)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010067 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020068 * \param verify One of MBEDTLS_MEMORY_VERIFY_NONE, MBEDTLS_MEMORY_VERIFY_ALLOC,
69 * MBEDTLS_MEMORY_VERIFY_FREE or MBEDTLS_MEMORY_VERIFY_ALWAYS
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010070 */
Gilles Peskine449bd832023-01-11 14:50:10 +010071void mbedtls_memory_buffer_set_verify(int verify);
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010072
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020073#if defined(MBEDTLS_MEMORY_DEBUG)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010074/**
75 * \brief Print out the status of the allocated memory (primarily for use
76 * after a program should have de-allocated all memory)
77 * Prints out a list of 'still allocated' blocks and their stack
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020078 * trace if MBEDTLS_MEMORY_BACKTRACE is defined.
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010079 */
Gilles Peskine449bd832023-01-11 14:50:10 +010080void mbedtls_memory_buffer_alloc_status(void);
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +010081
82/**
Manuel Pégourié-Gonnard35415a02022-01-04 10:23:34 +010083 * \brief Get the number of alloc/free so far.
84 *
85 * \param alloc_count Number of allocations.
86 * \param free_count Number of frees.
87 */
Gilles Peskine449bd832023-01-11 14:50:10 +010088void mbedtls_memory_buffer_alloc_count_get(size_t *alloc_count, size_t *free_count);
Manuel Pégourié-Gonnard35415a02022-01-04 10:23:34 +010089
90/**
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +010091 * \brief Get the peak heap usage so far
92 *
SimonB5be3a252016-05-02 22:15:42 +010093 * \param max_used Peak number of bytes in use or committed. This
94 * includes bytes in allocated blocks too small to split
95 * into smaller blocks but larger than the requested size.
96 * \param max_blocks Peak number of blocks in use, including free and used
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +010097 */
Gilles Peskine449bd832023-01-11 14:50:10 +010098void mbedtls_memory_buffer_alloc_max_get(size_t *max_used, size_t *max_blocks);
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +010099
100/**
101 * \brief Reset peak statistics
102 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100103void mbedtls_memory_buffer_alloc_max_reset(void);
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +0100104
105/**
106 * \brief Get the current heap usage
107 *
SimonB5be3a252016-05-02 22:15:42 +0100108 * \param cur_used Current number of bytes in use or committed. This
109 * includes bytes in allocated blocks too small to split
110 * into smaller blocks but larger than the requested size.
111 * \param cur_blocks Current number of blocks in use, including free and used
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +0100112 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100113void mbedtls_memory_buffer_alloc_cur_get(size_t *cur_used, size_t *cur_blocks);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200114#endif /* MBEDTLS_MEMORY_DEBUG */
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100115
116/**
117 * \brief Verifies that all headers in the memory buffer are correct
118 * and contain sane values. Helps debug buffer-overflow errors.
119 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200120 * Prints out first failure if MBEDTLS_MEMORY_DEBUG is defined.
121 * Prints out full header information if MBEDTLS_MEMORY_DEBUG
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100122 * is defined. (Includes stack trace information for each block if
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200123 * MBEDTLS_MEMORY_BACKTRACE is defined as well).
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100124 *
Manuel Pégourié-Gonnard81abefd2015-05-29 12:53:47 +0200125 * \return 0 if verified, 1 otherwise
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100126 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100127int mbedtls_memory_buffer_alloc_verify(void);
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100128
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200129#if defined(MBEDTLS_SELF_TEST)
Manuel Pégourié-Gonnard5ba1d522014-11-27 11:33:55 +0100130/**
131 * \brief Checkup routine
132 *
133 * \return 0 if successful, or 1 if a test failed
134 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100135int mbedtls_memory_buffer_alloc_self_test(int verbose);
Manuel Pégourié-Gonnard5ba1d522014-11-27 11:33:55 +0100136#endif
137
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100138#ifdef __cplusplus
139}
140#endif
141
142#endif /* memory_buffer_alloc.h */