1*62c56f98SSadaf Ebrahimi /*
2*62c56f98SSadaf Ebrahimi * PSA ITS simulator over stdio files.
3*62c56f98SSadaf Ebrahimi */
4*62c56f98SSadaf Ebrahimi /*
5*62c56f98SSadaf Ebrahimi * Copyright The Mbed TLS Contributors
6*62c56f98SSadaf Ebrahimi * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
7*62c56f98SSadaf Ebrahimi */
8*62c56f98SSadaf Ebrahimi
9*62c56f98SSadaf Ebrahimi #include "common.h"
10*62c56f98SSadaf Ebrahimi
11*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_PSA_ITS_FILE_C)
12*62c56f98SSadaf Ebrahimi
13*62c56f98SSadaf Ebrahimi #include "mbedtls/platform.h"
14*62c56f98SSadaf Ebrahimi
15*62c56f98SSadaf Ebrahimi #if defined(_WIN32)
16*62c56f98SSadaf Ebrahimi #include <windows.h>
17*62c56f98SSadaf Ebrahimi #endif
18*62c56f98SSadaf Ebrahimi
19*62c56f98SSadaf Ebrahimi #include "psa_crypto_its.h"
20*62c56f98SSadaf Ebrahimi
21*62c56f98SSadaf Ebrahimi #include <limits.h>
22*62c56f98SSadaf Ebrahimi #include <stdint.h>
23*62c56f98SSadaf Ebrahimi #include <stdio.h>
24*62c56f98SSadaf Ebrahimi #include <string.h>
25*62c56f98SSadaf Ebrahimi
26*62c56f98SSadaf Ebrahimi #if !defined(PSA_ITS_STORAGE_PREFIX)
27*62c56f98SSadaf Ebrahimi #define PSA_ITS_STORAGE_PREFIX ""
28*62c56f98SSadaf Ebrahimi #endif
29*62c56f98SSadaf Ebrahimi
30*62c56f98SSadaf Ebrahimi #define PSA_ITS_STORAGE_FILENAME_PATTERN "%08x%08x"
31*62c56f98SSadaf Ebrahimi #define PSA_ITS_STORAGE_SUFFIX ".psa_its"
32*62c56f98SSadaf Ebrahimi #define PSA_ITS_STORAGE_FILENAME_LENGTH \
33*62c56f98SSadaf Ebrahimi (sizeof(PSA_ITS_STORAGE_PREFIX) - 1 + /*prefix without terminating 0*/ \
34*62c56f98SSadaf Ebrahimi 16 + /*UID (64-bit number in hex)*/ \
35*62c56f98SSadaf Ebrahimi sizeof(PSA_ITS_STORAGE_SUFFIX) - 1 + /*suffix without terminating 0*/ \
36*62c56f98SSadaf Ebrahimi 1 /*terminating null byte*/)
37*62c56f98SSadaf Ebrahimi #define PSA_ITS_STORAGE_TEMP \
38*62c56f98SSadaf Ebrahimi PSA_ITS_STORAGE_PREFIX "tempfile" PSA_ITS_STORAGE_SUFFIX
39*62c56f98SSadaf Ebrahimi
40*62c56f98SSadaf Ebrahimi /* The maximum value of psa_storage_info_t.size */
41*62c56f98SSadaf Ebrahimi #define PSA_ITS_MAX_SIZE 0xffffffff
42*62c56f98SSadaf Ebrahimi
43*62c56f98SSadaf Ebrahimi #define PSA_ITS_MAGIC_STRING "PSA\0ITS\0"
44*62c56f98SSadaf Ebrahimi #define PSA_ITS_MAGIC_LENGTH 8
45*62c56f98SSadaf Ebrahimi
46*62c56f98SSadaf Ebrahimi /* As rename fails on Windows if the new filepath already exists,
47*62c56f98SSadaf Ebrahimi * use MoveFileExA with the MOVEFILE_REPLACE_EXISTING flag instead.
48*62c56f98SSadaf Ebrahimi * Returns 0 on success, nonzero on failure. */
49*62c56f98SSadaf Ebrahimi #if defined(_WIN32)
50*62c56f98SSadaf Ebrahimi #define rename_replace_existing(oldpath, newpath) \
51*62c56f98SSadaf Ebrahimi (!MoveFileExA(oldpath, newpath, MOVEFILE_REPLACE_EXISTING))
52*62c56f98SSadaf Ebrahimi #else
53*62c56f98SSadaf Ebrahimi #define rename_replace_existing(oldpath, newpath) rename(oldpath, newpath)
54*62c56f98SSadaf Ebrahimi #endif
55*62c56f98SSadaf Ebrahimi
56*62c56f98SSadaf Ebrahimi typedef struct {
57*62c56f98SSadaf Ebrahimi uint8_t magic[PSA_ITS_MAGIC_LENGTH];
58*62c56f98SSadaf Ebrahimi uint8_t size[sizeof(uint32_t)];
59*62c56f98SSadaf Ebrahimi uint8_t flags[sizeof(psa_storage_create_flags_t)];
60*62c56f98SSadaf Ebrahimi } psa_its_file_header_t;
61*62c56f98SSadaf Ebrahimi
psa_its_fill_filename(psa_storage_uid_t uid,char * filename)62*62c56f98SSadaf Ebrahimi static void psa_its_fill_filename(psa_storage_uid_t uid, char *filename)
63*62c56f98SSadaf Ebrahimi {
64*62c56f98SSadaf Ebrahimi /* Break up the UID into two 32-bit pieces so as not to rely on
65*62c56f98SSadaf Ebrahimi * long long support in snprintf. */
66*62c56f98SSadaf Ebrahimi mbedtls_snprintf(filename, PSA_ITS_STORAGE_FILENAME_LENGTH,
67*62c56f98SSadaf Ebrahimi "%s" PSA_ITS_STORAGE_FILENAME_PATTERN "%s",
68*62c56f98SSadaf Ebrahimi PSA_ITS_STORAGE_PREFIX,
69*62c56f98SSadaf Ebrahimi (unsigned) (uid >> 32),
70*62c56f98SSadaf Ebrahimi (unsigned) (uid & 0xffffffff),
71*62c56f98SSadaf Ebrahimi PSA_ITS_STORAGE_SUFFIX);
72*62c56f98SSadaf Ebrahimi }
73*62c56f98SSadaf Ebrahimi
psa_its_read_file(psa_storage_uid_t uid,struct psa_storage_info_t * p_info,FILE ** p_stream)74*62c56f98SSadaf Ebrahimi static psa_status_t psa_its_read_file(psa_storage_uid_t uid,
75*62c56f98SSadaf Ebrahimi struct psa_storage_info_t *p_info,
76*62c56f98SSadaf Ebrahimi FILE **p_stream)
77*62c56f98SSadaf Ebrahimi {
78*62c56f98SSadaf Ebrahimi char filename[PSA_ITS_STORAGE_FILENAME_LENGTH];
79*62c56f98SSadaf Ebrahimi psa_its_file_header_t header;
80*62c56f98SSadaf Ebrahimi size_t n;
81*62c56f98SSadaf Ebrahimi
82*62c56f98SSadaf Ebrahimi *p_stream = NULL;
83*62c56f98SSadaf Ebrahimi psa_its_fill_filename(uid, filename);
84*62c56f98SSadaf Ebrahimi *p_stream = fopen(filename, "rb");
85*62c56f98SSadaf Ebrahimi if (*p_stream == NULL) {
86*62c56f98SSadaf Ebrahimi return PSA_ERROR_DOES_NOT_EXIST;
87*62c56f98SSadaf Ebrahimi }
88*62c56f98SSadaf Ebrahimi
89*62c56f98SSadaf Ebrahimi /* Ensure no stdio buffering of secrets, as such buffers cannot be wiped. */
90*62c56f98SSadaf Ebrahimi mbedtls_setbuf(*p_stream, NULL);
91*62c56f98SSadaf Ebrahimi
92*62c56f98SSadaf Ebrahimi n = fread(&header, 1, sizeof(header), *p_stream);
93*62c56f98SSadaf Ebrahimi if (n != sizeof(header)) {
94*62c56f98SSadaf Ebrahimi return PSA_ERROR_DATA_CORRUPT;
95*62c56f98SSadaf Ebrahimi }
96*62c56f98SSadaf Ebrahimi if (memcmp(header.magic, PSA_ITS_MAGIC_STRING,
97*62c56f98SSadaf Ebrahimi PSA_ITS_MAGIC_LENGTH) != 0) {
98*62c56f98SSadaf Ebrahimi return PSA_ERROR_DATA_CORRUPT;
99*62c56f98SSadaf Ebrahimi }
100*62c56f98SSadaf Ebrahimi
101*62c56f98SSadaf Ebrahimi p_info->size = (header.size[0] |
102*62c56f98SSadaf Ebrahimi header.size[1] << 8 |
103*62c56f98SSadaf Ebrahimi header.size[2] << 16 |
104*62c56f98SSadaf Ebrahimi header.size[3] << 24);
105*62c56f98SSadaf Ebrahimi p_info->flags = (header.flags[0] |
106*62c56f98SSadaf Ebrahimi header.flags[1] << 8 |
107*62c56f98SSadaf Ebrahimi header.flags[2] << 16 |
108*62c56f98SSadaf Ebrahimi header.flags[3] << 24);
109*62c56f98SSadaf Ebrahimi return PSA_SUCCESS;
110*62c56f98SSadaf Ebrahimi }
111*62c56f98SSadaf Ebrahimi
psa_its_get_info(psa_storage_uid_t uid,struct psa_storage_info_t * p_info)112*62c56f98SSadaf Ebrahimi psa_status_t psa_its_get_info(psa_storage_uid_t uid,
113*62c56f98SSadaf Ebrahimi struct psa_storage_info_t *p_info)
114*62c56f98SSadaf Ebrahimi {
115*62c56f98SSadaf Ebrahimi psa_status_t status;
116*62c56f98SSadaf Ebrahimi FILE *stream = NULL;
117*62c56f98SSadaf Ebrahimi status = psa_its_read_file(uid, p_info, &stream);
118*62c56f98SSadaf Ebrahimi if (stream != NULL) {
119*62c56f98SSadaf Ebrahimi fclose(stream);
120*62c56f98SSadaf Ebrahimi }
121*62c56f98SSadaf Ebrahimi return status;
122*62c56f98SSadaf Ebrahimi }
123*62c56f98SSadaf Ebrahimi
psa_its_get(psa_storage_uid_t uid,uint32_t data_offset,uint32_t data_length,void * p_data,size_t * p_data_length)124*62c56f98SSadaf Ebrahimi psa_status_t psa_its_get(psa_storage_uid_t uid,
125*62c56f98SSadaf Ebrahimi uint32_t data_offset,
126*62c56f98SSadaf Ebrahimi uint32_t data_length,
127*62c56f98SSadaf Ebrahimi void *p_data,
128*62c56f98SSadaf Ebrahimi size_t *p_data_length)
129*62c56f98SSadaf Ebrahimi {
130*62c56f98SSadaf Ebrahimi psa_status_t status;
131*62c56f98SSadaf Ebrahimi FILE *stream = NULL;
132*62c56f98SSadaf Ebrahimi size_t n;
133*62c56f98SSadaf Ebrahimi struct psa_storage_info_t info;
134*62c56f98SSadaf Ebrahimi
135*62c56f98SSadaf Ebrahimi status = psa_its_read_file(uid, &info, &stream);
136*62c56f98SSadaf Ebrahimi if (status != PSA_SUCCESS) {
137*62c56f98SSadaf Ebrahimi goto exit;
138*62c56f98SSadaf Ebrahimi }
139*62c56f98SSadaf Ebrahimi status = PSA_ERROR_INVALID_ARGUMENT;
140*62c56f98SSadaf Ebrahimi if (data_offset + data_length < data_offset) {
141*62c56f98SSadaf Ebrahimi goto exit;
142*62c56f98SSadaf Ebrahimi }
143*62c56f98SSadaf Ebrahimi #if SIZE_MAX < 0xffffffff
144*62c56f98SSadaf Ebrahimi if (data_offset + data_length > SIZE_MAX) {
145*62c56f98SSadaf Ebrahimi goto exit;
146*62c56f98SSadaf Ebrahimi }
147*62c56f98SSadaf Ebrahimi #endif
148*62c56f98SSadaf Ebrahimi if (data_offset + data_length > info.size) {
149*62c56f98SSadaf Ebrahimi goto exit;
150*62c56f98SSadaf Ebrahimi }
151*62c56f98SSadaf Ebrahimi
152*62c56f98SSadaf Ebrahimi status = PSA_ERROR_STORAGE_FAILURE;
153*62c56f98SSadaf Ebrahimi #if LONG_MAX < 0xffffffff
154*62c56f98SSadaf Ebrahimi while (data_offset > LONG_MAX) {
155*62c56f98SSadaf Ebrahimi if (fseek(stream, LONG_MAX, SEEK_CUR) != 0) {
156*62c56f98SSadaf Ebrahimi goto exit;
157*62c56f98SSadaf Ebrahimi }
158*62c56f98SSadaf Ebrahimi data_offset -= LONG_MAX;
159*62c56f98SSadaf Ebrahimi }
160*62c56f98SSadaf Ebrahimi #endif
161*62c56f98SSadaf Ebrahimi if (fseek(stream, data_offset, SEEK_CUR) != 0) {
162*62c56f98SSadaf Ebrahimi goto exit;
163*62c56f98SSadaf Ebrahimi }
164*62c56f98SSadaf Ebrahimi n = fread(p_data, 1, data_length, stream);
165*62c56f98SSadaf Ebrahimi if (n != data_length) {
166*62c56f98SSadaf Ebrahimi goto exit;
167*62c56f98SSadaf Ebrahimi }
168*62c56f98SSadaf Ebrahimi status = PSA_SUCCESS;
169*62c56f98SSadaf Ebrahimi if (p_data_length != NULL) {
170*62c56f98SSadaf Ebrahimi *p_data_length = n;
171*62c56f98SSadaf Ebrahimi }
172*62c56f98SSadaf Ebrahimi
173*62c56f98SSadaf Ebrahimi exit:
174*62c56f98SSadaf Ebrahimi if (stream != NULL) {
175*62c56f98SSadaf Ebrahimi fclose(stream);
176*62c56f98SSadaf Ebrahimi }
177*62c56f98SSadaf Ebrahimi return status;
178*62c56f98SSadaf Ebrahimi }
179*62c56f98SSadaf Ebrahimi
psa_its_set(psa_storage_uid_t uid,uint32_t data_length,const void * p_data,psa_storage_create_flags_t create_flags)180*62c56f98SSadaf Ebrahimi psa_status_t psa_its_set(psa_storage_uid_t uid,
181*62c56f98SSadaf Ebrahimi uint32_t data_length,
182*62c56f98SSadaf Ebrahimi const void *p_data,
183*62c56f98SSadaf Ebrahimi psa_storage_create_flags_t create_flags)
184*62c56f98SSadaf Ebrahimi {
185*62c56f98SSadaf Ebrahimi if (uid == 0) {
186*62c56f98SSadaf Ebrahimi return PSA_ERROR_INVALID_HANDLE;
187*62c56f98SSadaf Ebrahimi }
188*62c56f98SSadaf Ebrahimi
189*62c56f98SSadaf Ebrahimi psa_status_t status = PSA_ERROR_STORAGE_FAILURE;
190*62c56f98SSadaf Ebrahimi char filename[PSA_ITS_STORAGE_FILENAME_LENGTH];
191*62c56f98SSadaf Ebrahimi FILE *stream = NULL;
192*62c56f98SSadaf Ebrahimi psa_its_file_header_t header;
193*62c56f98SSadaf Ebrahimi size_t n;
194*62c56f98SSadaf Ebrahimi
195*62c56f98SSadaf Ebrahimi memcpy(header.magic, PSA_ITS_MAGIC_STRING, PSA_ITS_MAGIC_LENGTH);
196*62c56f98SSadaf Ebrahimi MBEDTLS_PUT_UINT32_LE(data_length, header.size, 0);
197*62c56f98SSadaf Ebrahimi MBEDTLS_PUT_UINT32_LE(create_flags, header.flags, 0);
198*62c56f98SSadaf Ebrahimi
199*62c56f98SSadaf Ebrahimi psa_its_fill_filename(uid, filename);
200*62c56f98SSadaf Ebrahimi stream = fopen(PSA_ITS_STORAGE_TEMP, "wb");
201*62c56f98SSadaf Ebrahimi
202*62c56f98SSadaf Ebrahimi if (stream == NULL) {
203*62c56f98SSadaf Ebrahimi goto exit;
204*62c56f98SSadaf Ebrahimi }
205*62c56f98SSadaf Ebrahimi
206*62c56f98SSadaf Ebrahimi /* Ensure no stdio buffering of secrets, as such buffers cannot be wiped. */
207*62c56f98SSadaf Ebrahimi mbedtls_setbuf(stream, NULL);
208*62c56f98SSadaf Ebrahimi
209*62c56f98SSadaf Ebrahimi status = PSA_ERROR_INSUFFICIENT_STORAGE;
210*62c56f98SSadaf Ebrahimi n = fwrite(&header, 1, sizeof(header), stream);
211*62c56f98SSadaf Ebrahimi if (n != sizeof(header)) {
212*62c56f98SSadaf Ebrahimi goto exit;
213*62c56f98SSadaf Ebrahimi }
214*62c56f98SSadaf Ebrahimi if (data_length != 0) {
215*62c56f98SSadaf Ebrahimi n = fwrite(p_data, 1, data_length, stream);
216*62c56f98SSadaf Ebrahimi if (n != data_length) {
217*62c56f98SSadaf Ebrahimi goto exit;
218*62c56f98SSadaf Ebrahimi }
219*62c56f98SSadaf Ebrahimi }
220*62c56f98SSadaf Ebrahimi status = PSA_SUCCESS;
221*62c56f98SSadaf Ebrahimi
222*62c56f98SSadaf Ebrahimi exit:
223*62c56f98SSadaf Ebrahimi if (stream != NULL) {
224*62c56f98SSadaf Ebrahimi int ret = fclose(stream);
225*62c56f98SSadaf Ebrahimi if (status == PSA_SUCCESS && ret != 0) {
226*62c56f98SSadaf Ebrahimi status = PSA_ERROR_INSUFFICIENT_STORAGE;
227*62c56f98SSadaf Ebrahimi }
228*62c56f98SSadaf Ebrahimi }
229*62c56f98SSadaf Ebrahimi if (status == PSA_SUCCESS) {
230*62c56f98SSadaf Ebrahimi if (rename_replace_existing(PSA_ITS_STORAGE_TEMP, filename) != 0) {
231*62c56f98SSadaf Ebrahimi status = PSA_ERROR_STORAGE_FAILURE;
232*62c56f98SSadaf Ebrahimi }
233*62c56f98SSadaf Ebrahimi }
234*62c56f98SSadaf Ebrahimi /* The temporary file may still exist, but only in failure cases where
235*62c56f98SSadaf Ebrahimi * we're already reporting an error. So there's nothing we can do on
236*62c56f98SSadaf Ebrahimi * failure. If the function succeeded, and in some error cases, the
237*62c56f98SSadaf Ebrahimi * temporary file doesn't exist and so remove() is expected to fail.
238*62c56f98SSadaf Ebrahimi * Thus we just ignore the return status of remove(). */
239*62c56f98SSadaf Ebrahimi (void) remove(PSA_ITS_STORAGE_TEMP);
240*62c56f98SSadaf Ebrahimi return status;
241*62c56f98SSadaf Ebrahimi }
242*62c56f98SSadaf Ebrahimi
psa_its_remove(psa_storage_uid_t uid)243*62c56f98SSadaf Ebrahimi psa_status_t psa_its_remove(psa_storage_uid_t uid)
244*62c56f98SSadaf Ebrahimi {
245*62c56f98SSadaf Ebrahimi char filename[PSA_ITS_STORAGE_FILENAME_LENGTH];
246*62c56f98SSadaf Ebrahimi FILE *stream;
247*62c56f98SSadaf Ebrahimi psa_its_fill_filename(uid, filename);
248*62c56f98SSadaf Ebrahimi stream = fopen(filename, "rb");
249*62c56f98SSadaf Ebrahimi if (stream == NULL) {
250*62c56f98SSadaf Ebrahimi return PSA_ERROR_DOES_NOT_EXIST;
251*62c56f98SSadaf Ebrahimi }
252*62c56f98SSadaf Ebrahimi fclose(stream);
253*62c56f98SSadaf Ebrahimi if (remove(filename) != 0) {
254*62c56f98SSadaf Ebrahimi return PSA_ERROR_STORAGE_FAILURE;
255*62c56f98SSadaf Ebrahimi }
256*62c56f98SSadaf Ebrahimi return PSA_SUCCESS;
257*62c56f98SSadaf Ebrahimi }
258*62c56f98SSadaf Ebrahimi
259*62c56f98SSadaf Ebrahimi #endif /* MBEDTLS_PSA_ITS_FILE_C */
260