blob: 333a85c5ce356e0275914d1ef1ab616fe3fbf174 [file] [log] [blame]
Gilles Peskine6e4332c2024-01-04 16:42:40 +01001/* Automatically generated by generate_psa_wrappers.py, do not edit! */
2
3/* Copyright The Mbed TLS Contributors
4 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
5 */
6
7#include <mbedtls/build_info.h>
8
Gilles Peskine4411c9c2024-01-04 20:51:38 +01009#if defined(MBEDTLS_PSA_CRYPTO_C) && defined(MBEDTLS_TEST_HOOKS) && \
10 !defined(RECORD_PSA_STATUS_COVERAGE_LOG)
Gilles Peskine6e4332c2024-01-04 16:42:40 +010011
12#include <psa/crypto.h>
13
Gilles Peskine90d14d72024-01-04 16:59:28 +010014#include <test/memory.h>
Gilles Peskine6e4332c2024-01-04 16:42:40 +010015#include <test/psa_crypto_helpers.h>
16#include <test/psa_test_wrappers.h>
17
18/* Wrapper for mbedtls_psa_inject_entropy */
19#if defined(MBEDTLS_PSA_INJECT_ENTROPY)
20psa_status_t mbedtls_test_wrap_mbedtls_psa_inject_entropy(
21 const uint8_t *arg0_seed,
22 size_t arg1_seed_size)
23{
24 psa_status_t status = (mbedtls_psa_inject_entropy)(arg0_seed, arg1_seed_size);
25 return status;
26}
27#endif /* defined(MBEDTLS_PSA_INJECT_ENTROPY) */
28
29/* Wrapper for mbedtls_psa_platform_get_builtin_key */
30#if defined(MBEDTLS_PSA_CRYPTO_BUILTIN_KEYS)
31psa_status_t mbedtls_test_wrap_mbedtls_psa_platform_get_builtin_key(
32 mbedtls_svc_key_id_t arg0_key_id,
33 psa_key_lifetime_t *arg1_lifetime,
34 psa_drv_slot_number_t *arg2_slot_number)
35{
36 psa_status_t status = (mbedtls_psa_platform_get_builtin_key)(arg0_key_id, arg1_lifetime, arg2_slot_number);
37 return status;
38}
39#endif /* defined(MBEDTLS_PSA_CRYPTO_BUILTIN_KEYS) */
40
41/* Wrapper for mbedtls_psa_register_se_key */
42#if defined(MBEDTLS_PSA_CRYPTO_SE_C)
43psa_status_t mbedtls_test_wrap_mbedtls_psa_register_se_key(
44 const psa_key_attributes_t *arg0_attributes)
45{
46 psa_status_t status = (mbedtls_psa_register_se_key)(arg0_attributes);
47 return status;
48}
49#endif /* defined(MBEDTLS_PSA_CRYPTO_SE_C) */
50
51/* Wrapper for psa_aead_abort */
52psa_status_t mbedtls_test_wrap_psa_aead_abort(
53 psa_aead_operation_t *arg0_operation)
54{
55 psa_status_t status = (psa_aead_abort)(arg0_operation);
56 return status;
57}
58
59/* Wrapper for psa_aead_decrypt */
60psa_status_t mbedtls_test_wrap_psa_aead_decrypt(
61 mbedtls_svc_key_id_t arg0_key,
62 psa_algorithm_t arg1_alg,
63 const uint8_t *arg2_nonce,
64 size_t arg3_nonce_length,
65 const uint8_t *arg4_additional_data,
66 size_t arg5_additional_data_length,
67 const uint8_t *arg6_ciphertext,
68 size_t arg7_ciphertext_length,
69 uint8_t *arg8_plaintext,
70 size_t arg9_plaintext_size,
71 size_t *arg10_plaintext_length)
72{
73 psa_status_t status = (psa_aead_decrypt)(arg0_key, arg1_alg, arg2_nonce, arg3_nonce_length, arg4_additional_data, arg5_additional_data_length, arg6_ciphertext, arg7_ciphertext_length, arg8_plaintext, arg9_plaintext_size, arg10_plaintext_length);
74 return status;
75}
76
77/* Wrapper for psa_aead_decrypt_setup */
78psa_status_t mbedtls_test_wrap_psa_aead_decrypt_setup(
79 psa_aead_operation_t *arg0_operation,
80 mbedtls_svc_key_id_t arg1_key,
81 psa_algorithm_t arg2_alg)
82{
83 psa_status_t status = (psa_aead_decrypt_setup)(arg0_operation, arg1_key, arg2_alg);
84 return status;
85}
86
87/* Wrapper for psa_aead_encrypt */
88psa_status_t mbedtls_test_wrap_psa_aead_encrypt(
89 mbedtls_svc_key_id_t arg0_key,
90 psa_algorithm_t arg1_alg,
91 const uint8_t *arg2_nonce,
92 size_t arg3_nonce_length,
93 const uint8_t *arg4_additional_data,
94 size_t arg5_additional_data_length,
95 const uint8_t *arg6_plaintext,
96 size_t arg7_plaintext_length,
97 uint8_t *arg8_ciphertext,
98 size_t arg9_ciphertext_size,
99 size_t *arg10_ciphertext_length)
100{
101 psa_status_t status = (psa_aead_encrypt)(arg0_key, arg1_alg, arg2_nonce, arg3_nonce_length, arg4_additional_data, arg5_additional_data_length, arg6_plaintext, arg7_plaintext_length, arg8_ciphertext, arg9_ciphertext_size, arg10_ciphertext_length);
102 return status;
103}
104
105/* Wrapper for psa_aead_encrypt_setup */
106psa_status_t mbedtls_test_wrap_psa_aead_encrypt_setup(
107 psa_aead_operation_t *arg0_operation,
108 mbedtls_svc_key_id_t arg1_key,
109 psa_algorithm_t arg2_alg)
110{
111 psa_status_t status = (psa_aead_encrypt_setup)(arg0_operation, arg1_key, arg2_alg);
112 return status;
113}
114
115/* Wrapper for psa_aead_finish */
116psa_status_t mbedtls_test_wrap_psa_aead_finish(
117 psa_aead_operation_t *arg0_operation,
118 uint8_t *arg1_ciphertext,
119 size_t arg2_ciphertext_size,
120 size_t *arg3_ciphertext_length,
121 uint8_t *arg4_tag,
122 size_t arg5_tag_size,
123 size_t *arg6_tag_length)
124{
125 psa_status_t status = (psa_aead_finish)(arg0_operation, arg1_ciphertext, arg2_ciphertext_size, arg3_ciphertext_length, arg4_tag, arg5_tag_size, arg6_tag_length);
126 return status;
127}
128
129/* Wrapper for psa_aead_generate_nonce */
130psa_status_t mbedtls_test_wrap_psa_aead_generate_nonce(
131 psa_aead_operation_t *arg0_operation,
132 uint8_t *arg1_nonce,
133 size_t arg2_nonce_size,
134 size_t *arg3_nonce_length)
135{
136 psa_status_t status = (psa_aead_generate_nonce)(arg0_operation, arg1_nonce, arg2_nonce_size, arg3_nonce_length);
137 return status;
138}
139
140/* Wrapper for psa_aead_set_lengths */
141psa_status_t mbedtls_test_wrap_psa_aead_set_lengths(
142 psa_aead_operation_t *arg0_operation,
143 size_t arg1_ad_length,
144 size_t arg2_plaintext_length)
145{
146 psa_status_t status = (psa_aead_set_lengths)(arg0_operation, arg1_ad_length, arg2_plaintext_length);
147 return status;
148}
149
150/* Wrapper for psa_aead_set_nonce */
151psa_status_t mbedtls_test_wrap_psa_aead_set_nonce(
152 psa_aead_operation_t *arg0_operation,
153 const uint8_t *arg1_nonce,
154 size_t arg2_nonce_length)
155{
156 psa_status_t status = (psa_aead_set_nonce)(arg0_operation, arg1_nonce, arg2_nonce_length);
157 return status;
158}
159
160/* Wrapper for psa_aead_update */
161psa_status_t mbedtls_test_wrap_psa_aead_update(
162 psa_aead_operation_t *arg0_operation,
163 const uint8_t *arg1_input,
164 size_t arg2_input_length,
165 uint8_t *arg3_output,
166 size_t arg4_output_size,
167 size_t *arg5_output_length)
168{
169 psa_status_t status = (psa_aead_update)(arg0_operation, arg1_input, arg2_input_length, arg3_output, arg4_output_size, arg5_output_length);
170 return status;
171}
172
173/* Wrapper for psa_aead_update_ad */
174psa_status_t mbedtls_test_wrap_psa_aead_update_ad(
175 psa_aead_operation_t *arg0_operation,
176 const uint8_t *arg1_input,
177 size_t arg2_input_length)
178{
179 psa_status_t status = (psa_aead_update_ad)(arg0_operation, arg1_input, arg2_input_length);
180 return status;
181}
182
183/* Wrapper for psa_aead_verify */
184psa_status_t mbedtls_test_wrap_psa_aead_verify(
185 psa_aead_operation_t *arg0_operation,
186 uint8_t *arg1_plaintext,
187 size_t arg2_plaintext_size,
188 size_t *arg3_plaintext_length,
189 const uint8_t *arg4_tag,
190 size_t arg5_tag_length)
191{
192 psa_status_t status = (psa_aead_verify)(arg0_operation, arg1_plaintext, arg2_plaintext_size, arg3_plaintext_length, arg4_tag, arg5_tag_length);
193 return status;
194}
195
196/* Wrapper for psa_asymmetric_decrypt */
197psa_status_t mbedtls_test_wrap_psa_asymmetric_decrypt(
198 mbedtls_svc_key_id_t arg0_key,
199 psa_algorithm_t arg1_alg,
200 const uint8_t *arg2_input,
201 size_t arg3_input_length,
202 const uint8_t *arg4_salt,
203 size_t arg5_salt_length,
204 uint8_t *arg6_output,
205 size_t arg7_output_size,
206 size_t *arg8_output_length)
207{
208 psa_status_t status = (psa_asymmetric_decrypt)(arg0_key, arg1_alg, arg2_input, arg3_input_length, arg4_salt, arg5_salt_length, arg6_output, arg7_output_size, arg8_output_length);
209 return status;
210}
211
212/* Wrapper for psa_asymmetric_encrypt */
213psa_status_t mbedtls_test_wrap_psa_asymmetric_encrypt(
214 mbedtls_svc_key_id_t arg0_key,
215 psa_algorithm_t arg1_alg,
216 const uint8_t *arg2_input,
217 size_t arg3_input_length,
218 const uint8_t *arg4_salt,
219 size_t arg5_salt_length,
220 uint8_t *arg6_output,
221 size_t arg7_output_size,
222 size_t *arg8_output_length)
223{
224 psa_status_t status = (psa_asymmetric_encrypt)(arg0_key, arg1_alg, arg2_input, arg3_input_length, arg4_salt, arg5_salt_length, arg6_output, arg7_output_size, arg8_output_length);
225 return status;
226}
227
228/* Wrapper for psa_cipher_abort */
229psa_status_t mbedtls_test_wrap_psa_cipher_abort(
230 psa_cipher_operation_t *arg0_operation)
231{
232 psa_status_t status = (psa_cipher_abort)(arg0_operation);
233 return status;
234}
235
236/* Wrapper for psa_cipher_decrypt */
237psa_status_t mbedtls_test_wrap_psa_cipher_decrypt(
238 mbedtls_svc_key_id_t arg0_key,
239 psa_algorithm_t arg1_alg,
240 const uint8_t *arg2_input,
241 size_t arg3_input_length,
242 uint8_t *arg4_output,
243 size_t arg5_output_size,
244 size_t *arg6_output_length)
245{
246 psa_status_t status = (psa_cipher_decrypt)(arg0_key, arg1_alg, arg2_input, arg3_input_length, arg4_output, arg5_output_size, arg6_output_length);
247 return status;
248}
249
250/* Wrapper for psa_cipher_decrypt_setup */
251psa_status_t mbedtls_test_wrap_psa_cipher_decrypt_setup(
252 psa_cipher_operation_t *arg0_operation,
253 mbedtls_svc_key_id_t arg1_key,
254 psa_algorithm_t arg2_alg)
255{
256 psa_status_t status = (psa_cipher_decrypt_setup)(arg0_operation, arg1_key, arg2_alg);
257 return status;
258}
259
260/* Wrapper for psa_cipher_encrypt */
261psa_status_t mbedtls_test_wrap_psa_cipher_encrypt(
262 mbedtls_svc_key_id_t arg0_key,
263 psa_algorithm_t arg1_alg,
264 const uint8_t *arg2_input,
265 size_t arg3_input_length,
266 uint8_t *arg4_output,
267 size_t arg5_output_size,
268 size_t *arg6_output_length)
269{
Ryan Everett84a666d2024-01-25 12:00:02 +0000270#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
271 MBEDTLS_TEST_MEMORY_POISON(arg2_input, arg3_input_length);
272 MBEDTLS_TEST_MEMORY_POISON(arg4_output, arg5_output_size);
273#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100274 psa_status_t status = (psa_cipher_encrypt)(arg0_key, arg1_alg, arg2_input, arg3_input_length, arg4_output, arg5_output_size, arg6_output_length);
Ryan Everett84a666d2024-01-25 12:00:02 +0000275#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
276 MBEDTLS_TEST_MEMORY_UNPOISON(arg2_input, arg3_input_length);
277 MBEDTLS_TEST_MEMORY_UNPOISON(arg4_output, arg5_output_size);
278#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100279 return status;
280}
281
282/* Wrapper for psa_cipher_encrypt_setup */
283psa_status_t mbedtls_test_wrap_psa_cipher_encrypt_setup(
284 psa_cipher_operation_t *arg0_operation,
285 mbedtls_svc_key_id_t arg1_key,
286 psa_algorithm_t arg2_alg)
287{
288 psa_status_t status = (psa_cipher_encrypt_setup)(arg0_operation, arg1_key, arg2_alg);
289 return status;
290}
291
292/* Wrapper for psa_cipher_finish */
293psa_status_t mbedtls_test_wrap_psa_cipher_finish(
294 psa_cipher_operation_t *arg0_operation,
295 uint8_t *arg1_output,
296 size_t arg2_output_size,
297 size_t *arg3_output_length)
298{
299 psa_status_t status = (psa_cipher_finish)(arg0_operation, arg1_output, arg2_output_size, arg3_output_length);
300 return status;
301}
302
303/* Wrapper for psa_cipher_generate_iv */
304psa_status_t mbedtls_test_wrap_psa_cipher_generate_iv(
305 psa_cipher_operation_t *arg0_operation,
306 uint8_t *arg1_iv,
307 size_t arg2_iv_size,
308 size_t *arg3_iv_length)
309{
310 psa_status_t status = (psa_cipher_generate_iv)(arg0_operation, arg1_iv, arg2_iv_size, arg3_iv_length);
311 return status;
312}
313
314/* Wrapper for psa_cipher_set_iv */
315psa_status_t mbedtls_test_wrap_psa_cipher_set_iv(
316 psa_cipher_operation_t *arg0_operation,
317 const uint8_t *arg1_iv,
318 size_t arg2_iv_length)
319{
320 psa_status_t status = (psa_cipher_set_iv)(arg0_operation, arg1_iv, arg2_iv_length);
321 return status;
322}
323
324/* Wrapper for psa_cipher_update */
325psa_status_t mbedtls_test_wrap_psa_cipher_update(
326 psa_cipher_operation_t *arg0_operation,
327 const uint8_t *arg1_input,
328 size_t arg2_input_length,
329 uint8_t *arg3_output,
330 size_t arg4_output_size,
331 size_t *arg5_output_length)
332{
333 psa_status_t status = (psa_cipher_update)(arg0_operation, arg1_input, arg2_input_length, arg3_output, arg4_output_size, arg5_output_length);
334 return status;
335}
336
337/* Wrapper for psa_copy_key */
338psa_status_t mbedtls_test_wrap_psa_copy_key(
339 mbedtls_svc_key_id_t arg0_source_key,
340 const psa_key_attributes_t *arg1_attributes,
341 mbedtls_svc_key_id_t *arg2_target_key)
342{
343 psa_status_t status = (psa_copy_key)(arg0_source_key, arg1_attributes, arg2_target_key);
344 return status;
345}
346
347/* Wrapper for psa_crypto_driver_pake_get_cipher_suite */
348psa_status_t mbedtls_test_wrap_psa_crypto_driver_pake_get_cipher_suite(
349 const psa_crypto_driver_pake_inputs_t *arg0_inputs,
350 psa_pake_cipher_suite_t *arg1_cipher_suite)
351{
352 psa_status_t status = (psa_crypto_driver_pake_get_cipher_suite)(arg0_inputs, arg1_cipher_suite);
353 return status;
354}
355
356/* Wrapper for psa_crypto_driver_pake_get_password */
357psa_status_t mbedtls_test_wrap_psa_crypto_driver_pake_get_password(
358 const psa_crypto_driver_pake_inputs_t *arg0_inputs,
359 uint8_t *arg1_buffer,
360 size_t arg2_buffer_size,
361 size_t *arg3_buffer_length)
362{
363 psa_status_t status = (psa_crypto_driver_pake_get_password)(arg0_inputs, arg1_buffer, arg2_buffer_size, arg3_buffer_length);
364 return status;
365}
366
367/* Wrapper for psa_crypto_driver_pake_get_password_len */
368psa_status_t mbedtls_test_wrap_psa_crypto_driver_pake_get_password_len(
369 const psa_crypto_driver_pake_inputs_t *arg0_inputs,
370 size_t *arg1_password_len)
371{
372 psa_status_t status = (psa_crypto_driver_pake_get_password_len)(arg0_inputs, arg1_password_len);
373 return status;
374}
375
376/* Wrapper for psa_crypto_driver_pake_get_peer */
377psa_status_t mbedtls_test_wrap_psa_crypto_driver_pake_get_peer(
378 const psa_crypto_driver_pake_inputs_t *arg0_inputs,
379 uint8_t *arg1_peer_id,
380 size_t arg2_peer_id_size,
381 size_t *arg3_peer_id_length)
382{
383 psa_status_t status = (psa_crypto_driver_pake_get_peer)(arg0_inputs, arg1_peer_id, arg2_peer_id_size, arg3_peer_id_length);
384 return status;
385}
386
387/* Wrapper for psa_crypto_driver_pake_get_peer_len */
388psa_status_t mbedtls_test_wrap_psa_crypto_driver_pake_get_peer_len(
389 const psa_crypto_driver_pake_inputs_t *arg0_inputs,
390 size_t *arg1_peer_len)
391{
392 psa_status_t status = (psa_crypto_driver_pake_get_peer_len)(arg0_inputs, arg1_peer_len);
393 return status;
394}
395
396/* Wrapper for psa_crypto_driver_pake_get_user */
397psa_status_t mbedtls_test_wrap_psa_crypto_driver_pake_get_user(
398 const psa_crypto_driver_pake_inputs_t *arg0_inputs,
399 uint8_t *arg1_user_id,
400 size_t arg2_user_id_size,
401 size_t *arg3_user_id_len)
402{
403 psa_status_t status = (psa_crypto_driver_pake_get_user)(arg0_inputs, arg1_user_id, arg2_user_id_size, arg3_user_id_len);
404 return status;
405}
406
407/* Wrapper for psa_crypto_driver_pake_get_user_len */
408psa_status_t mbedtls_test_wrap_psa_crypto_driver_pake_get_user_len(
409 const psa_crypto_driver_pake_inputs_t *arg0_inputs,
410 size_t *arg1_user_len)
411{
412 psa_status_t status = (psa_crypto_driver_pake_get_user_len)(arg0_inputs, arg1_user_len);
413 return status;
414}
415
416/* Wrapper for psa_crypto_init */
417psa_status_t mbedtls_test_wrap_psa_crypto_init(void)
418{
419 psa_status_t status = (psa_crypto_init)();
420 return status;
421}
422
423/* Wrapper for psa_destroy_key */
424psa_status_t mbedtls_test_wrap_psa_destroy_key(
425 mbedtls_svc_key_id_t arg0_key)
426{
427 psa_status_t status = (psa_destroy_key)(arg0_key);
428 return status;
429}
430
431/* Wrapper for psa_export_key */
432psa_status_t mbedtls_test_wrap_psa_export_key(
433 mbedtls_svc_key_id_t arg0_key,
434 uint8_t *arg1_data,
435 size_t arg2_data_size,
436 size_t *arg3_data_length)
437{
Ryan Everett77b91e32024-01-25 10:58:06 +0000438#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
439 MBEDTLS_TEST_MEMORY_POISON(arg1_data, arg2_data_size);
440#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100441 psa_status_t status = (psa_export_key)(arg0_key, arg1_data, arg2_data_size, arg3_data_length);
Ryan Everett77b91e32024-01-25 10:58:06 +0000442#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
443 MBEDTLS_TEST_MEMORY_UNPOISON(arg1_data, arg2_data_size);
444#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100445 return status;
446}
447
448/* Wrapper for psa_export_public_key */
449psa_status_t mbedtls_test_wrap_psa_export_public_key(
450 mbedtls_svc_key_id_t arg0_key,
451 uint8_t *arg1_data,
452 size_t arg2_data_size,
453 size_t *arg3_data_length)
454{
Ryan Everett77b91e32024-01-25 10:58:06 +0000455#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
456 MBEDTLS_TEST_MEMORY_POISON(arg1_data, arg2_data_size);
457#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100458 psa_status_t status = (psa_export_public_key)(arg0_key, arg1_data, arg2_data_size, arg3_data_length);
Ryan Everett77b91e32024-01-25 10:58:06 +0000459#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
460 MBEDTLS_TEST_MEMORY_UNPOISON(arg1_data, arg2_data_size);
461#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100462 return status;
463}
464
465/* Wrapper for psa_generate_key */
466psa_status_t mbedtls_test_wrap_psa_generate_key(
467 const psa_key_attributes_t *arg0_attributes,
468 mbedtls_svc_key_id_t *arg1_key)
469{
470 psa_status_t status = (psa_generate_key)(arg0_attributes, arg1_key);
471 return status;
472}
473
474/* Wrapper for psa_generate_random */
475psa_status_t mbedtls_test_wrap_psa_generate_random(
476 uint8_t *arg0_output,
477 size_t arg1_output_size)
478{
479 psa_status_t status = (psa_generate_random)(arg0_output, arg1_output_size);
480 return status;
481}
482
483/* Wrapper for psa_get_key_attributes */
484psa_status_t mbedtls_test_wrap_psa_get_key_attributes(
485 mbedtls_svc_key_id_t arg0_key,
486 psa_key_attributes_t *arg1_attributes)
487{
488 psa_status_t status = (psa_get_key_attributes)(arg0_key, arg1_attributes);
489 return status;
490}
491
492/* Wrapper for psa_hash_abort */
493psa_status_t mbedtls_test_wrap_psa_hash_abort(
494 psa_hash_operation_t *arg0_operation)
495{
496 psa_status_t status = (psa_hash_abort)(arg0_operation);
497 return status;
498}
499
500/* Wrapper for psa_hash_clone */
501psa_status_t mbedtls_test_wrap_psa_hash_clone(
502 const psa_hash_operation_t *arg0_source_operation,
503 psa_hash_operation_t *arg1_target_operation)
504{
505 psa_status_t status = (psa_hash_clone)(arg0_source_operation, arg1_target_operation);
506 return status;
507}
508
509/* Wrapper for psa_hash_compare */
510psa_status_t mbedtls_test_wrap_psa_hash_compare(
511 psa_algorithm_t arg0_alg,
512 const uint8_t *arg1_input,
513 size_t arg2_input_length,
514 const uint8_t *arg3_hash,
515 size_t arg4_hash_length)
516{
517 psa_status_t status = (psa_hash_compare)(arg0_alg, arg1_input, arg2_input_length, arg3_hash, arg4_hash_length);
518 return status;
519}
520
521/* Wrapper for psa_hash_compute */
522psa_status_t mbedtls_test_wrap_psa_hash_compute(
523 psa_algorithm_t arg0_alg,
524 const uint8_t *arg1_input,
525 size_t arg2_input_length,
526 uint8_t *arg3_hash,
527 size_t arg4_hash_size,
528 size_t *arg5_hash_length)
529{
530 psa_status_t status = (psa_hash_compute)(arg0_alg, arg1_input, arg2_input_length, arg3_hash, arg4_hash_size, arg5_hash_length);
531 return status;
532}
533
534/* Wrapper for psa_hash_finish */
535psa_status_t mbedtls_test_wrap_psa_hash_finish(
536 psa_hash_operation_t *arg0_operation,
537 uint8_t *arg1_hash,
538 size_t arg2_hash_size,
539 size_t *arg3_hash_length)
540{
541 psa_status_t status = (psa_hash_finish)(arg0_operation, arg1_hash, arg2_hash_size, arg3_hash_length);
542 return status;
543}
544
545/* Wrapper for psa_hash_setup */
546psa_status_t mbedtls_test_wrap_psa_hash_setup(
547 psa_hash_operation_t *arg0_operation,
548 psa_algorithm_t arg1_alg)
549{
550 psa_status_t status = (psa_hash_setup)(arg0_operation, arg1_alg);
551 return status;
552}
553
554/* Wrapper for psa_hash_update */
555psa_status_t mbedtls_test_wrap_psa_hash_update(
556 psa_hash_operation_t *arg0_operation,
557 const uint8_t *arg1_input,
558 size_t arg2_input_length)
559{
560 psa_status_t status = (psa_hash_update)(arg0_operation, arg1_input, arg2_input_length);
561 return status;
562}
563
564/* Wrapper for psa_hash_verify */
565psa_status_t mbedtls_test_wrap_psa_hash_verify(
566 psa_hash_operation_t *arg0_operation,
567 const uint8_t *arg1_hash,
568 size_t arg2_hash_length)
569{
570 psa_status_t status = (psa_hash_verify)(arg0_operation, arg1_hash, arg2_hash_length);
571 return status;
572}
573
574/* Wrapper for psa_import_key */
575psa_status_t mbedtls_test_wrap_psa_import_key(
576 const psa_key_attributes_t *arg0_attributes,
577 const uint8_t *arg1_data,
578 size_t arg2_data_length,
579 mbedtls_svc_key_id_t *arg3_key)
580{
Ryan Everett77b91e32024-01-25 10:58:06 +0000581#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
582 MBEDTLS_TEST_MEMORY_POISON(arg1_data, arg2_data_length);
583#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100584 psa_status_t status = (psa_import_key)(arg0_attributes, arg1_data, arg2_data_length, arg3_key);
Ryan Everett77b91e32024-01-25 10:58:06 +0000585#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
586 MBEDTLS_TEST_MEMORY_UNPOISON(arg1_data, arg2_data_length);
587#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100588 return status;
589}
590
591/* Wrapper for psa_key_derivation_abort */
592psa_status_t mbedtls_test_wrap_psa_key_derivation_abort(
593 psa_key_derivation_operation_t *arg0_operation)
594{
595 psa_status_t status = (psa_key_derivation_abort)(arg0_operation);
596 return status;
597}
598
599/* Wrapper for psa_key_derivation_get_capacity */
600psa_status_t mbedtls_test_wrap_psa_key_derivation_get_capacity(
601 const psa_key_derivation_operation_t *arg0_operation,
602 size_t *arg1_capacity)
603{
604 psa_status_t status = (psa_key_derivation_get_capacity)(arg0_operation, arg1_capacity);
605 return status;
606}
607
608/* Wrapper for psa_key_derivation_input_bytes */
609psa_status_t mbedtls_test_wrap_psa_key_derivation_input_bytes(
610 psa_key_derivation_operation_t *arg0_operation,
611 psa_key_derivation_step_t arg1_step,
612 const uint8_t *arg2_data,
613 size_t arg3_data_length)
614{
615 psa_status_t status = (psa_key_derivation_input_bytes)(arg0_operation, arg1_step, arg2_data, arg3_data_length);
616 return status;
617}
618
619/* Wrapper for psa_key_derivation_input_integer */
620psa_status_t mbedtls_test_wrap_psa_key_derivation_input_integer(
621 psa_key_derivation_operation_t *arg0_operation,
622 psa_key_derivation_step_t arg1_step,
623 uint64_t arg2_value)
624{
625 psa_status_t status = (psa_key_derivation_input_integer)(arg0_operation, arg1_step, arg2_value);
626 return status;
627}
628
629/* Wrapper for psa_key_derivation_input_key */
630psa_status_t mbedtls_test_wrap_psa_key_derivation_input_key(
631 psa_key_derivation_operation_t *arg0_operation,
632 psa_key_derivation_step_t arg1_step,
633 mbedtls_svc_key_id_t arg2_key)
634{
635 psa_status_t status = (psa_key_derivation_input_key)(arg0_operation, arg1_step, arg2_key);
636 return status;
637}
638
639/* Wrapper for psa_key_derivation_key_agreement */
640psa_status_t mbedtls_test_wrap_psa_key_derivation_key_agreement(
641 psa_key_derivation_operation_t *arg0_operation,
642 psa_key_derivation_step_t arg1_step,
643 mbedtls_svc_key_id_t arg2_private_key,
644 const uint8_t *arg3_peer_key,
645 size_t arg4_peer_key_length)
646{
647 psa_status_t status = (psa_key_derivation_key_agreement)(arg0_operation, arg1_step, arg2_private_key, arg3_peer_key, arg4_peer_key_length);
648 return status;
649}
650
651/* Wrapper for psa_key_derivation_output_bytes */
652psa_status_t mbedtls_test_wrap_psa_key_derivation_output_bytes(
653 psa_key_derivation_operation_t *arg0_operation,
654 uint8_t *arg1_output,
655 size_t arg2_output_length)
656{
657 psa_status_t status = (psa_key_derivation_output_bytes)(arg0_operation, arg1_output, arg2_output_length);
658 return status;
659}
660
661/* Wrapper for psa_key_derivation_output_key */
662psa_status_t mbedtls_test_wrap_psa_key_derivation_output_key(
663 const psa_key_attributes_t *arg0_attributes,
664 psa_key_derivation_operation_t *arg1_operation,
665 mbedtls_svc_key_id_t *arg2_key)
666{
667 psa_status_t status = (psa_key_derivation_output_key)(arg0_attributes, arg1_operation, arg2_key);
668 return status;
669}
670
671/* Wrapper for psa_key_derivation_set_capacity */
672psa_status_t mbedtls_test_wrap_psa_key_derivation_set_capacity(
673 psa_key_derivation_operation_t *arg0_operation,
674 size_t arg1_capacity)
675{
676 psa_status_t status = (psa_key_derivation_set_capacity)(arg0_operation, arg1_capacity);
677 return status;
678}
679
680/* Wrapper for psa_key_derivation_setup */
681psa_status_t mbedtls_test_wrap_psa_key_derivation_setup(
682 psa_key_derivation_operation_t *arg0_operation,
683 psa_algorithm_t arg1_alg)
684{
685 psa_status_t status = (psa_key_derivation_setup)(arg0_operation, arg1_alg);
686 return status;
687}
688
689/* Wrapper for psa_mac_abort */
690psa_status_t mbedtls_test_wrap_psa_mac_abort(
691 psa_mac_operation_t *arg0_operation)
692{
693 psa_status_t status = (psa_mac_abort)(arg0_operation);
694 return status;
695}
696
697/* Wrapper for psa_mac_compute */
698psa_status_t mbedtls_test_wrap_psa_mac_compute(
699 mbedtls_svc_key_id_t arg0_key,
700 psa_algorithm_t arg1_alg,
701 const uint8_t *arg2_input,
702 size_t arg3_input_length,
703 uint8_t *arg4_mac,
704 size_t arg5_mac_size,
705 size_t *arg6_mac_length)
706{
Thomas Daubneya1cf1012024-01-30 11:18:54 +0000707#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
708 MBEDTLS_TEST_MEMORY_POISON(arg2_input, arg3_input_length);
709 MBEDTLS_TEST_MEMORY_POISON(arg4_mac, arg5_mac_size);
710#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100711 psa_status_t status = (psa_mac_compute)(arg0_key, arg1_alg, arg2_input, arg3_input_length, arg4_mac, arg5_mac_size, arg6_mac_length);
Thomas Daubneya1cf1012024-01-30 11:18:54 +0000712#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
713 MBEDTLS_TEST_MEMORY_UNPOISON(arg2_input, arg3_input_length);
714 MBEDTLS_TEST_MEMORY_UNPOISON(arg4_mac, arg5_mac_size);
715#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100716 return status;
717}
718
719/* Wrapper for psa_mac_sign_finish */
720psa_status_t mbedtls_test_wrap_psa_mac_sign_finish(
721 psa_mac_operation_t *arg0_operation,
722 uint8_t *arg1_mac,
723 size_t arg2_mac_size,
724 size_t *arg3_mac_length)
725{
Thomas Daubneya1cf1012024-01-30 11:18:54 +0000726#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
727 MBEDTLS_TEST_MEMORY_POISON(arg1_mac, arg2_mac_size);
728#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100729 psa_status_t status = (psa_mac_sign_finish)(arg0_operation, arg1_mac, arg2_mac_size, arg3_mac_length);
Thomas Daubneya1cf1012024-01-30 11:18:54 +0000730#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
731 MBEDTLS_TEST_MEMORY_UNPOISON(arg1_mac, arg2_mac_size);
732#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100733 return status;
734}
735
736/* Wrapper for psa_mac_sign_setup */
737psa_status_t mbedtls_test_wrap_psa_mac_sign_setup(
738 psa_mac_operation_t *arg0_operation,
739 mbedtls_svc_key_id_t arg1_key,
740 psa_algorithm_t arg2_alg)
741{
742 psa_status_t status = (psa_mac_sign_setup)(arg0_operation, arg1_key, arg2_alg);
743 return status;
744}
745
746/* Wrapper for psa_mac_update */
747psa_status_t mbedtls_test_wrap_psa_mac_update(
748 psa_mac_operation_t *arg0_operation,
749 const uint8_t *arg1_input,
750 size_t arg2_input_length)
751{
Thomas Daubneya1cf1012024-01-30 11:18:54 +0000752#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
753 MBEDTLS_TEST_MEMORY_POISON(arg1_input, arg2_input_length);
754#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100755 psa_status_t status = (psa_mac_update)(arg0_operation, arg1_input, arg2_input_length);
Thomas Daubneya1cf1012024-01-30 11:18:54 +0000756#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
757 MBEDTLS_TEST_MEMORY_UNPOISON(arg1_input, arg2_input_length);
758#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100759 return status;
760}
761
762/* Wrapper for psa_mac_verify */
763psa_status_t mbedtls_test_wrap_psa_mac_verify(
764 mbedtls_svc_key_id_t arg0_key,
765 psa_algorithm_t arg1_alg,
766 const uint8_t *arg2_input,
767 size_t arg3_input_length,
768 const uint8_t *arg4_mac,
769 size_t arg5_mac_length)
770{
Thomas Daubneya1cf1012024-01-30 11:18:54 +0000771#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
772 MBEDTLS_TEST_MEMORY_POISON(arg2_input, arg3_input_length);
773 MBEDTLS_TEST_MEMORY_POISON(arg4_mac, arg5_mac_length);
774#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100775 psa_status_t status = (psa_mac_verify)(arg0_key, arg1_alg, arg2_input, arg3_input_length, arg4_mac, arg5_mac_length);
Thomas Daubneya1cf1012024-01-30 11:18:54 +0000776#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
777 MBEDTLS_TEST_MEMORY_UNPOISON(arg2_input, arg3_input_length);
778 MBEDTLS_TEST_MEMORY_UNPOISON(arg4_mac, arg5_mac_length);
779#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100780 return status;
781}
782
783/* Wrapper for psa_mac_verify_finish */
784psa_status_t mbedtls_test_wrap_psa_mac_verify_finish(
785 psa_mac_operation_t *arg0_operation,
786 const uint8_t *arg1_mac,
787 size_t arg2_mac_length)
788{
Thomas Daubneya1cf1012024-01-30 11:18:54 +0000789#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
790 MBEDTLS_TEST_MEMORY_POISON(arg1_mac, arg2_mac_length);
791#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100792 psa_status_t status = (psa_mac_verify_finish)(arg0_operation, arg1_mac, arg2_mac_length);
Thomas Daubneya1cf1012024-01-30 11:18:54 +0000793#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
794 MBEDTLS_TEST_MEMORY_UNPOISON(arg1_mac, arg2_mac_length);
795#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100796 return status;
797}
798
799/* Wrapper for psa_mac_verify_setup */
800psa_status_t mbedtls_test_wrap_psa_mac_verify_setup(
801 psa_mac_operation_t *arg0_operation,
802 mbedtls_svc_key_id_t arg1_key,
803 psa_algorithm_t arg2_alg)
804{
805 psa_status_t status = (psa_mac_verify_setup)(arg0_operation, arg1_key, arg2_alg);
806 return status;
807}
808
809/* Wrapper for psa_pake_abort */
810psa_status_t mbedtls_test_wrap_psa_pake_abort(
811 psa_pake_operation_t *arg0_operation)
812{
813 psa_status_t status = (psa_pake_abort)(arg0_operation);
814 return status;
815}
816
817/* Wrapper for psa_pake_get_implicit_key */
818psa_status_t mbedtls_test_wrap_psa_pake_get_implicit_key(
819 psa_pake_operation_t *arg0_operation,
820 psa_key_derivation_operation_t *arg1_output)
821{
822 psa_status_t status = (psa_pake_get_implicit_key)(arg0_operation, arg1_output);
823 return status;
824}
825
826/* Wrapper for psa_pake_input */
827psa_status_t mbedtls_test_wrap_psa_pake_input(
828 psa_pake_operation_t *arg0_operation,
829 psa_pake_step_t arg1_step,
830 const uint8_t *arg2_input,
831 size_t arg3_input_length)
832{
833 psa_status_t status = (psa_pake_input)(arg0_operation, arg1_step, arg2_input, arg3_input_length);
834 return status;
835}
836
837/* Wrapper for psa_pake_output */
838psa_status_t mbedtls_test_wrap_psa_pake_output(
839 psa_pake_operation_t *arg0_operation,
840 psa_pake_step_t arg1_step,
841 uint8_t *arg2_output,
842 size_t arg3_output_size,
843 size_t *arg4_output_length)
844{
845 psa_status_t status = (psa_pake_output)(arg0_operation, arg1_step, arg2_output, arg3_output_size, arg4_output_length);
846 return status;
847}
848
849/* Wrapper for psa_pake_set_password_key */
850psa_status_t mbedtls_test_wrap_psa_pake_set_password_key(
851 psa_pake_operation_t *arg0_operation,
852 mbedtls_svc_key_id_t arg1_password)
853{
854 psa_status_t status = (psa_pake_set_password_key)(arg0_operation, arg1_password);
855 return status;
856}
857
858/* Wrapper for psa_pake_set_peer */
859psa_status_t mbedtls_test_wrap_psa_pake_set_peer(
860 psa_pake_operation_t *arg0_operation,
861 const uint8_t *arg1_peer_id,
862 size_t arg2_peer_id_len)
863{
864 psa_status_t status = (psa_pake_set_peer)(arg0_operation, arg1_peer_id, arg2_peer_id_len);
865 return status;
866}
867
868/* Wrapper for psa_pake_set_role */
869psa_status_t mbedtls_test_wrap_psa_pake_set_role(
870 psa_pake_operation_t *arg0_operation,
871 psa_pake_role_t arg1_role)
872{
873 psa_status_t status = (psa_pake_set_role)(arg0_operation, arg1_role);
874 return status;
875}
876
877/* Wrapper for psa_pake_set_user */
878psa_status_t mbedtls_test_wrap_psa_pake_set_user(
879 psa_pake_operation_t *arg0_operation,
880 const uint8_t *arg1_user_id,
881 size_t arg2_user_id_len)
882{
883 psa_status_t status = (psa_pake_set_user)(arg0_operation, arg1_user_id, arg2_user_id_len);
884 return status;
885}
886
887/* Wrapper for psa_pake_setup */
888psa_status_t mbedtls_test_wrap_psa_pake_setup(
889 psa_pake_operation_t *arg0_operation,
890 const psa_pake_cipher_suite_t *arg1_cipher_suite)
891{
892 psa_status_t status = (psa_pake_setup)(arg0_operation, arg1_cipher_suite);
893 return status;
894}
895
896/* Wrapper for psa_purge_key */
897psa_status_t mbedtls_test_wrap_psa_purge_key(
898 mbedtls_svc_key_id_t arg0_key)
899{
900 psa_status_t status = (psa_purge_key)(arg0_key);
901 return status;
902}
903
904/* Wrapper for psa_raw_key_agreement */
905psa_status_t mbedtls_test_wrap_psa_raw_key_agreement(
906 psa_algorithm_t arg0_alg,
907 mbedtls_svc_key_id_t arg1_private_key,
908 const uint8_t *arg2_peer_key,
909 size_t arg3_peer_key_length,
910 uint8_t *arg4_output,
911 size_t arg5_output_size,
912 size_t *arg6_output_length)
913{
914 psa_status_t status = (psa_raw_key_agreement)(arg0_alg, arg1_private_key, arg2_peer_key, arg3_peer_key_length, arg4_output, arg5_output_size, arg6_output_length);
915 return status;
916}
917
918/* Wrapper for psa_sign_hash */
919psa_status_t mbedtls_test_wrap_psa_sign_hash(
920 mbedtls_svc_key_id_t arg0_key,
921 psa_algorithm_t arg1_alg,
922 const uint8_t *arg2_hash,
923 size_t arg3_hash_length,
924 uint8_t *arg4_signature,
925 size_t arg5_signature_size,
926 size_t *arg6_signature_length)
927{
Thomas Daubneyf430f472024-01-30 12:25:35 +0000928#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
929 MBEDTLS_TEST_MEMORY_POISON(arg2_hash, arg3_hash_length);
930 MBEDTLS_TEST_MEMORY_POISON(arg4_signature, arg5_signature_size);
931#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100932 psa_status_t status = (psa_sign_hash)(arg0_key, arg1_alg, arg2_hash, arg3_hash_length, arg4_signature, arg5_signature_size, arg6_signature_length);
Thomas Daubneyf430f472024-01-30 12:25:35 +0000933#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
934 MBEDTLS_TEST_MEMORY_UNPOISON(arg2_hash, arg3_hash_length);
935 MBEDTLS_TEST_MEMORY_UNPOISON(arg4_signature, arg5_signature_size);
936#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100937 return status;
938}
939
940/* Wrapper for psa_sign_hash_abort */
941psa_status_t mbedtls_test_wrap_psa_sign_hash_abort(
942 psa_sign_hash_interruptible_operation_t *arg0_operation)
943{
944 psa_status_t status = (psa_sign_hash_abort)(arg0_operation);
945 return status;
946}
947
948/* Wrapper for psa_sign_hash_complete */
949psa_status_t mbedtls_test_wrap_psa_sign_hash_complete(
950 psa_sign_hash_interruptible_operation_t *arg0_operation,
951 uint8_t *arg1_signature,
952 size_t arg2_signature_size,
953 size_t *arg3_signature_length)
954{
955 psa_status_t status = (psa_sign_hash_complete)(arg0_operation, arg1_signature, arg2_signature_size, arg3_signature_length);
956 return status;
957}
958
959/* Wrapper for psa_sign_hash_start */
960psa_status_t mbedtls_test_wrap_psa_sign_hash_start(
961 psa_sign_hash_interruptible_operation_t *arg0_operation,
962 mbedtls_svc_key_id_t arg1_key,
963 psa_algorithm_t arg2_alg,
964 const uint8_t *arg3_hash,
965 size_t arg4_hash_length)
966{
967 psa_status_t status = (psa_sign_hash_start)(arg0_operation, arg1_key, arg2_alg, arg3_hash, arg4_hash_length);
968 return status;
969}
970
971/* Wrapper for psa_sign_message */
972psa_status_t mbedtls_test_wrap_psa_sign_message(
973 mbedtls_svc_key_id_t arg0_key,
974 psa_algorithm_t arg1_alg,
975 const uint8_t *arg2_input,
976 size_t arg3_input_length,
977 uint8_t *arg4_signature,
978 size_t arg5_signature_size,
979 size_t *arg6_signature_length)
980{
Thomas Daubneyf430f472024-01-30 12:25:35 +0000981#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
982 MBEDTLS_TEST_MEMORY_POISON(arg2_input, arg3_input_length);
983 MBEDTLS_TEST_MEMORY_POISON(arg4_signature, arg5_signature_size);
984#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100985 psa_status_t status = (psa_sign_message)(arg0_key, arg1_alg, arg2_input, arg3_input_length, arg4_signature, arg5_signature_size, arg6_signature_length);
Thomas Daubneyf430f472024-01-30 12:25:35 +0000986#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
987 MBEDTLS_TEST_MEMORY_UNPOISON(arg2_input, arg3_input_length);
988 MBEDTLS_TEST_MEMORY_UNPOISON(arg4_signature, arg5_signature_size);
989#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +0100990 return status;
991}
992
993/* Wrapper for psa_verify_hash */
994psa_status_t mbedtls_test_wrap_psa_verify_hash(
995 mbedtls_svc_key_id_t arg0_key,
996 psa_algorithm_t arg1_alg,
997 const uint8_t *arg2_hash,
998 size_t arg3_hash_length,
999 const uint8_t *arg4_signature,
1000 size_t arg5_signature_length)
1001{
Thomas Daubneyf430f472024-01-30 12:25:35 +00001002#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
1003 MBEDTLS_TEST_MEMORY_POISON(arg2_hash, arg3_hash_length);
1004 MBEDTLS_TEST_MEMORY_POISON(arg4_signature, arg5_signature_length);
1005#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +01001006 psa_status_t status = (psa_verify_hash)(arg0_key, arg1_alg, arg2_hash, arg3_hash_length, arg4_signature, arg5_signature_length);
Thomas Daubneyf430f472024-01-30 12:25:35 +00001007#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
1008 MBEDTLS_TEST_MEMORY_UNPOISON(arg2_hash, arg3_hash_length);
1009 MBEDTLS_TEST_MEMORY_UNPOISON(arg4_signature, arg5_signature_length);
1010#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +01001011 return status;
1012}
1013
1014/* Wrapper for psa_verify_hash_abort */
1015psa_status_t mbedtls_test_wrap_psa_verify_hash_abort(
1016 psa_verify_hash_interruptible_operation_t *arg0_operation)
1017{
1018 psa_status_t status = (psa_verify_hash_abort)(arg0_operation);
1019 return status;
1020}
1021
1022/* Wrapper for psa_verify_hash_complete */
1023psa_status_t mbedtls_test_wrap_psa_verify_hash_complete(
1024 psa_verify_hash_interruptible_operation_t *arg0_operation)
1025{
1026 psa_status_t status = (psa_verify_hash_complete)(arg0_operation);
1027 return status;
1028}
1029
1030/* Wrapper for psa_verify_hash_start */
1031psa_status_t mbedtls_test_wrap_psa_verify_hash_start(
1032 psa_verify_hash_interruptible_operation_t *arg0_operation,
1033 mbedtls_svc_key_id_t arg1_key,
1034 psa_algorithm_t arg2_alg,
1035 const uint8_t *arg3_hash,
1036 size_t arg4_hash_length,
1037 const uint8_t *arg5_signature,
1038 size_t arg6_signature_length)
1039{
1040 psa_status_t status = (psa_verify_hash_start)(arg0_operation, arg1_key, arg2_alg, arg3_hash, arg4_hash_length, arg5_signature, arg6_signature_length);
1041 return status;
1042}
1043
1044/* Wrapper for psa_verify_message */
1045psa_status_t mbedtls_test_wrap_psa_verify_message(
1046 mbedtls_svc_key_id_t arg0_key,
1047 psa_algorithm_t arg1_alg,
1048 const uint8_t *arg2_input,
1049 size_t arg3_input_length,
1050 const uint8_t *arg4_signature,
1051 size_t arg5_signature_length)
1052{
Thomas Daubneyf430f472024-01-30 12:25:35 +00001053#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
1054 MBEDTLS_TEST_MEMORY_POISON(arg2_input, arg3_input_length);
1055 MBEDTLS_TEST_MEMORY_POISON(arg4_signature, arg5_signature_length);
1056#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +01001057 psa_status_t status = (psa_verify_message)(arg0_key, arg1_alg, arg2_input, arg3_input_length, arg4_signature, arg5_signature_length);
Thomas Daubneyf430f472024-01-30 12:25:35 +00001058#if defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS)
1059 MBEDTLS_TEST_MEMORY_UNPOISON(arg2_input, arg3_input_length);
1060 MBEDTLS_TEST_MEMORY_UNPOISON(arg4_signature, arg5_signature_length);
1061#endif /* defined(MBEDTLS_PSA_COPY_CALLER_BUFFERS) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +01001062 return status;
1063}
1064
Gilles Peskine4411c9c2024-01-04 20:51:38 +01001065#endif /* defined(MBEDTLS_PSA_CRYPTO_C) && defined(MBEDTLS_TEST_HOOKS) && \
1066 !defined(RECORD_PSA_STATUS_COVERAGE_LOG) */
Gilles Peskine6e4332c2024-01-04 16:42:40 +01001067
1068/* End of automatically generated file. */