blob: 4bbbb3acc2ae146d729fbc71e56656c45675e389 [file] [log] [blame]
Gilles Peskine514a8fd2020-11-13 17:41:53 +01001/** \file psa_crypto_helpers.c
2 *
3 * \brief Helper functions to test PSA crypto functionality.
4 */
5
6/*
7 * Copyright The Mbed TLS Contributors
Dave Rodgman7ff79652023-11-03 12:04:52 +00008 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Gilles Peskine514a8fd2020-11-13 17:41:53 +01009 */
10
11#include <test/helpers.h>
12#include <test/macros.h>
Przemyslaw Stekielb66bc0a2021-11-03 09:35:35 +010013#include <psa_crypto_slot_management.h>
Gilles Peskined4008d52020-11-24 17:34:30 +010014#include <test/psa_crypto_helpers.h>
Gilles Peskine514a8fd2020-11-13 17:41:53 +010015
16#if defined(MBEDTLS_PSA_CRYPTO_C)
17
18#include <psa/crypto.h>
19
Gilles Peskine313ffb82021-02-14 12:51:14 +010020#if defined(MBEDTLS_PSA_CRYPTO_STORAGE_C)
21
22#include <psa_crypto_storage.h>
23
24static mbedtls_svc_key_id_t key_ids_used_in_test[9];
25static size_t num_key_ids_used;
26
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010027int mbedtls_test_uses_key_id(mbedtls_svc_key_id_t key_id)
Gilles Peskine313ffb82021-02-14 12:51:14 +010028{
29 size_t i;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010030 if (MBEDTLS_SVC_KEY_ID_GET_KEY_ID(key_id) >
31 PSA_MAX_PERSISTENT_KEY_IDENTIFIER) {
Gilles Peskine313ffb82021-02-14 12:51:14 +010032 /* Don't touch key id values that designate non-key files. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010033 return 1;
Gilles Peskine313ffb82021-02-14 12:51:14 +010034 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010035 for (i = 0; i < num_key_ids_used; i++) {
36 if (mbedtls_svc_key_id_equal(key_id, key_ids_used_in_test[i])) {
37 return 1;
38 }
Gilles Peskine313ffb82021-02-14 12:51:14 +010039 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010040 if (num_key_ids_used == ARRAY_LENGTH(key_ids_used_in_test)) {
41 return 0;
42 }
Gilles Peskine313ffb82021-02-14 12:51:14 +010043 key_ids_used_in_test[num_key_ids_used] = key_id;
44 ++num_key_ids_used;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010045 return 1;
Gilles Peskine313ffb82021-02-14 12:51:14 +010046}
47
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010048void mbedtls_test_psa_purge_key_storage(void)
Gilles Peskine313ffb82021-02-14 12:51:14 +010049{
50 size_t i;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010051 for (i = 0; i < num_key_ids_used; i++) {
52 psa_destroy_persistent_key(key_ids_used_in_test[i]);
53 }
Gilles Peskine313ffb82021-02-14 12:51:14 +010054 num_key_ids_used = 0;
55}
Gilles Peskineaae718c2021-02-14 13:46:39 +010056
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010057void mbedtls_test_psa_purge_key_cache(void)
Gilles Peskineaae718c2021-02-14 13:46:39 +010058{
59 size_t i;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010060 for (i = 0; i < num_key_ids_used; i++) {
61 psa_purge_key(key_ids_used_in_test[i]);
62 }
Gilles Peskineaae718c2021-02-14 13:46:39 +010063}
64
Gilles Peskine313ffb82021-02-14 12:51:14 +010065#endif /* MBEDTLS_PSA_CRYPTO_STORAGE_C */
66
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010067const char *mbedtls_test_helper_is_psa_leaking(void)
Gilles Peskined4008d52020-11-24 17:34:30 +010068{
69 mbedtls_psa_stats_t stats;
70
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010071 mbedtls_psa_get_stats(&stats);
Gilles Peskined4008d52020-11-24 17:34:30 +010072
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010073 if (stats.volatile_slots != 0) {
74 return "A volatile slot has not been closed properly.";
75 }
76 if (stats.persistent_slots != 0) {
77 return "A persistent slot has not been closed properly.";
78 }
79 if (stats.external_slots != 0) {
80 return "An external slot has not been closed properly.";
81 }
82 if (stats.half_filled_slots != 0) {
83 return "A half-filled slot has not been cleared properly.";
84 }
85 if (stats.locked_slots != 0) {
86 return "Some slots are still marked as locked.";
87 }
Gilles Peskined4008d52020-11-24 17:34:30 +010088
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010089 return NULL;
Gilles Peskined4008d52020-11-24 17:34:30 +010090}
91
92#if defined(RECORD_PSA_STATUS_COVERAGE_LOG)
93/** Name of the file where return statuses are logged by #RECORD_STATUS. */
94#define STATUS_LOG_FILE_NAME "statuses.log"
95
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010096psa_status_t mbedtls_test_record_status(psa_status_t status,
97 const char *func,
98 const char *file, int line,
99 const char *expr)
Gilles Peskined4008d52020-11-24 17:34:30 +0100100{
101 /* We open the log file on first use.
102 * We never close the log file, so the record_status feature is not
103 * compatible with resource leak detectors such as Asan.
104 */
105 static FILE *log;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100106 if (log == NULL) {
107 log = fopen(STATUS_LOG_FILE_NAME, "a");
108 }
109 fprintf(log, "%d:%s:%s:%d:%s\n", (int) status, func, file, line, expr);
110 return status;
Gilles Peskined4008d52020-11-24 17:34:30 +0100111}
112#endif /* defined(RECORD_PSA_STATUS_COVERAGE_LOG) */
113
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100114psa_key_usage_t mbedtls_test_update_key_usage_flags(psa_key_usage_t usage_flags)
gabor-mezei-arm4d9009e2021-05-13 12:05:01 +0200115{
116 psa_key_usage_t updated_usage = usage_flags;
117
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100118 if (usage_flags & PSA_KEY_USAGE_SIGN_HASH) {
gabor-mezei-arm4d9009e2021-05-13 12:05:01 +0200119 updated_usage |= PSA_KEY_USAGE_SIGN_MESSAGE;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100120 }
gabor-mezei-arm4d9009e2021-05-13 12:05:01 +0200121
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100122 if (usage_flags & PSA_KEY_USAGE_VERIFY_HASH) {
gabor-mezei-arm4d9009e2021-05-13 12:05:01 +0200123 updated_usage |= PSA_KEY_USAGE_VERIFY_MESSAGE;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100124 }
gabor-mezei-arm4d9009e2021-05-13 12:05:01 +0200125
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100126 return updated_usage;
gabor-mezei-arm4d9009e2021-05-13 12:05:01 +0200127}
128
Yanray Wang89b4d122022-10-28 18:12:01 +0800129int mbedtls_test_fail_if_psa_leaking(int line_no, const char *filename)
130{
131 const char *msg = mbedtls_test_helper_is_psa_leaking();
132 if (msg == NULL) {
133 return 0;
134 } else {
135 mbedtls_test_fail(msg, line_no, filename);
136 return 1;
137 }
138}
139
Gilles Peskine73521b02023-04-28 21:01:49 +0200140#if defined(MBEDTLS_PSA_INJECT_ENTROPY)
141
142#include <mbedtls/entropy.h>
143#include <psa_crypto_its.h>
144
145int mbedtls_test_inject_entropy_seed_read(unsigned char *buf, size_t len)
146{
147 size_t actual_len = 0;
148 psa_status_t status = psa_its_get(PSA_CRYPTO_ITS_RANDOM_SEED_UID,
149 0, len, buf, &actual_len);
150 if (status != 0) {
151 return MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
152 }
153 if (actual_len != len) {
154 return MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
155 }
156 return 0;
157}
158
159int mbedtls_test_inject_entropy_seed_write(unsigned char *buf, size_t len)
160{
161 psa_status_t status = psa_its_set(PSA_CRYPTO_ITS_RANDOM_SEED_UID,
162 len, buf, 0);
163 if (status != 0) {
164 return MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
165 }
166 return 0;
167}
168
Gilles Peskine4f8bf3c2023-04-28 23:39:45 +0200169int mbedtls_test_inject_entropy_restore(void)
170{
171 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
172 for (size_t i = 0; i < sizeof(buf); i++) {
173 buf[i] = (unsigned char) i;
174 }
175 psa_status_t status = mbedtls_psa_inject_entropy(buf, sizeof(buf));
176 /* It's ok if the file was just created, or if it already exists. */
177 if (status != PSA_SUCCESS && status != PSA_ERROR_NOT_PERMITTED) {
178 return status;
179 }
180 return PSA_SUCCESS;
181}
182
Gilles Peskine73521b02023-04-28 21:01:49 +0200183#endif /* MBEDTLS_PSA_INJECT_ENTROPY */
184
Gilles Peskine514a8fd2020-11-13 17:41:53 +0100185#endif /* MBEDTLS_PSA_CRYPTO_C */