commit 3882adbada6b8609fea93f136cf581b61bc43d1b
author David Vincze <david.vincze@arm.com> Fri Feb 28 19:16:14 2025 +0000
committer Antonio de Angelis <Antonio.deAngelis@arm.com> Tue Mar 11 14:18:50 2025 +0100
tree aca5cdd06b9a5060beecf3664b0ec6eae1e8787e
parent af851d30b5313e41dede89122fb598cd43b1c651

Attest: Add assert for token buffer size check

Change-Id: Ie8055006b30ca2267af3e002137ea464d0b5b927
Signed-off-by: David Vincze <david.vincze@arm.com>

tests_reg/test/secure_fw/suites/attestation/non_secure/attest_asymmetric_ns_interface_testsuite.c

diff --git a/tests_reg/test/secure_fw/suites/attestation/non_secure/attest_asymmetric_ns_interface_testsuite.c b/tests_reg/test/secure_fw/suites/attestation/non_secure/attest_asymmetric_ns_interface_testsuite.c
index e6baaf6..a0e0d06 100644
--- a/tests_reg/test/secure_fw/suites/attestation/non_secure/attest_asymmetric_ns_interface_testsuite.c
+++ b/tests_reg/test/secure_fw/suites/attestation/non_secure/attest_asymmetric_ns_interface_testsuite.c
@@ -5,6 +5,7 @@
  *
  */
 
+#include <assert.h>
 #include "attest_ns_tests.h"
 #include "psa/initial_attestation.h"
 #include "attest.h"
@@ -108,6 +109,8 @@
         return;
     }
 
+    assert(sizeof(token_buffer) >= token_size);
+
     /* Call with smaller buffer size than size of the expected token */
     err = psa_initial_attest_get_token(challenge_buffer,
                                        sizeof(challenge_buffer),

tests_reg/test/secure_fw/suites/attestation/non_secure/attest_symmetric_ns_interface_testsuite.c

diff --git a/tests_reg/test/secure_fw/suites/attestation/non_secure/attest_symmetric_ns_interface_testsuite.c b/tests_reg/test/secure_fw/suites/attestation/non_secure/attest_symmetric_ns_interface_testsuite.c
index 3d0f62a..fd37ec9 100644
--- a/tests_reg/test/secure_fw/suites/attestation/non_secure/attest_symmetric_ns_interface_testsuite.c
+++ b/tests_reg/test/secure_fw/suites/attestation/non_secure/attest_symmetric_ns_interface_testsuite.c
@@ -5,6 +5,7 @@
  *
  */
 
+#include <assert.h>
 #include "attest_ns_tests.h"
 #include "psa/initial_attestation.h"
 #include "attest.h"
@@ -98,6 +99,8 @@
         return;
     }
 
+    assert(sizeof(token_buffer) >= token_size);
+
     /* Call with smaller buffer size than size of the expected token */
     err = psa_initial_attest_get_token(challenge_buffer,
                                        sizeof(challenge_buffer),

tests_reg/test/secure_fw/suites/attestation/secure/attest_asymmetric_s_interface_testsuite.c

diff --git a/tests_reg/test/secure_fw/suites/attestation/secure/attest_asymmetric_s_interface_testsuite.c b/tests_reg/test/secure_fw/suites/attestation/secure/attest_asymmetric_s_interface_testsuite.c
index 52aa2a5..e0d2eb1 100644
--- a/tests_reg/test/secure_fw/suites/attestation/secure/attest_asymmetric_s_interface_testsuite.c
+++ b/tests_reg/test/secure_fw/suites/attestation/secure/attest_asymmetric_s_interface_testsuite.c
@@ -5,6 +5,7 @@
  *
  */
 
+#include <assert.h>
 #include "attest_s_tests.h"
 #include "psa/initial_attestation.h"
 #include "../attest_tests_common.h"
@@ -106,6 +107,8 @@
         return;
     }
 
+    assert(sizeof(token_buffer) >= token_size);
+
     /* Call with smaller buffer size than size of the expected token */
     err = psa_initial_attest_get_token(challenge_buffer,
                                        sizeof(challenge_buffer),

tests_reg/test/secure_fw/suites/attestation/secure/attest_symmetric_s_interface_testsuite.c

diff --git a/tests_reg/test/secure_fw/suites/attestation/secure/attest_symmetric_s_interface_testsuite.c b/tests_reg/test/secure_fw/suites/attestation/secure/attest_symmetric_s_interface_testsuite.c
index 6ed09d5..f28dc73 100644
--- a/tests_reg/test/secure_fw/suites/attestation/secure/attest_symmetric_s_interface_testsuite.c
+++ b/tests_reg/test/secure_fw/suites/attestation/secure/attest_symmetric_s_interface_testsuite.c
@@ -5,6 +5,7 @@
  *
  */
 
+#include <assert.h>
 #include "attest_s_tests.h"
 #include "psa/initial_attestation.h"
 #include "attest.h"
@@ -98,6 +99,8 @@
         return;
     }
 
+    assert(sizeof(token_buffer) >= token_size);
+
     /* Call with smaller buffer size than size of the expected token */
     err = psa_initial_attest_get_token(challenge_buffer,
                                        sizeof(challenge_buffer),