blob: 04a735a29ca173070122df6a4079e5b349ac0c32 [file] [log] [blame]
Gilles Peskinebc1f2722018-11-16 22:24:38 +01001/* BEGIN_HEADER */
Gilles Peskine3b310c62019-09-09 18:22:50 +02002
3/* This test file is specific to the ITS implementation in PSA Crypto
4 * on top of stdio. It expects to know what the stdio name of a file is
5 * based on its keystore name.
6 */
7
Gilles Peskineb0c642a2019-02-24 12:26:08 +01008#include "../library/psa_crypto_its.h"
Gilles Peskinebc1f2722018-11-16 22:24:38 +01009
Gilles Peskine3cff7682019-06-20 12:54:43 +020010#include "psa_helpers.h"
Gilles Peskine952f4092019-05-23 20:25:48 +020011
Gilles Peskinebc1f2722018-11-16 22:24:38 +010012/* Internal definitions of the implementation, copied for the sake of
13 * some of the tests and of the cleanup code. */
14#define PSA_ITS_STORAGE_PREFIX ""
Gilles Peskineb0c642a2019-02-24 12:26:08 +010015#define PSA_ITS_STORAGE_FILENAME_PATTERN "%08lx%08lx"
16#define PSA_ITS_STORAGE_SUFFIX ".psa_its"
Gilles Peskinebc1f2722018-11-16 22:24:38 +010017#define PSA_ITS_STORAGE_FILENAME_LENGTH \
Gilles Peskineb0c642a2019-02-24 12:26:08 +010018 ( sizeof( PSA_ITS_STORAGE_PREFIX ) - 1 + /*prefix without terminating 0*/ \
19 16 + /*UID (64-bit number in hex)*/ \
20 sizeof( PSA_ITS_STORAGE_SUFFIX ) - 1 + /*suffix without terminating 0*/ \
21 1 /*terminating null byte*/ )
22#define PSA_ITS_STORAGE_TEMP \
23 PSA_ITS_STORAGE_PREFIX "tempfile" PSA_ITS_STORAGE_SUFFIX
24static void psa_its_fill_filename( psa_storage_uid_t uid, char *filename )
Gilles Peskinebc1f2722018-11-16 22:24:38 +010025{
Gilles Peskineb0c642a2019-02-24 12:26:08 +010026 /* Break up the UID into two 32-bit pieces so as not to rely on
27 * long long support in snprintf. */
28 mbedtls_snprintf( filename, PSA_ITS_STORAGE_FILENAME_LENGTH,
29 "%s" PSA_ITS_STORAGE_FILENAME_PATTERN "%s",
30 PSA_ITS_STORAGE_PREFIX,
31 (unsigned long) ( uid >> 32 ),
32 (unsigned long) ( uid & 0xffffffff ),
33 PSA_ITS_STORAGE_SUFFIX );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010034}
35
Gilles Peskinebc1f2722018-11-16 22:24:38 +010036/* Maximum uid used by the test, recorded so that cleanup() can delete
Gilles Peskineb0c642a2019-02-24 12:26:08 +010037 * all files. 0xffffffffffffffff is always cleaned up, so it does not
38 * need to and should not be taken into account for uid_max. */
39static psa_storage_uid_t uid_max = 0;
Gilles Peskinebc1f2722018-11-16 22:24:38 +010040
41static void cleanup( void )
42{
43 char filename[PSA_ITS_STORAGE_FILENAME_LENGTH];
Gilles Peskineb0c642a2019-02-24 12:26:08 +010044 psa_storage_uid_t uid;
Gilles Peskinebc1f2722018-11-16 22:24:38 +010045 for( uid = 0; uid < uid_max; uid++ )
46 {
47 psa_its_fill_filename( uid, filename );
48 remove( filename );
49 }
Gilles Peskineb0c642a2019-02-24 12:26:08 +010050 psa_its_fill_filename( (psa_storage_uid_t)( -1 ), filename );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010051 remove( filename );
52 remove( PSA_ITS_STORAGE_TEMP );
53 uid_max = 0;
54}
55
Gilles Peskineb0c642a2019-02-24 12:26:08 +010056static psa_status_t psa_its_set_wrap( psa_storage_uid_t uid,
57 uint32_t data_length,
58 const void *p_data,
59 psa_storage_create_flags_t create_flags )
Gilles Peskinebc1f2722018-11-16 22:24:38 +010060{
Gilles Peskineb0c642a2019-02-24 12:26:08 +010061 if( uid_max != (psa_storage_uid_t)( -1 ) && uid_max < uid )
Gilles Peskinebc1f2722018-11-16 22:24:38 +010062 uid_max = uid;
Gilles Peskineb0c642a2019-02-24 12:26:08 +010063 return( psa_its_set( uid, data_length, p_data, create_flags ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010064}
65
66/* END_HEADER */
67
68/* BEGIN_DEPENDENCIES
69 * depends_on:MBEDTLS_PSA_ITS_FILE_C
70 * END_DEPENDENCIES
71 */
72
73/* BEGIN_CASE */
74void set_get_remove( int uid_arg, int flags_arg, data_t *data )
75{
Gilles Peskineb0c642a2019-02-24 12:26:08 +010076 psa_storage_uid_t uid = uid_arg;
Gilles Peskinebc1f2722018-11-16 22:24:38 +010077 uint32_t flags = flags_arg;
Gilles Peskineb0c642a2019-02-24 12:26:08 +010078 struct psa_storage_info_t info;
Gilles Peskinebc1f2722018-11-16 22:24:38 +010079 unsigned char *buffer = NULL;
Simon D Hughesbda5a212019-07-10 16:34:21 +010080 size_t ret_len = 0;
Gilles Peskinebc1f2722018-11-16 22:24:38 +010081
82 ASSERT_ALLOC( buffer, data->len );
83
Gilles Peskineb0c642a2019-02-24 12:26:08 +010084 PSA_ASSERT( psa_its_set_wrap( uid, data->len, data->x, flags ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010085
Gilles Peskineb0c642a2019-02-24 12:26:08 +010086 PSA_ASSERT( psa_its_get_info( uid, &info ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010087 TEST_ASSERT( info.size == data->len );
88 TEST_ASSERT( info.flags == flags );
Simon D Hughesbda5a212019-07-10 16:34:21 +010089 PSA_ASSERT( psa_its_get( uid, 0, data->len, buffer, &ret_len ) );
90 ASSERT_COMPARE( data->x, data->len, buffer, ret_len );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010091
Gilles Peskineb0c642a2019-02-24 12:26:08 +010092 PSA_ASSERT( psa_its_remove( uid ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +010093
94exit:
95 mbedtls_free( buffer );
96 cleanup( );
97}
98/* END_CASE */
99
100/* BEGIN_CASE */
101void set_overwrite( int uid_arg,
102 int flags1_arg, data_t *data1,
103 int flags2_arg, data_t *data2 )
104{
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100105 psa_storage_uid_t uid = uid_arg;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100106 uint32_t flags1 = flags1_arg;
107 uint32_t flags2 = flags2_arg;
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100108 struct psa_storage_info_t info;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100109 unsigned char *buffer = NULL;
Simon D Hughesbda5a212019-07-10 16:34:21 +0100110 size_t ret_len = 0;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100111
112 ASSERT_ALLOC( buffer, MAX( data1->len, data2->len ) );
113
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100114 PSA_ASSERT( psa_its_set_wrap( uid, data1->len, data1->x, flags1 ) );
115 PSA_ASSERT( psa_its_get_info( uid, &info ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100116 TEST_ASSERT( info.size == data1->len );
117 TEST_ASSERT( info.flags == flags1 );
Simon D Hughesbda5a212019-07-10 16:34:21 +0100118 PSA_ASSERT( psa_its_get( uid, 0, data1->len, buffer, &ret_len ) );
119 ASSERT_COMPARE( data1->x, data1->len, buffer, ret_len );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100120
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100121 PSA_ASSERT( psa_its_set_wrap( uid, data2->len, data2->x, flags2 ) );
122 PSA_ASSERT( psa_its_get_info( uid, &info ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100123 TEST_ASSERT( info.size == data2->len );
124 TEST_ASSERT( info.flags == flags2 );
Simon D Hughesbda5a212019-07-10 16:34:21 +0100125 ret_len = 0;
126 PSA_ASSERT( psa_its_get( uid, 0, data2->len, buffer, &ret_len ) );
127 ASSERT_COMPARE( data2->x, data2->len, buffer, ret_len );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100128
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100129 PSA_ASSERT( psa_its_remove( uid ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100130
131exit:
132 mbedtls_free( buffer );
133 cleanup( );
134}
135/* END_CASE */
136
137/* BEGIN_CASE */
138void set_multiple( int first_id, int count )
139{
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100140 psa_storage_uid_t uid0 = first_id;
141 psa_storage_uid_t uid;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100142 char stored[40];
143 char retrieved[40];
Simon D Hughesbda5a212019-07-10 16:34:21 +0100144 size_t ret_len = 0;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100145
146 memset( stored, '.', sizeof( stored ) );
147 for( uid = uid0; uid < uid0 + count; uid++ )
148 {
149 mbedtls_snprintf( stored, sizeof( stored ),
150 "Content of file 0x%08lx", (unsigned long) uid );
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100151 PSA_ASSERT( psa_its_set_wrap( uid, sizeof( stored ), stored, 0 ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100152 }
153
154 for( uid = uid0; uid < uid0 + count; uid++ )
155 {
156 mbedtls_snprintf( stored, sizeof( stored ),
157 "Content of file 0x%08lx", (unsigned long) uid );
Simon D Hughesbda5a212019-07-10 16:34:21 +0100158 PSA_ASSERT( psa_its_get( uid, 0, sizeof( stored ), retrieved, &ret_len ) );
159 ASSERT_COMPARE( retrieved, ret_len,
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100160 stored, sizeof( stored ) );
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100161 PSA_ASSERT( psa_its_remove( uid ) );
Simon D Hughesbda5a212019-07-10 16:34:21 +0100162 TEST_ASSERT( psa_its_get( uid, 0, 0, NULL, NULL ) ==
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100163 PSA_ERROR_DOES_NOT_EXIST );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100164 }
165
166exit:
167 cleanup( );
168}
169/* END_CASE */
170
171/* BEGIN_CASE */
172void nonexistent( int uid_arg, int create_and_remove )
173{
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100174 psa_storage_uid_t uid = uid_arg;
175 struct psa_storage_info_t info;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100176
177 if( create_and_remove )
178 {
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100179 PSA_ASSERT( psa_its_set_wrap( uid, 0, NULL, 0 ) );
180 PSA_ASSERT( psa_its_remove( uid ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100181 }
182
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100183 TEST_ASSERT( psa_its_remove( uid ) == PSA_ERROR_DOES_NOT_EXIST );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100184 TEST_ASSERT( psa_its_get_info( uid, &info ) ==
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100185 PSA_ERROR_DOES_NOT_EXIST );
Simon D Hughesbda5a212019-07-10 16:34:21 +0100186 TEST_ASSERT( psa_its_get( uid, 0, 0, NULL, NULL ) ==
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100187 PSA_ERROR_DOES_NOT_EXIST );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100188
189exit:
190 cleanup( );
191}
192/* END_CASE */
193
194/* BEGIN_CASE */
195void get_at( int uid_arg, data_t *data,
196 int offset, int length_arg,
197 int expected_status )
198{
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100199 psa_storage_uid_t uid = uid_arg;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100200 unsigned char *buffer = NULL;
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100201 psa_status_t status;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100202 size_t length = length_arg >= 0 ? length_arg : 0;
203 unsigned char *trailer;
204 size_t i;
Simon D Hughesbda5a212019-07-10 16:34:21 +0100205 size_t ret_len = 0;
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100206
207 ASSERT_ALLOC( buffer, length + 16 );
208 trailer = buffer + length;
209 memset( trailer, '-', 16 );
210
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100211 PSA_ASSERT( psa_its_set_wrap( uid, data->len, data->x, 0 ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100212
Simon D Hughesbda5a212019-07-10 16:34:21 +0100213 status = psa_its_get( uid, offset, length_arg, buffer, &ret_len );
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100214 TEST_ASSERT( status == (psa_status_t) expected_status );
215 if( status == PSA_SUCCESS )
Simon D Hughesbda5a212019-07-10 16:34:21 +0100216 ASSERT_COMPARE( data->x + offset, (size_t) length_arg,
217 buffer, ret_len );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100218 for( i = 0; i < 16; i++ )
219 TEST_ASSERT( trailer[i] == '-' );
Gilles Peskineb0c642a2019-02-24 12:26:08 +0100220 PSA_ASSERT( psa_its_remove( uid ) );
Gilles Peskinebc1f2722018-11-16 22:24:38 +0100221
222exit:
223 mbedtls_free( buffer );
224 cleanup( );
225}
226/* END_CASE */