| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 1 | /* | 
|  | 2 | * Test driver for MAC entry points. | 
|  | 3 | */ | 
|  | 4 | /*  Copyright The Mbed TLS Contributors | 
|  | 5 | *  SPDX-License-Identifier: Apache-2.0 | 
|  | 6 | * | 
|  | 7 | *  Licensed under the Apache License, Version 2.0 (the "License"); you may | 
|  | 8 | *  not use this file except in compliance with the License. | 
|  | 9 | *  You may obtain a copy of the License at | 
|  | 10 | * | 
|  | 11 | *  http://www.apache.org/licenses/LICENSE-2.0 | 
|  | 12 | * | 
|  | 13 | *  Unless required by applicable law or agreed to in writing, software | 
|  | 14 | *  distributed under the License is distributed on an "AS IS" BASIS, WITHOUT | 
|  | 15 | *  WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | 
|  | 16 | *  See the License for the specific language governing permissions and | 
|  | 17 | *  limitations under the License. | 
|  | 18 | */ | 
|  | 19 |  | 
|  | 20 | #include <test/helpers.h> | 
|  | 21 |  | 
| Ronald Cron | e6e6b75 | 2023-01-16 16:56:51 +0100 | [diff] [blame] | 22 | #if defined(PSA_CRYPTO_DRIVER_TEST) | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 23 | #include "psa_crypto_pake.h" | 
|  | 24 |  | 
|  | 25 | #include "test/drivers/pake.h" | 
|  | 26 | #include "string.h" | 
|  | 27 |  | 
|  | 28 | #if defined(MBEDTLS_TEST_LIBTESTDRIVER1) | 
|  | 29 | #include "libtestdriver1/library/psa_crypto_pake.h" | 
|  | 30 | #endif | 
|  | 31 |  | 
|  | 32 | mbedtls_test_driver_pake_hooks_t mbedtls_test_driver_pake_hooks = | 
|  | 33 | MBEDTLS_TEST_DRIVER_PAKE_INIT; | 
|  | 34 |  | 
|  | 35 |  | 
|  | 36 | psa_status_t mbedtls_test_transparent_pake_setup( | 
|  | 37 | mbedtls_transparent_test_driver_pake_operation_t *operation, | 
| Przemek Stekiel | 51eac53 | 2022-12-07 11:04:51 +0100 | [diff] [blame] | 38 | const psa_crypto_driver_pake_inputs_t *inputs) | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 39 | { | 
| Przemek Stekiel | d59d2a4 | 2023-02-22 11:02:40 +0100 | [diff] [blame] | 40 | mbedtls_test_driver_pake_hooks.hits.total++; | 
|  | 41 | mbedtls_test_driver_pake_hooks.hits.setup++; | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 42 |  | 
| Przemek Stekiel | 95629ab | 2022-12-14 08:22:25 +0100 | [diff] [blame] | 43 | if (mbedtls_test_driver_pake_hooks.forced_setup_status != PSA_SUCCESS) { | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 44 | mbedtls_test_driver_pake_hooks.driver_status = | 
| Przemek Stekiel | 95629ab | 2022-12-14 08:22:25 +0100 | [diff] [blame] | 45 | mbedtls_test_driver_pake_hooks.forced_setup_status; | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 46 | } else { | 
|  | 47 | #if defined(MBEDTLS_TEST_LIBTESTDRIVER1) && \ | 
|  | 48 | defined(LIBTESTDRIVER1_MBEDTLS_PSA_BUILTIN_PAKE) | 
|  | 49 | mbedtls_test_driver_pake_hooks.driver_status = | 
|  | 50 | libtestdriver1_mbedtls_psa_pake_setup( | 
| Przemek Stekiel | 51eac53 | 2022-12-07 11:04:51 +0100 | [diff] [blame] | 51 | operation, (const libtestdriver1_psa_crypto_driver_pake_inputs_t *) inputs); | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 52 | #elif defined(MBEDTLS_PSA_BUILTIN_PAKE) | 
|  | 53 | mbedtls_test_driver_pake_hooks.driver_status = | 
|  | 54 | mbedtls_psa_pake_setup( | 
| Przemek Stekiel | 51eac53 | 2022-12-07 11:04:51 +0100 | [diff] [blame] | 55 | operation, inputs); | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 56 | #else | 
|  | 57 | (void) operation; | 
| Przemek Stekiel | 51eac53 | 2022-12-07 11:04:51 +0100 | [diff] [blame] | 58 | (void) inputs; | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 59 | mbedtls_test_driver_pake_hooks.driver_status = PSA_ERROR_NOT_SUPPORTED; | 
|  | 60 | #endif | 
|  | 61 | } | 
|  | 62 |  | 
|  | 63 | return mbedtls_test_driver_pake_hooks.driver_status; | 
|  | 64 | } | 
|  | 65 |  | 
|  | 66 | psa_status_t mbedtls_test_transparent_pake_output( | 
|  | 67 | mbedtls_transparent_test_driver_pake_operation_t *operation, | 
| Przemek Stekiel | 251e86a | 2023-02-17 14:30:50 +0100 | [diff] [blame] | 68 | psa_crypto_driver_pake_step_t step, | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 69 | uint8_t *output, | 
|  | 70 | size_t output_size, | 
|  | 71 | size_t *output_length) | 
|  | 72 | { | 
| Przemek Stekiel | d59d2a4 | 2023-02-22 11:02:40 +0100 | [diff] [blame] | 73 | mbedtls_test_driver_pake_hooks.hits.total++; | 
|  | 74 | mbedtls_test_driver_pake_hooks.hits.output++; | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 75 |  | 
|  | 76 | if (mbedtls_test_driver_pake_hooks.forced_output != NULL) { | 
|  | 77 | if (output_size < mbedtls_test_driver_pake_hooks.forced_output_length) { | 
|  | 78 | return PSA_ERROR_BUFFER_TOO_SMALL; | 
|  | 79 | } | 
|  | 80 |  | 
|  | 81 | memcpy(output, | 
|  | 82 | mbedtls_test_driver_pake_hooks.forced_output, | 
|  | 83 | mbedtls_test_driver_pake_hooks.forced_output_length); | 
|  | 84 | *output_length = mbedtls_test_driver_pake_hooks.forced_output_length; | 
|  | 85 |  | 
|  | 86 | return mbedtls_test_driver_pake_hooks.forced_status; | 
|  | 87 | } | 
|  | 88 |  | 
|  | 89 | if (mbedtls_test_driver_pake_hooks.forced_status != PSA_SUCCESS) { | 
|  | 90 | mbedtls_test_driver_pake_hooks.driver_status = | 
|  | 91 | mbedtls_test_driver_pake_hooks.forced_status; | 
|  | 92 | } else { | 
|  | 93 | #if defined(MBEDTLS_TEST_LIBTESTDRIVER1) && \ | 
|  | 94 | defined(LIBTESTDRIVER1_MBEDTLS_PSA_BUILTIN_PAKE) | 
|  | 95 | mbedtls_test_driver_pake_hooks.driver_status = | 
|  | 96 | libtestdriver1_mbedtls_psa_pake_output( | 
| Valerio Setti | 6ff271e | 2023-06-14 10:26:51 +0200 | [diff] [blame] | 97 | operation, (libtestdriver1_psa_crypto_driver_pake_step_t) step, | 
|  | 98 | output, output_size, output_length); | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 99 | #elif defined(MBEDTLS_PSA_BUILTIN_PAKE) | 
|  | 100 | mbedtls_test_driver_pake_hooks.driver_status = | 
|  | 101 | mbedtls_psa_pake_output( | 
| Przemek Stekiel | b09c487 | 2023-01-17 12:05:38 +0100 | [diff] [blame] | 102 | operation, step, output, output_size, output_length); | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 103 | #else | 
|  | 104 | (void) operation; | 
|  | 105 | (void) step; | 
|  | 106 | (void) output; | 
|  | 107 | (void) output_size; | 
|  | 108 | (void) output_length; | 
|  | 109 | mbedtls_test_driver_pake_hooks.driver_status = PSA_ERROR_NOT_SUPPORTED; | 
|  | 110 | #endif | 
|  | 111 | } | 
|  | 112 |  | 
|  | 113 | return mbedtls_test_driver_pake_hooks.driver_status; | 
|  | 114 | } | 
|  | 115 |  | 
|  | 116 | psa_status_t mbedtls_test_transparent_pake_input( | 
|  | 117 | mbedtls_transparent_test_driver_pake_operation_t *operation, | 
| Przemek Stekiel | 251e86a | 2023-02-17 14:30:50 +0100 | [diff] [blame] | 118 | psa_crypto_driver_pake_step_t step, | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 119 | const uint8_t *input, | 
|  | 120 | size_t input_length) | 
|  | 121 | { | 
| Przemek Stekiel | d59d2a4 | 2023-02-22 11:02:40 +0100 | [diff] [blame] | 122 | mbedtls_test_driver_pake_hooks.hits.total++; | 
|  | 123 | mbedtls_test_driver_pake_hooks.hits.input++; | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 124 |  | 
|  | 125 | if (mbedtls_test_driver_pake_hooks.forced_status != PSA_SUCCESS) { | 
|  | 126 | mbedtls_test_driver_pake_hooks.driver_status = | 
|  | 127 | mbedtls_test_driver_pake_hooks.forced_status; | 
|  | 128 | } else { | 
|  | 129 | #if defined(MBEDTLS_TEST_LIBTESTDRIVER1) && \ | 
|  | 130 | defined(LIBTESTDRIVER1_MBEDTLS_PSA_BUILTIN_PAKE) | 
|  | 131 | mbedtls_test_driver_pake_hooks.driver_status = | 
|  | 132 | libtestdriver1_mbedtls_psa_pake_input( | 
| Valerio Setti | 6ff271e | 2023-06-14 10:26:51 +0200 | [diff] [blame] | 133 | operation, (libtestdriver1_psa_crypto_driver_pake_step_t) step, | 
|  | 134 | input, input_length); | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 135 | #elif defined(MBEDTLS_PSA_BUILTIN_PAKE) | 
|  | 136 | mbedtls_test_driver_pake_hooks.driver_status = | 
|  | 137 | mbedtls_psa_pake_input( | 
| Przemek Stekiel | b09c487 | 2023-01-17 12:05:38 +0100 | [diff] [blame] | 138 | operation, step, input, input_length); | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 139 | #else | 
|  | 140 | (void) operation; | 
|  | 141 | (void) step; | 
|  | 142 | (void) input; | 
|  | 143 | (void) input_length; | 
|  | 144 | mbedtls_test_driver_pake_hooks.driver_status = PSA_ERROR_NOT_SUPPORTED; | 
|  | 145 | #endif | 
|  | 146 | } | 
|  | 147 |  | 
|  | 148 | return mbedtls_test_driver_pake_hooks.driver_status; | 
|  | 149 | } | 
|  | 150 |  | 
|  | 151 | psa_status_t mbedtls_test_transparent_pake_get_implicit_key( | 
|  | 152 | mbedtls_transparent_test_driver_pake_operation_t *operation, | 
| Przemek Stekiel | 6b64862 | 2023-02-19 22:55:33 +0100 | [diff] [blame] | 153 | uint8_t *output, size_t output_size, size_t *output_length) | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 154 | { | 
| Przemek Stekiel | d59d2a4 | 2023-02-22 11:02:40 +0100 | [diff] [blame] | 155 | mbedtls_test_driver_pake_hooks.hits.total++; | 
|  | 156 | mbedtls_test_driver_pake_hooks.hits.implicit_key++; | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 157 |  | 
|  | 158 | if (mbedtls_test_driver_pake_hooks.forced_status != PSA_SUCCESS) { | 
|  | 159 | mbedtls_test_driver_pake_hooks.driver_status = | 
|  | 160 | mbedtls_test_driver_pake_hooks.forced_status; | 
|  | 161 | } else { | 
|  | 162 | #if defined(MBEDTLS_TEST_LIBTESTDRIVER1) && \ | 
|  | 163 | defined(LIBTESTDRIVER1_MBEDTLS_PSA_BUILTIN_PAKE) | 
|  | 164 | mbedtls_test_driver_pake_hooks.driver_status = | 
|  | 165 | libtestdriver1_mbedtls_psa_pake_get_implicit_key( | 
| Przemek Stekiel | 6b64862 | 2023-02-19 22:55:33 +0100 | [diff] [blame] | 166 | operation,  output, output_size, output_length); | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 167 | #elif defined(MBEDTLS_PSA_BUILTIN_PAKE) | 
|  | 168 | mbedtls_test_driver_pake_hooks.driver_status = | 
|  | 169 | mbedtls_psa_pake_get_implicit_key( | 
| Przemek Stekiel | 6b64862 | 2023-02-19 22:55:33 +0100 | [diff] [blame] | 170 | operation, output, output_size, output_length); | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 171 | #else | 
|  | 172 | (void) operation; | 
|  | 173 | (void) output; | 
| Przemek Stekiel | 51a677b | 2023-02-21 12:20:46 +0100 | [diff] [blame] | 174 | (void) output_size; | 
|  | 175 | (void) output_length; | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 176 | mbedtls_test_driver_pake_hooks.driver_status = PSA_ERROR_NOT_SUPPORTED; | 
|  | 177 | #endif | 
|  | 178 | } | 
|  | 179 |  | 
|  | 180 | return mbedtls_test_driver_pake_hooks.driver_status; | 
|  | 181 | } | 
|  | 182 |  | 
|  | 183 | psa_status_t mbedtls_test_transparent_pake_abort( | 
|  | 184 | mbedtls_transparent_test_driver_pake_operation_t *operation) | 
|  | 185 | { | 
| Przemek Stekiel | d59d2a4 | 2023-02-22 11:02:40 +0100 | [diff] [blame] | 186 | mbedtls_test_driver_pake_hooks.hits.total++; | 
|  | 187 | mbedtls_test_driver_pake_hooks.hits.abort++; | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 188 |  | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 189 | #if defined(MBEDTLS_TEST_LIBTESTDRIVER1) && \ | 
| Przemek Stekiel | 083745e | 2023-02-23 17:28:23 +0100 | [diff] [blame] | 190 | defined(LIBTESTDRIVER1_MBEDTLS_PSA_BUILTIN_PAKE) | 
| Przemek Stekiel | a48cf50 | 2023-01-31 20:03:57 +0100 | [diff] [blame] | 191 | mbedtls_test_driver_pake_hooks.driver_status = | 
|  | 192 | libtestdriver1_mbedtls_psa_pake_abort( | 
|  | 193 | operation); | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 194 | #elif defined(MBEDTLS_PSA_BUILTIN_PAKE) | 
| Przemek Stekiel | a48cf50 | 2023-01-31 20:03:57 +0100 | [diff] [blame] | 195 | mbedtls_test_driver_pake_hooks.driver_status = | 
|  | 196 | mbedtls_psa_pake_abort( | 
|  | 197 | operation); | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 198 | #else | 
| Przemek Stekiel | a48cf50 | 2023-01-31 20:03:57 +0100 | [diff] [blame] | 199 | (void) operation; | 
|  | 200 | mbedtls_test_driver_pake_hooks.driver_status = PSA_ERROR_NOT_SUPPORTED; | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 201 | #endif | 
| Przemek Stekiel | a48cf50 | 2023-01-31 20:03:57 +0100 | [diff] [blame] | 202 |  | 
|  | 203 |  | 
|  | 204 | if (mbedtls_test_driver_pake_hooks.forced_status != PSA_SUCCESS && | 
|  | 205 | mbedtls_test_driver_pake_hooks.driver_status == PSA_SUCCESS) { | 
|  | 206 | mbedtls_test_driver_pake_hooks.driver_status = | 
|  | 207 | mbedtls_test_driver_pake_hooks.forced_status; | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 208 | } | 
|  | 209 |  | 
| Przemek Stekiel | a48cf50 | 2023-01-31 20:03:57 +0100 | [diff] [blame] | 210 |  | 
| Przemek Stekiel | d3da040 | 2022-11-22 13:53:26 +0100 | [diff] [blame] | 211 | return mbedtls_test_driver_pake_hooks.driver_status; | 
|  | 212 | } | 
|  | 213 |  | 
| Ronald Cron | e6e6b75 | 2023-01-16 16:56:51 +0100 | [diff] [blame] | 214 | #endif /* PSA_CRYPTO_DRIVER_TEST */ |