commit 1c67e0b38ccbd3a2e0daf55d5cbaeaa304c498eb
author Paul Elliott <paul.elliott@arm.com> Sun Sep 19 13:11:50 2021 +0100
committer Paul Elliott <paul.elliott@arm.com> Sun Sep 19 18:43:17 2021 +0100
tree cc0d413c1763b06fabd441466aafca6c58c2b8af
parent 9961a668bd5885d0261985b558d6f813eec16547

Add extra verify edge test cases

Add ability to pass NULL tag buffer (with length zero)

Signed-off-by: Paul Elliott <paul.elliott@arm.com>

tests/suites/test_suite_psa_crypto.function

diff --git a/tests/suites/test_suite_psa_crypto.function b/tests/suites/test_suite_psa_crypto.function
index f25872d..29cda92 100644
--- a/tests/suites/test_suite_psa_crypto.function
+++ b/tests/suites/test_suite_psa_crypto.function
@@ -271,6 +271,12 @@
     SET_LENGTHS_AFTER_NONCE = 2
 } setlengths_method;
 
+typedef enum
+{
+    USE_NULL_TAG = 0,
+    USE_GIVEN_TAG = 1,
+} tagusage_method;
+
 /*!
  * \brief                           Internal Function for AEAD multipart tests.
  *
@@ -4071,6 +4077,7 @@
                             data_t *additional_data,
                             data_t *input_data,
                             data_t *tag,
+                            int tag_usage_arg,
                             int expected_status_arg )
 {
     mbedtls_svc_key_id_t key = MBEDTLS_SVC_KEY_ID_INIT;
@@ -4085,6 +4092,9 @@
     size_t plaintext_size = 0;
     size_t plaintext_length = 0;
     size_t verify_plaintext_size = 0;
+    tagusage_method tag_usage = tag_usage_arg;
+    unsigned char *tag_buffer = NULL;
+    size_t tag_size = 0;
 
     PSA_ASSERT( psa_crypto_init( ) );
 
@@ -4131,10 +4141,16 @@
                                  plaintext, plaintext_size,
                                  &plaintext_length ) );
 
+    if( tag_usage == USE_GIVEN_TAG )
+    {
+        tag_buffer = tag->x;
+        tag_size = tag->len;
+    }
+
     status = psa_aead_verify( &operation, finish_plaintext,
                               verify_plaintext_size,
                               &plaintext_length,
-                              tag->x, tag->len );
+                              tag_buffer, tag_size );
 
     TEST_EQUAL( status, expected_status );
 
@@ -4147,7 +4163,6 @@
 }
 /* END_CASE */
 
-
 /* BEGIN_CASE */
 void aead_multipart_state_test( int key_type_arg, data_t *key_data,
                                 int alg_arg,