cuberite/polarssl
1
0
Fork 0
mirror of https://github.com/cuberite/polarssl.git synced 2025-09-08 06:40:16 -04:00
Code Issues Packages Projects Releases Wiki Activity

Simplify zero-length buffers to always be NULL

Browse Source 
Since it is implementation-dependent whether
malloc(0) returns NULL or a pointer, explicitly
represent zero-length buffers as NULL in the
buffer-copy struct, so as to have a uniform
behaviour.

Signed-off-by: David Horstmann <david.horstmann@arm.com>
This commit is contained in:
David Horstmann 2023-11-01 14:46:02 +00:00
parent ea08ab775d
commit 0e38180e1d
2 changed files with 20 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
library/psa_crypto.c
View File

@ -5554,6 +5554,16 @@ psa_status_t psa_crypto_alloc_and_copy(const uint8_t *input, size_t input_len,
* on any pointers safely. */
memset(buffers, 0, sizeof(*buffers));
/* Since calloc() may return NULL if we try to allocate zero-length
* buffers anyway, deal with this corner case explicitly to ensure
* predictable behaviour. Represent zero-length buffers as NULL. */
if (input_len == 0) {
input = NULL;
}
if (output_len == 0) {
output = NULL;
}
if (output != NULL) {
buffers->output = mbedtls_calloc(output_len, 1);
if (buffers->output == NULL) {

12
tests/suites/test_suite_psa_crypto.function
View File

@ -5767,8 +5767,16 @@ void psa_crypto_alloc_and_copy_zero_length(int input_zero_length,
&buffer_copies);
TEST_EQUAL(ret, PSA_SUCCESS);
TEST_MEMORY_COMPARE(input_buffer, input_len, buffer_copies.input, buffer_copies.input_len);
TEST_EQUAL(output_len, buffer_copies.output_len);
if (input_zero_length) {
TEST_ASSERT(buffer_copies.input == NULL);
} else {
TEST_MEMORY_COMPARE(input_buffer, input_len, buffer_copies.input, buffer_copies.input_len);
}
if (output_zero_length) {
TEST_ASSERT(buffer_copies.output == NULL);
} else {
TEST_EQUAL(output_len, buffer_copies.output_len);
}
exit:
mbedtls_free(buffer_copies.input);