blob: 34013b9bc436d3fc171f64b527a558fb55f6cfae [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 Rodgman7ff79652023-11-03 12:04:52 +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
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020013#if !defined(MBEDTLS_CONFIG_FILE)
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010014#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020015#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020016#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020017#endif
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010018
Rich Evans00ab4702015-02-06 13:43:58 +000019#include <stddef.h>
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010020
Paul Bakker088c5c52014-04-25 11:11:10 +020021/**
22 * \name SECTION: Module settings
23 *
24 * The configuration options you can set for this module are in this section.
25 * Either change them in config.h or define them on the compiler command line.
26 * \{
27 */
28
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020029#if !defined(MBEDTLS_MEMORY_ALIGN_MULTIPLE)
30#define MBEDTLS_MEMORY_ALIGN_MULTIPLE 4 /**< Align on multiples of this value */
Paul Bakker088c5c52014-04-25 11:11:10 +020031#endif
32
Andrzej Kurek73afe272022-01-24 10:31:06 -050033/** \} name SECTION: Module settings */
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010034
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020035#define MBEDTLS_MEMORY_VERIFY_NONE 0
36#define MBEDTLS_MEMORY_VERIFY_ALLOC (1 << 0)
37#define MBEDTLS_MEMORY_VERIFY_FREE (1 << 1)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010038#define MBEDTLS_MEMORY_VERIFY_ALWAYS (MBEDTLS_MEMORY_VERIFY_ALLOC | \
39 MBEDTLS_MEMORY_VERIFY_FREE)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010040
41#ifdef __cplusplus
42extern "C" {
43#endif
44
45/**
46 * \brief Initialize use of stack-based memory allocator.
47 * The stack-based allocator does memory management inside the
Manuel Pégourié-Gonnard200e7312015-05-26 17:42:13 +020048 * presented buffer and does not call calloc() and free().
49 * It sets the global mbedtls_calloc() and mbedtls_free() pointers
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010050 * to its own functions.
Manuel Pégourié-Gonnard200e7312015-05-26 17:42:13 +020051 * (Provided mbedtls_calloc() and mbedtls_free() are thread-safe if
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020052 * MBEDTLS_THREADING_C is defined)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010053 *
54 * \note This code is not optimized and provides a straight-forward
55 * implementation of a stack-based memory allocator.
56 *
57 * \param buf buffer to use as heap
58 * \param len size of the buffer
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010059 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010060void mbedtls_memory_buffer_alloc_init(unsigned char *buf, size_t len);
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010061
62/**
63 * \brief Free the mutex for thread-safety and clear remaining memory
64 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010065void mbedtls_memory_buffer_alloc_free(void);
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010066
67/**
68 * \brief Determine when the allocator should automatically verify the state
69 * of the entire chain of headers / meta-data.
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020070 * (Default: MBEDTLS_MEMORY_VERIFY_NONE)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010071 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020072 * \param verify One of MBEDTLS_MEMORY_VERIFY_NONE, MBEDTLS_MEMORY_VERIFY_ALLOC,
73 * MBEDTLS_MEMORY_VERIFY_FREE or MBEDTLS_MEMORY_VERIFY_ALWAYS
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010074 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010075void mbedtls_memory_buffer_set_verify(int verify);
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010076
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020077#if defined(MBEDTLS_MEMORY_DEBUG)
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010078/**
79 * \brief Print out the status of the allocated memory (primarily for use
80 * after a program should have de-allocated all memory)
81 * Prints out a list of 'still allocated' blocks and their stack
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020082 * trace if MBEDTLS_MEMORY_BACKTRACE is defined.
Paul Bakkerdefc0ca2014-02-04 17:30:24 +010083 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010084void mbedtls_memory_buffer_alloc_status(void);
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +010085
86/**
87 * \brief Get the peak heap usage so far
88 *
SimonB5be3a252016-05-02 22:15:42 +010089 * \param max_used Peak number of bytes in use or committed. This
90 * includes bytes in allocated blocks too small to split
91 * into smaller blocks but larger than the requested size.
92 * \param max_blocks Peak number of blocks in use, including free and used
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +010093 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010094void mbedtls_memory_buffer_alloc_max_get(size_t *max_used, size_t *max_blocks);
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +010095
96/**
97 * \brief Reset peak statistics
98 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010099void mbedtls_memory_buffer_alloc_max_reset(void);
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +0100100
101/**
102 * \brief Get the current heap usage
103 *
SimonB5be3a252016-05-02 22:15:42 +0100104 * \param cur_used Current number of bytes in use or committed. This
105 * includes bytes in allocated blocks too small to split
106 * into smaller blocks but larger than the requested size.
107 * \param cur_blocks Current number of blocks in use, including free and used
Manuel Pégourié-Gonnard50da0482014-12-19 12:10:37 +0100108 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100109void mbedtls_memory_buffer_alloc_cur_get(size_t *cur_used, size_t *cur_blocks);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200110#endif /* MBEDTLS_MEMORY_DEBUG */
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100111
112/**
113 * \brief Verifies that all headers in the memory buffer are correct
114 * and contain sane values. Helps debug buffer-overflow errors.
115 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200116 * Prints out first failure if MBEDTLS_MEMORY_DEBUG is defined.
117 * Prints out full header information if MBEDTLS_MEMORY_DEBUG
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100118 * is defined. (Includes stack trace information for each block if
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200119 * MBEDTLS_MEMORY_BACKTRACE is defined as well).
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100120 *
Manuel Pégourié-Gonnard81abefd2015-05-29 12:53:47 +0200121 * \return 0 if verified, 1 otherwise
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100122 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100123int mbedtls_memory_buffer_alloc_verify(void);
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100124
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200125#if defined(MBEDTLS_SELF_TEST)
Manuel Pégourié-Gonnard5ba1d522014-11-27 11:33:55 +0100126/**
127 * \brief Checkup routine
128 *
129 * \return 0 if successful, or 1 if a test failed
130 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100131int mbedtls_memory_buffer_alloc_self_test(int verbose);
Manuel Pégourié-Gonnard5ba1d522014-11-27 11:33:55 +0100132#endif
133
Paul Bakkerdefc0ca2014-02-04 17:30:24 +0100134#ifdef __cplusplus
135}
136#endif
137
138#endif /* memory_buffer_alloc.h */