espressif/mbedtls
1
0
Fork 0
mirror of https://github.com/espressif/mbedtls.git synced 2026-10-25 01:53:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

Correct maximum lengths in length tests

Browse Source 
Signed-off-by: Ben Taylor <[email protected]>
(cherry picked from commit 89620b3cd4649dc3af967af8cf901dcaa1986ec0)
This commit is contained in:
Ben Taylor
2026-06-11 14:11:36 +01:00
parent 757e75732d
commit e8908dfa54
1 changed files with 12 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/suites/test_suite_psa_crypto.function
+12 -7
View File
@@ -6363,19 +6363,20 @@ void aead_multipart_state_test(int key_type_arg, data_t *key_data,
psa_aead_abort(&operation);
/* Test for setting nonce after calling set lengths with plaintext length of SIZE_MAX */
/* Test for setting nonce after calling set lengths with plaintext length above the
* algorithm limit. */
#if SIZE_MAX > UINT32_MAX
PSA_ASSERT(psa_aead_encrypt_setup(&operation, key, alg));
if (operation.alg == PSA_ALG_GCM) {
TEST_EQUAL(psa_aead_set_lengths(&operation, additional_data->len,
(size_t) 0xfffffffe * 64 + 1),
(size_t) 0xfffffffe * 16 + 1),
PSA_ERROR_INVALID_ARGUMENT);
TEST_EQUAL(psa_aead_set_nonce(&operation, nonce->x, nonce->len),
PSA_ERROR_BAD_STATE);
} else if (operation.alg == PSA_ALG_CHACHA20_POLY1305) {
TEST_EQUAL(psa_aead_set_lengths(&operation, additional_data->len,
SIZE_MAX),
(size_t) UINT32_MAX * 64 + 1),
PSA_ERROR_INVALID_ARGUMENT);
TEST_EQUAL(psa_aead_set_nonce(&operation, nonce->x, nonce->len),
PSA_ERROR_BAD_STATE);
@@ -6388,16 +6389,20 @@ void aead_multipart_state_test(int key_type_arg, data_t *key_data,
psa_aead_abort(&operation);
#endif
/* Test for calling set lengths with a plaintext length of SIZE_MAX, after setting nonce */
/* Test for calling set lengths with a plaintext length above the algorithm limit,
* after setting nonce. */
#if SIZE_MAX > UINT32_MAX
PSA_ASSERT(psa_aead_encrypt_setup(&operation, key, alg));
PSA_ASSERT(psa_aead_set_nonce(&operation, nonce->x, nonce->len));
if (operation.alg == PSA_ALG_GCM ||
operation.alg == PSA_ALG_CHACHA20_POLY1305) {
if (operation.alg == PSA_ALG_GCM) {
TEST_EQUAL(psa_aead_set_lengths(&operation, additional_data->len,
SIZE_MAX),
(size_t) 0xfffffffe * 16 + 1),
PSA_ERROR_INVALID_ARGUMENT);
} else if (operation.alg == PSA_ALG_CHACHA20_POLY1305) {
TEST_EQUAL(psa_aead_set_lengths(&operation, additional_data->len,
(size_t) UINT32_MAX * 64 + 1),
PSA_ERROR_INVALID_ARGUMENT);
} else if (operation.alg != PSA_ALG_CCM) {
PSA_ASSERT(psa_aead_set_lengths(&operation, additional_data->len,