From b70f5f1881eb76374415e50dd4dbb28eb87a8549 Mon Sep 17 00:00:00 2001 From: Gabor Mezei Date: Thu, 13 Apr 2023 13:12:00 +0200 Subject: [PATCH] Add checks to guarantee positive input parameters Signed-off-by: Gabor Mezei --- tests/suites/test_suite_ecp.function | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tests/suites/test_suite_ecp.function b/tests/suites/test_suite_ecp.function index 39fdefa34..59dcb6fc4 100644 --- a/tests/suites/test_suite_ecp.function +++ b/tests/suites/test_suite_ecp.function @@ -1378,6 +1378,9 @@ void ecp_mod_p192k1(char *input_N, limbs_X = X.n; limbs_N = N.n; limbs_res = res.n; + TEST_ASSERT(mbedtls_mpi_core_uint_le_mpi(0, X.p, X.n)); + TEST_ASSERT(mbedtls_mpi_core_uint_le_mpi(0, N.p, N.n)); + TEST_ASSERT(mbedtls_mpi_core_uint_le_mpi(0, res.p, res.n)); size_t limbs = limbs_N; size_t bytes = limbs * sizeof(mbedtls_mpi_uint);