blob: 2266b900cc96f2318071373ef5bc65873d14e335 [file] [log] [blame]
Gilles Peskinebc1f2722018-11-16 22:24:38 +01001/* BEGIN_HEADER */
Gilles Peskineb0c642a2019-02-24 12:26:08 +01002#include "../library/psa_crypto_its.h"
Gilles Peskinebc1f2722018-11-16 22:24:38 +01003
4/* Internal definitions of the implementation, copied for the sake of
5 * some of the tests and of the cleanup code. */
6#define PSA_ITS_STORAGE_PREFIX ""
Gilles Peskineb0c642a2019-02-24 12:26:08 +01007#define PSA_ITS_STORAGE_FILENAME_PATTERN "%08lx%08lx"
8#define PSA_ITS_STORAGE_SUFFIX ".psa_its"
Gilles Peskinebc1f2722018-11-16 22:24:38 +01009#define PSA_ITS_STORAGE_FILENAME_LENGTH \
Gilles Peskineb0c642a2019-02-24 12:26:08 +010010 ( sizeof( PSA_ITS_STORAGE_PREFIX ) - 1 + /*prefix without terminating 0*/ \
11 16 + /*UID (64-bit number in hex)*/ \
12 sizeof( PSA_ITS_STORAGE_SUFFIX ) - 1 + /*suffix without terminating 0*/ \
13 1 /*terminating null byte*/ )
14#define PSA_ITS_STORAGE_TEMP \
15 PSA_ITS_STORAGE_PREFIX "tempfile" PSA_ITS_STORAGE_SUFFIX
16static void psa_its_fill_filename( psa_storage_uid_t uid, char *filename )
Gilles Peskinebc1f2722018-11-16 22:24:38 +010017{
Gilles Peskineb0c642a2019-02-24 12:26:08 +010018 /* Break up the UID into two 32-bit pieces so as not to rely on
19 * long long support in snprintf. */
20 mbedtls_snprintf( filename, PSA_ITS_STORAGE_FILENAME_LENGTH,
21 "%s" PSA_ITS_STORAGE_FILENAME_PATTERN "%s",
22 PSA_ITS_STORAGE_PREFIX,
23 (unsigned long) ( uid >> 32 ),
24 (unsigned long) ( uid & 0xffffffff ),
25 PSA_ITS_STORAGE_SUFFIX );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010026}
27
Gilles Peskinebc1f2722018-11-16 22:24:38 +010028/* Maximum uid used by the test, recorded so that cleanup() can delete
Gilles Peskineb0c642a2019-02-24 12:26:08 +010029 * all files. 0xffffffffffffffff is always cleaned up, so it does not
30 * need to and should not be taken into account for uid_max. */
31static psa_storage_uid_t uid_max = 0;
Gilles Peskinebc1f2722018-11-16 22:24:38 +010032
33static void cleanup( void )
34{
35 char filename[PSA_ITS_STORAGE_FILENAME_LENGTH];
Gilles Peskineb0c642a2019-02-24 12:26:08 +010036 psa_storage_uid_t uid;
Gilles Peskinebc1f2722018-11-16 22:24:38 +010037 for( uid = 0; uid < uid_max; uid++ )
38 {
39 psa_its_fill_filename( uid, filename );
40 remove( filename );
41 }
Gilles Peskineb0c642a2019-02-24 12:26:08 +010042 psa_its_fill_filename( (psa_storage_uid_t)( -1 ), filename );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010043 remove( filename );
44 remove( PSA_ITS_STORAGE_TEMP );
45 uid_max = 0;
46}
47
Gilles Peskineb0c642a2019-02-24 12:26:08 +010048static psa_status_t psa_its_set_wrap( psa_storage_uid_t uid,
49 uint32_t data_length,
50 const void *p_data,
51 psa_storage_create_flags_t create_flags )
Gilles Peskinebc1f2722018-11-16 22:24:38 +010052{
Gilles Peskineb0c642a2019-02-24 12:26:08 +010053 if( uid_max != (psa_storage_uid_t)( -1 ) && uid_max < uid )
Gilles Peskinebc1f2722018-11-16 22:24:38 +010054 uid_max = uid;
Gilles Peskineb0c642a2019-02-24 12:26:08 +010055 return( psa_its_set( uid, data_length, p_data, create_flags ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010056}
57
58/* END_HEADER */
59
60/* BEGIN_DEPENDENCIES
61 * depends_on:MBEDTLS_PSA_ITS_FILE_C
62 * END_DEPENDENCIES
63 */
64
65/* BEGIN_CASE */
66void set_get_remove( int uid_arg, int flags_arg, data_t *data )
67{
Gilles Peskineb0c642a2019-02-24 12:26:08 +010068 psa_storage_uid_t uid = uid_arg;
Gilles Peskinebc1f2722018-11-16 22:24:38 +010069 uint32_t flags = flags_arg;
Gilles Peskineb0c642a2019-02-24 12:26:08 +010070 struct psa_storage_info_t info;
Gilles Peskinebc1f2722018-11-16 22:24:38 +010071 unsigned char *buffer = NULL;
Simon D Hughesbda5a212019-07-10 16:34:21 +010072 size_t ret_len = 0;
Gilles Peskinebc1f2722018-11-16 22:24:38 +010073
74 ASSERT_ALLOC( buffer, data->len );
75
Gilles Peskineb0c642a2019-02-24 12:26:08 +010076 PSA_ASSERT( psa_its_set_wrap( uid, data->len, data->x, flags ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010077
Gilles Peskineb0c642a2019-02-24 12:26:08 +010078 PSA_ASSERT( psa_its_get_info( uid, &info ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010079 TEST_ASSERT( info.size == data->len );
80 TEST_ASSERT( info.flags == flags );
Simon D Hughesbda5a212019-07-10 16:34:21 +010081 PSA_ASSERT( psa_its_get( uid, 0, data->len, buffer, &ret_len ) );
82 ASSERT_COMPARE( data->x, data->len, buffer, ret_len );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010083
Gilles Peskineb0c642a2019-02-24 12:26:08 +010084 PSA_ASSERT( psa_its_remove( uid ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010085
86exit:
87 mbedtls_free( buffer );
88 cleanup( );
89}
90/* END_CASE */
91
92/* BEGIN_CASE */
93void set_overwrite( int uid_arg,
94 int flags1_arg, data_t *data1,
95 int flags2_arg, data_t *data2 )
96{
Gilles Peskineb0c642a2019-02-24 12:26:08 +010097 psa_storage_uid_t uid = uid_arg;
Gilles Peskinebc1f2722018-11-16 22:24:38 +010098 uint32_t flags1 = flags1_arg;
99 uint32_t flags2 = flags2_arg;
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100100 struct psa_storage_info_t info;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100101 unsigned char *buffer = NULL;
Simon D Hughesbda5a212019-07-10 16:34:21 +0100102 size_t ret_len = 0;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100103
104 ASSERT_ALLOC( buffer, MAX( data1->len, data2->len ) );
105
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100106 PSA_ASSERT( psa_its_set_wrap( uid, data1->len, data1->x, flags1 ) );
107 PSA_ASSERT( psa_its_get_info( uid, &info ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100108 TEST_ASSERT( info.size == data1->len );
109 TEST_ASSERT( info.flags == flags1 );
Simon D Hughesbda5a212019-07-10 16:34:21 +0100110 PSA_ASSERT( psa_its_get( uid, 0, data1->len, buffer, &ret_len ) );
111 ASSERT_COMPARE( data1->x, data1->len, buffer, ret_len );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100112
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100113 PSA_ASSERT( psa_its_set_wrap( uid, data2->len, data2->x, flags2 ) );
114 PSA_ASSERT( psa_its_get_info( uid, &info ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100115 TEST_ASSERT( info.size == data2->len );
116 TEST_ASSERT( info.flags == flags2 );
Simon D Hughesbda5a212019-07-10 16:34:21 +0100117 ret_len = 0;
118 PSA_ASSERT( psa_its_get( uid, 0, data2->len, buffer, &ret_len ) );
119 ASSERT_COMPARE( data2->x, data2->len, buffer, ret_len );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100120
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100121 PSA_ASSERT( psa_its_remove( uid ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100122
123exit:
124 mbedtls_free( buffer );
125 cleanup( );
126}
127/* END_CASE */
128
129/* BEGIN_CASE */
130void set_multiple( int first_id, int count )
131{
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100132 psa_storage_uid_t uid0 = first_id;
133 psa_storage_uid_t uid;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100134 char stored[40];
135 char retrieved[40];
Simon D Hughesbda5a212019-07-10 16:34:21 +0100136 size_t ret_len = 0;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100137
138 memset( stored, '.', sizeof( stored ) );
139 for( uid = uid0; uid < uid0 + count; uid++ )
140 {
141 mbedtls_snprintf( stored, sizeof( stored ),
142 "Content of file 0x%08lx", (unsigned long) uid );
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100143 PSA_ASSERT( psa_its_set_wrap( uid, sizeof( stored ), stored, 0 ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100144 }
145
146 for( uid = uid0; uid < uid0 + count; uid++ )
147 {
148 mbedtls_snprintf( stored, sizeof( stored ),
149 "Content of file 0x%08lx", (unsigned long) uid );
Simon D Hughesbda5a212019-07-10 16:34:21 +0100150 PSA_ASSERT( psa_its_get( uid, 0, sizeof( stored ), retrieved, &ret_len ) );
151 ASSERT_COMPARE( retrieved, ret_len,
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100152 stored, sizeof( stored ) );
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100153 PSA_ASSERT( psa_its_remove( uid ) );
Simon D Hughesbda5a212019-07-10 16:34:21 +0100154 TEST_ASSERT( psa_its_get( uid, 0, 0, NULL, NULL ) ==
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100155 PSA_ERROR_DOES_NOT_EXIST );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100156 }
157
158exit:
159 cleanup( );
160}
161/* END_CASE */
162
163/* BEGIN_CASE */
164void nonexistent( int uid_arg, int create_and_remove )
165{
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100166 psa_storage_uid_t uid = uid_arg;
167 struct psa_storage_info_t info;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100168
169 if( create_and_remove )
170 {
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100171 PSA_ASSERT( psa_its_set_wrap( uid, 0, NULL, 0 ) );
172 PSA_ASSERT( psa_its_remove( uid ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100173 }
174
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100175 TEST_ASSERT( psa_its_remove( uid ) == PSA_ERROR_DOES_NOT_EXIST );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100176 TEST_ASSERT( psa_its_get_info( uid, &info ) ==
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100177 PSA_ERROR_DOES_NOT_EXIST );
Simon D Hughesbda5a212019-07-10 16:34:21 +0100178 TEST_ASSERT( psa_its_get( uid, 0, 0, NULL, NULL ) ==
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100179 PSA_ERROR_DOES_NOT_EXIST );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100180
181exit:
182 cleanup( );
183}
184/* END_CASE */
185
186/* BEGIN_CASE */
187void get_at( int uid_arg, data_t *data,
188 int offset, int length_arg,
189 int expected_status )
190{
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100191 psa_storage_uid_t uid = uid_arg;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100192 unsigned char *buffer = NULL;
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100193 psa_status_t status;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100194 size_t length = length_arg >= 0 ? length_arg : 0;
195 unsigned char *trailer;
196 size_t i;
Simon D Hughesbda5a212019-07-10 16:34:21 +0100197 size_t ret_len = 0;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100198
199 ASSERT_ALLOC( buffer, length + 16 );
200 trailer = buffer + length;
201 memset( trailer, '-', 16 );
202
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100203 PSA_ASSERT( psa_its_set_wrap( uid, data->len, data->x, 0 ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100204
Simon D Hughesbda5a212019-07-10 16:34:21 +0100205 status = psa_its_get( uid, offset, length_arg, buffer, &ret_len );
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100206 TEST_ASSERT( status == (psa_status_t) expected_status );
207 if( status == PSA_SUCCESS )
Simon D Hughesbda5a212019-07-10 16:34:21 +0100208 ASSERT_COMPARE( data->x + offset, (size_t) length_arg,
209 buffer, ret_len );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100210 for( i = 0; i < 16; i++ )
211 TEST_ASSERT( trailer[i] == '-' );
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100212 PSA_ASSERT( psa_its_remove( uid ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100213
214exit:
215 mbedtls_free( buffer );
216 cleanup( );
217}
218/* END_CASE */