Add overflow check for maximum key slot length
Signed-off-by: David Horstmann <david.horstmann@arm.com>
diff --git a/tf-psa-crypto/core/psa_crypto_slot_management.c b/tf-psa-crypto/core/psa_crypto_slot_management.c
index 7857aad..216e0c2 100644
--- a/tf-psa-crypto/core/psa_crypto_slot_management.c
+++ b/tf-psa-crypto/core/psa_crypto_slot_management.c
@@ -111,6 +111,11 @@
#error "Slice index does not fit in uint8_t for psa_key_slot_t::slice_index"
#endif
+MBEDTLS_STATIC_ASSERT((KEY_SLOT_VOLATILE_SLICE_BASE_LENGTH
+ & (SIZE_MAX >> (KEY_SLOT_VOLATILE_SLICE_COUNT - 1)))
+ == KEY_SLOT_VOLATILE_SLICE_BASE_LENGTH,
+ "Maximum slice length overflows size_t");
+
/* Calculate the volatile key id to use for a given slot.
* This function assumes valid parameter values. */