commit d56e6e008bb5979c68d8710b5a992b664dc9212c
author Gabor Mezei <gabor.mezei@arm.com> Wed May 17 17:51:19 2023 +0200
committer Gabor Mezei <gabor.mezei@arm.com> Wed May 17 17:51:19 2023 +0200
tree a7ab061eb79739fe5cbb15548748a3a55aae5208
parent fa3f74145b21d9d9c827a016bcc5b6d355a0afd1

Add input parameter length check for the Koblitz reduction

Signed-off-by: Gabor Mezei <gabor.mezei@arm.com>

library/ecp_invasive.h

diff --git a/library/ecp_invasive.h b/library/ecp_invasive.h
index 16b7b61..aadcdbc 100644
--- a/library/ecp_invasive.h
+++ b/library/ecp_invasive.h
@@ -184,6 +184,8 @@
  * \param[in]       X_limbs The length of \p X in limbs.
  *
  * \return          \c 0 on success.
+ * \return          #MBEDTLS_ERR_ECP_BAD_INPUT_DATA if \p X does not have
+ *                  twice as many limbs as the modulus.
  * \return          #MBEDTLS_ERR_ECP_ALLOC_FAILED if memory allocation failed.
  */
 MBEDTLS_STATIC_TESTABLE
@@ -206,6 +208,8 @@
  * \param[in]       X_limbs The length of \p X in limbs.
  *
  * \return          \c 0 on success.
+ * \return          #MBEDTLS_ERR_ECP_BAD_INPUT_DATA if \p X does not have
+ *                  twice as many limbs as the modulus.
  * \return          #MBEDTLS_ERR_ECP_ALLOC_FAILED if memory allocation failed.
  */
 MBEDTLS_STATIC_TESTABLE
@@ -228,6 +232,8 @@
  * \param[in]       X_limbs The length of \p X in limbs.
  *
  * \return          \c 0 on success.
+ * \return          #MBEDTLS_ERR_ECP_BAD_INPUT_DATA if \p X does not have
+ *                  twice as many limbs as the modulus.
  * \return          #MBEDTLS_ERR_ECP_ALLOC_FAILED if memory allocation failed.
  */
 MBEDTLS_STATIC_TESTABLE