blob: a1d39bf54157881adb6b99a214c4229acc160751 [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
Gilles Peskine3cff7682019-06-20 12:54:43 +02004#include "psa_helpers.h"
Gilles Peskine952f4092019-05-23 20:25:48 +02005
Gilles Peskinebc1f2722018-11-16 22:24:38 +01006/* Internal definitions of the implementation, copied for the sake of
7 * some of the tests and of the cleanup code. */
8#define PSA_ITS_STORAGE_PREFIX ""
Gilles Peskineb0c642a2019-02-24 12:26:08 +01009#define PSA_ITS_STORAGE_FILENAME_PATTERN "%08lx%08lx"
10#define PSA_ITS_STORAGE_SUFFIX ".psa_its"
Gilles Peskinebc1f2722018-11-16 22:24:38 +010011#define PSA_ITS_STORAGE_FILENAME_LENGTH \
Gilles Peskineb0c642a2019-02-24 12:26:08 +010012 ( sizeof( PSA_ITS_STORAGE_PREFIX ) - 1 + /*prefix without terminating 0*/ \
13 16 + /*UID (64-bit number in hex)*/ \
14 sizeof( PSA_ITS_STORAGE_SUFFIX ) - 1 + /*suffix without terminating 0*/ \
15 1 /*terminating null byte*/ )
16#define PSA_ITS_STORAGE_TEMP \
17 PSA_ITS_STORAGE_PREFIX "tempfile" PSA_ITS_STORAGE_SUFFIX
18static void psa_its_fill_filename( psa_storage_uid_t uid, char *filename )
Gilles Peskinebc1f2722018-11-16 22:24:38 +010019{
Gilles Peskineb0c642a2019-02-24 12:26:08 +010020 /* Break up the UID into two 32-bit pieces so as not to rely on
21 * long long support in snprintf. */
22 mbedtls_snprintf( filename, PSA_ITS_STORAGE_FILENAME_LENGTH,
23 "%s" PSA_ITS_STORAGE_FILENAME_PATTERN "%s",
24 PSA_ITS_STORAGE_PREFIX,
25 (unsigned long) ( uid >> 32 ),
26 (unsigned long) ( uid & 0xffffffff ),
27 PSA_ITS_STORAGE_SUFFIX );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010028}
29
Gilles Peskinebc1f2722018-11-16 22:24:38 +010030/* Maximum uid used by the test, recorded so that cleanup() can delete
Gilles Peskineb0c642a2019-02-24 12:26:08 +010031 * all files. 0xffffffffffffffff is always cleaned up, so it does not
32 * need to and should not be taken into account for uid_max. */
33static psa_storage_uid_t uid_max = 0;
Gilles Peskinebc1f2722018-11-16 22:24:38 +010034
35static void cleanup( void )
36{
37 char filename[PSA_ITS_STORAGE_FILENAME_LENGTH];
Gilles Peskineb0c642a2019-02-24 12:26:08 +010038 psa_storage_uid_t uid;
Gilles Peskinebc1f2722018-11-16 22:24:38 +010039 for( uid = 0; uid < uid_max; uid++ )
40 {
41 psa_its_fill_filename( uid, filename );
42 remove( filename );
43 }
Gilles Peskineb0c642a2019-02-24 12:26:08 +010044 psa_its_fill_filename( (psa_storage_uid_t)( -1 ), filename );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010045 remove( filename );
46 remove( PSA_ITS_STORAGE_TEMP );
47 uid_max = 0;
48}
49
Gilles Peskineb0c642a2019-02-24 12:26:08 +010050static psa_status_t psa_its_set_wrap( psa_storage_uid_t uid,
51 uint32_t data_length,
52 const void *p_data,
53 psa_storage_create_flags_t create_flags )
Gilles Peskinebc1f2722018-11-16 22:24:38 +010054{
Gilles Peskineb0c642a2019-02-24 12:26:08 +010055 if( uid_max != (psa_storage_uid_t)( -1 ) && uid_max < uid )
Gilles Peskinebc1f2722018-11-16 22:24:38 +010056 uid_max = uid;
Gilles Peskineb0c642a2019-02-24 12:26:08 +010057 return( psa_its_set( uid, data_length, p_data, create_flags ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010058}
59
60/* END_HEADER */
61
62/* BEGIN_DEPENDENCIES
63 * depends_on:MBEDTLS_PSA_ITS_FILE_C
64 * END_DEPENDENCIES
65 */
66
67/* BEGIN_CASE */
68void set_get_remove( int uid_arg, int flags_arg, data_t *data )
69{
Gilles Peskineb0c642a2019-02-24 12:26:08 +010070 psa_storage_uid_t uid = uid_arg;
Gilles Peskinebc1f2722018-11-16 22:24:38 +010071 uint32_t flags = flags_arg;
Gilles Peskineb0c642a2019-02-24 12:26:08 +010072 struct psa_storage_info_t info;
Gilles Peskinebc1f2722018-11-16 22:24:38 +010073 unsigned char *buffer = NULL;
Simon D Hughesbda5a212019-07-10 16:34:21 +010074 size_t ret_len = 0;
Gilles Peskinebc1f2722018-11-16 22:24:38 +010075
76 ASSERT_ALLOC( buffer, data->len );
77
Gilles Peskineb0c642a2019-02-24 12:26:08 +010078 PSA_ASSERT( psa_its_set_wrap( uid, data->len, data->x, flags ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010079
Gilles Peskineb0c642a2019-02-24 12:26:08 +010080 PSA_ASSERT( psa_its_get_info( uid, &info ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010081 TEST_ASSERT( info.size == data->len );
82 TEST_ASSERT( info.flags == flags );
Simon D Hughesbda5a212019-07-10 16:34:21 +010083 PSA_ASSERT( psa_its_get( uid, 0, data->len, buffer, &ret_len ) );
84 ASSERT_COMPARE( data->x, data->len, buffer, ret_len );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010085
Gilles Peskineb0c642a2019-02-24 12:26:08 +010086 PSA_ASSERT( psa_its_remove( uid ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010087
88exit:
89 mbedtls_free( buffer );
90 cleanup( );
91}
92/* END_CASE */
93
94/* BEGIN_CASE */
95void set_overwrite( int uid_arg,
96 int flags1_arg, data_t *data1,
97 int flags2_arg, data_t *data2 )
98{
Gilles Peskineb0c642a2019-02-24 12:26:08 +010099 psa_storage_uid_t uid = uid_arg;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100100 uint32_t flags1 = flags1_arg;
101 uint32_t flags2 = flags2_arg;
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100102 struct psa_storage_info_t info;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100103 unsigned char *buffer = NULL;
Simon D Hughesbda5a212019-07-10 16:34:21 +0100104 size_t ret_len = 0;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100105
106 ASSERT_ALLOC( buffer, MAX( data1->len, data2->len ) );
107
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100108 PSA_ASSERT( psa_its_set_wrap( uid, data1->len, data1->x, flags1 ) );
109 PSA_ASSERT( psa_its_get_info( uid, &info ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100110 TEST_ASSERT( info.size == data1->len );
111 TEST_ASSERT( info.flags == flags1 );
Simon D Hughesbda5a212019-07-10 16:34:21 +0100112 PSA_ASSERT( psa_its_get( uid, 0, data1->len, buffer, &ret_len ) );
113 ASSERT_COMPARE( data1->x, data1->len, buffer, ret_len );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100114
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100115 PSA_ASSERT( psa_its_set_wrap( uid, data2->len, data2->x, flags2 ) );
116 PSA_ASSERT( psa_its_get_info( uid, &info ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100117 TEST_ASSERT( info.size == data2->len );
118 TEST_ASSERT( info.flags == flags2 );
Simon D Hughesbda5a212019-07-10 16:34:21 +0100119 ret_len = 0;
120 PSA_ASSERT( psa_its_get( uid, 0, data2->len, buffer, &ret_len ) );
121 ASSERT_COMPARE( data2->x, data2->len, buffer, ret_len );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100122
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100123 PSA_ASSERT( psa_its_remove( uid ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100124
125exit:
126 mbedtls_free( buffer );
127 cleanup( );
128}
129/* END_CASE */
130
131/* BEGIN_CASE */
132void set_multiple( int first_id, int count )
133{
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100134 psa_storage_uid_t uid0 = first_id;
135 psa_storage_uid_t uid;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100136 char stored[40];
137 char retrieved[40];
Simon D Hughesbda5a212019-07-10 16:34:21 +0100138 size_t ret_len = 0;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100139
140 memset( stored, '.', sizeof( stored ) );
141 for( uid = uid0; uid < uid0 + count; uid++ )
142 {
143 mbedtls_snprintf( stored, sizeof( stored ),
144 "Content of file 0x%08lx", (unsigned long) uid );
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100145 PSA_ASSERT( psa_its_set_wrap( uid, sizeof( stored ), stored, 0 ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100146 }
147
148 for( uid = uid0; uid < uid0 + count; uid++ )
149 {
150 mbedtls_snprintf( stored, sizeof( stored ),
151 "Content of file 0x%08lx", (unsigned long) uid );
Simon D Hughesbda5a212019-07-10 16:34:21 +0100152 PSA_ASSERT( psa_its_get( uid, 0, sizeof( stored ), retrieved, &ret_len ) );
153 ASSERT_COMPARE( retrieved, ret_len,
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100154 stored, sizeof( stored ) );
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100155 PSA_ASSERT( psa_its_remove( uid ) );
Simon D Hughesbda5a212019-07-10 16:34:21 +0100156 TEST_ASSERT( psa_its_get( uid, 0, 0, NULL, NULL ) ==
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100157 PSA_ERROR_DOES_NOT_EXIST );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100158 }
159
160exit:
161 cleanup( );
162}
163/* END_CASE */
164
165/* BEGIN_CASE */
166void nonexistent( int uid_arg, int create_and_remove )
167{
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100168 psa_storage_uid_t uid = uid_arg;
169 struct psa_storage_info_t info;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100170
171 if( create_and_remove )
172 {
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100173 PSA_ASSERT( psa_its_set_wrap( uid, 0, NULL, 0 ) );
174 PSA_ASSERT( psa_its_remove( uid ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100175 }
176
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100177 TEST_ASSERT( psa_its_remove( uid ) == PSA_ERROR_DOES_NOT_EXIST );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100178 TEST_ASSERT( psa_its_get_info( uid, &info ) ==
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100179 PSA_ERROR_DOES_NOT_EXIST );
Simon D Hughesbda5a212019-07-10 16:34:21 +0100180 TEST_ASSERT( psa_its_get( uid, 0, 0, NULL, NULL ) ==
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100181 PSA_ERROR_DOES_NOT_EXIST );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100182
183exit:
184 cleanup( );
185}
186/* END_CASE */
187
188/* BEGIN_CASE */
189void get_at( int uid_arg, data_t *data,
190 int offset, int length_arg,
191 int expected_status )
192{
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100193 psa_storage_uid_t uid = uid_arg;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100194 unsigned char *buffer = NULL;
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100195 psa_status_t status;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100196 size_t length = length_arg >= 0 ? length_arg : 0;
197 unsigned char *trailer;
198 size_t i;
Simon D Hughesbda5a212019-07-10 16:34:21 +0100199 size_t ret_len = 0;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100200
201 ASSERT_ALLOC( buffer, length + 16 );
202 trailer = buffer + length;
203 memset( trailer, '-', 16 );
204
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100205 PSA_ASSERT( psa_its_set_wrap( uid, data->len, data->x, 0 ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100206
Simon D Hughesbda5a212019-07-10 16:34:21 +0100207 status = psa_its_get( uid, offset, length_arg, buffer, &ret_len );
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100208 TEST_ASSERT( status == (psa_status_t) expected_status );
209 if( status == PSA_SUCCESS )
Simon D Hughesbda5a212019-07-10 16:34:21 +0100210 ASSERT_COMPARE( data->x + offset, (size_t) length_arg,
211 buffer, ret_len );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100212 for( i = 0; i < 16; i++ )
213 TEST_ASSERT( trailer[i] == '-' );
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100214 PSA_ASSERT( psa_its_remove( uid ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100215
216exit:
217 mbedtls_free( buffer );
218 cleanup( );
219}
220/* END_CASE */