blob: dcd44290e5abbff215c5fd2cf1cf421523397000 [file] [log] [blame]
Paul Bakker33b43f12013-08-20 11:48:36 +02001/* BEGIN_HEADER */
Azim Khand30ca132017-06-09 04:32:58 +01002#include "mbedtls/bignum.h"
Andres AG4b76aec2016-09-23 13:16:02 +01003#include "mbedtls/x509.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +00004#include "mbedtls/x509_crt.h"
5#include "mbedtls/x509_crl.h"
6#include "mbedtls/x509_csr.h"
7#include "mbedtls/pem.h"
8#include "mbedtls/oid.h"
9#include "mbedtls/base64.h"
Chris Jones9f7a6932021-04-14 12:12:09 +010010#include "mbedtls/error.h"
Valerio Setti178b5bd2023-02-13 10:04:28 +010011#include "mbedtls/pk.h"
Mohammad Azim Khan67735d52017-04-06 11:55:43 +010012#include "string.h"
Paul Bakkerb63b0af2011-01-13 17:54:59 +000013
Simon Butcher9e24b512017-07-28 12:15:13 +010014#if MBEDTLS_X509_MAX_INTERMEDIATE_CA > 19
Hanno Becker3b1422e2017-07-26 13:38:02 +010015#error "The value of MBEDTLS_X509_MAX_INTERMEDIATE_C is larger \
Gilles Peskine449bd832023-01-11 14:50:10 +010016 than the current threshold 19. To test larger values, please \
17 adapt the script tests/data_files/dir-max/long.sh."
Hanno Becker3b1422e2017-07-26 13:38:02 +010018#endif
19
Hanno Becker20a4ade2019-06-03 14:27:03 +010020/* Test-only profile allowing all digests, PK algorithms, and curves. */
21const mbedtls_x509_crt_profile profile_all =
22{
23 0xFFFFFFFF, /* Any MD */
24 0xFFFFFFFF, /* Any PK alg */
25 0xFFFFFFFF, /* Any curve */
26 1024,
27};
28
Gilles Peskineef86ab22017-05-05 18:59:02 +020029/* Profile for backward compatibility. Allows SHA-1, unlike the default
30 profile. */
Manuel Pégourié-Gonnard65eefc82015-10-23 14:08:48 +020031const mbedtls_x509_crt_profile compat_profile =
32{
Gilles Peskine449bd832023-01-11 14:50:10 +010033 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_SHA1) |
34 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_RIPEMD160) |
35 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_SHA224) |
36 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_SHA256) |
37 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_SHA384) |
38 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_SHA512),
Thomas Daubney28015e12022-04-21 08:12:59 +010039 0xFFFFFFFF, /* Any PK alg */
40 0xFFFFFFFF, /* Any curve */
Manuel Pégourié-Gonnard65eefc82015-10-23 14:08:48 +020041 1024,
42};
43
Manuel Pégourié-Gonnard6622fed2017-05-23 11:29:29 +020044const mbedtls_x509_crt_profile profile_rsa3072 =
45{
Gilles Peskine449bd832023-01-11 14:50:10 +010046 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_SHA256) |
47 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_SHA384) |
48 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_SHA512),
49 MBEDTLS_X509_ID_FLAG(MBEDTLS_PK_RSA),
Manuel Pégourié-Gonnard6622fed2017-05-23 11:29:29 +020050 0,
51 3072,
52};
53
54const mbedtls_x509_crt_profile profile_sha512 =
55{
Gilles Peskine449bd832023-01-11 14:50:10 +010056 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_SHA512),
Thomas Daubney28015e12022-04-21 08:12:59 +010057 0xFFFFFFFF, /* Any PK alg */
58 0xFFFFFFFF, /* Any curve */
Manuel Pégourié-Gonnard6622fed2017-05-23 11:29:29 +020059 1024,
60};
61
Gilles Peskine449bd832023-01-11 14:50:10 +010062int verify_none(void *data, mbedtls_x509_crt *crt, int certificate_depth, uint32_t *flags)
Paul Bakkerb63b0af2011-01-13 17:54:59 +000063{
Paul Bakker5a624082011-01-18 16:31:52 +000064 ((void) data);
65 ((void) crt);
66 ((void) certificate_depth);
Manuel Pégourié-Gonnarde6028c92015-04-20 12:19:02 +010067 *flags |= MBEDTLS_X509_BADCERT_OTHER;
Paul Bakkerddf26b42013-09-18 13:46:23 +020068
Paul Bakker915275b2012-09-28 07:10:55 +000069 return 0;
Paul Bakkerb63b0af2011-01-13 17:54:59 +000070}
71
Gilles Peskine449bd832023-01-11 14:50:10 +010072int verify_all(void *data, mbedtls_x509_crt *crt, int certificate_depth, uint32_t *flags)
Paul Bakkerb63b0af2011-01-13 17:54:59 +000073{
Paul Bakker5a624082011-01-18 16:31:52 +000074 ((void) data);
75 ((void) crt);
76 ((void) certificate_depth);
Paul Bakker915275b2012-09-28 07:10:55 +000077 *flags = 0;
Paul Bakker5a624082011-01-18 16:31:52 +000078
Paul Bakkerb63b0af2011-01-13 17:54:59 +000079 return 0;
80}
81
Jarno Lamsa03cd1202019-03-27 15:45:04 +020082#if defined(MBEDTLS_X509_TRUSTED_CERTIFICATE_CALLBACK)
Gilles Peskine449bd832023-01-11 14:50:10 +010083int ca_callback_fail(void *data, mbedtls_x509_crt const *child, mbedtls_x509_crt **candidates)
Jarno Lamsa557426a2019-03-27 17:08:29 +020084{
85 ((void) data);
86 ((void) child);
87 ((void) candidates);
88
89 return -1;
90}
Przemek Stekielcd204992022-04-27 15:33:43 +020091#if defined(MBEDTLS_X509_CRT_PARSE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010092int ca_callback(void *data, mbedtls_x509_crt const *child,
93 mbedtls_x509_crt **candidates)
Jarno Lamsa03cd1202019-03-27 15:45:04 +020094{
Hanno Beckercbb59032019-03-28 14:14:22 +000095 int ret = 0;
Jarno Lamsa03cd1202019-03-27 15:45:04 +020096 mbedtls_x509_crt *ca = (mbedtls_x509_crt *) data;
Hanno Beckercbb59032019-03-28 14:14:22 +000097 mbedtls_x509_crt *first;
98
99 /* This is a test-only implementation of the CA callback
100 * which always returns the entire list of trusted certificates.
101 * Production implementations managing a large number of CAs
102 * should use an efficient presentation and lookup for the
103 * set of trusted certificates (such as a hashtable) and only
104 * return those trusted certificates which satisfy basic
105 * parental checks, such as the matching of child `Issuer`
106 * and parent `Subject` field. */
107 ((void) child);
108
Gilles Peskine449bd832023-01-11 14:50:10 +0100109 first = mbedtls_calloc(1, sizeof(mbedtls_x509_crt));
110 if (first == NULL) {
Hanno Beckercbb59032019-03-28 14:14:22 +0000111 ret = -1;
112 goto exit;
113 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100114 mbedtls_x509_crt_init(first);
Hanno Beckercbb59032019-03-28 14:14:22 +0000115
Gilles Peskine449bd832023-01-11 14:50:10 +0100116 if (mbedtls_x509_crt_parse_der(first, ca->raw.p, ca->raw.len) != 0) {
Hanno Beckercbb59032019-03-28 14:14:22 +0000117 ret = -1;
118 goto exit;
119 }
120
Gilles Peskine449bd832023-01-11 14:50:10 +0100121 while (ca->next != NULL) {
Jarno Lamsa03cd1202019-03-27 15:45:04 +0200122 ca = ca->next;
Gilles Peskine449bd832023-01-11 14:50:10 +0100123 if (mbedtls_x509_crt_parse_der(first, ca->raw.p, ca->raw.len) != 0) {
Hanno Beckercbb59032019-03-28 14:14:22 +0000124 ret = -1;
125 goto exit;
126 }
Jarno Lamsa03cd1202019-03-27 15:45:04 +0200127 }
Hanno Beckercbb59032019-03-28 14:14:22 +0000128
129exit:
130
Gilles Peskine449bd832023-01-11 14:50:10 +0100131 if (ret != 0) {
132 mbedtls_x509_crt_free(first);
133 mbedtls_free(first);
Hanno Beckercbb59032019-03-28 14:14:22 +0000134 first = NULL;
135 }
136
Jarno Lamsa03cd1202019-03-27 15:45:04 +0200137 *candidates = first;
Gilles Peskine449bd832023-01-11 14:50:10 +0100138 return ret;
Jarno Lamsa03cd1202019-03-27 15:45:04 +0200139}
Przemek Stekielcd204992022-04-27 15:33:43 +0200140#endif /* MBEDTLS_X509_CRT_PARSE_C */
Jarno Lamsa03cd1202019-03-27 15:45:04 +0200141#endif /* MBEDTLS_X509_TRUSTED_CERTIFICATE_CALLBACK */
142
Gilles Peskine449bd832023-01-11 14:50:10 +0100143int verify_fatal(void *data, mbedtls_x509_crt *crt, int certificate_depth, uint32_t *flags)
Manuel Pégourié-Gonnard6b9d53f2017-05-23 12:26:58 +0200144{
145 int *levels = (int *) data;
146
147 ((void) crt);
148 ((void) certificate_depth);
149
150 /* Simulate a fatal error in the callback */
Gilles Peskine449bd832023-01-11 14:50:10 +0100151 if (*levels & (1 << certificate_depth)) {
152 *flags |= (1 << certificate_depth);
153 return -1 - certificate_depth;
Manuel Pégourié-Gonnard6b9d53f2017-05-23 12:26:58 +0200154 }
155
Gilles Peskine449bd832023-01-11 14:50:10 +0100156 return 0;
Manuel Pégourié-Gonnard6b9d53f2017-05-23 12:26:58 +0200157}
158
Manuel Pégourié-Gonnarda8838af2015-11-02 06:34:46 +0900159/* strsep() not available on Windows */
160char *mystrsep(char **stringp, const char *delim)
161{
162 const char *p;
163 char *ret = *stringp;
164
Gilles Peskine449bd832023-01-11 14:50:10 +0100165 if (*stringp == NULL) {
166 return NULL;
167 }
Manuel Pégourié-Gonnarda8838af2015-11-02 06:34:46 +0900168
Gilles Peskine449bd832023-01-11 14:50:10 +0100169 for (;; (*stringp)++) {
170 if (**stringp == '\0') {
Manuel Pégourié-Gonnarda8838af2015-11-02 06:34:46 +0900171 *stringp = NULL;
172 goto done;
173 }
174
Gilles Peskine449bd832023-01-11 14:50:10 +0100175 for (p = delim; *p != '\0'; p++) {
176 if (**stringp == *p) {
Manuel Pégourié-Gonnarda8838af2015-11-02 06:34:46 +0900177 **stringp = '\0';
178 (*stringp)++;
179 goto done;
180 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100181 }
Manuel Pégourié-Gonnarda8838af2015-11-02 06:34:46 +0900182 }
183
184done:
Gilles Peskine449bd832023-01-11 14:50:10 +0100185 return ret;
Manuel Pégourié-Gonnarda8838af2015-11-02 06:34:46 +0900186}
187
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200188#if defined(MBEDTLS_X509_CRT_PARSE_C)
189typedef struct {
190 char buf[512];
191 char *p;
192} verify_print_context;
193
Gilles Peskine449bd832023-01-11 14:50:10 +0100194void verify_print_init(verify_print_context *ctx)
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200195{
Gilles Peskine449bd832023-01-11 14:50:10 +0100196 memset(ctx, 0, sizeof(verify_print_context));
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200197 ctx->p = ctx->buf;
198}
199
Gilles Peskine449bd832023-01-11 14:50:10 +0100200int verify_print(void *data, mbedtls_x509_crt *crt, int certificate_depth, uint32_t *flags)
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200201{
202 int ret;
203 verify_print_context *ctx = (verify_print_context *) data;
204 char *p = ctx->p;
Gilles Peskine449bd832023-01-11 14:50:10 +0100205 size_t n = ctx->buf + sizeof(ctx->buf) - ctx->p;
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200206 ((void) flags);
207
Gilles Peskine449bd832023-01-11 14:50:10 +0100208 ret = mbedtls_snprintf(p, n, "depth %d - serial ", certificate_depth);
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200209 MBEDTLS_X509_SAFE_SNPRINTF;
210
Gilles Peskine449bd832023-01-11 14:50:10 +0100211 ret = mbedtls_x509_serial_gets(p, n, &crt->serial);
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200212 MBEDTLS_X509_SAFE_SNPRINTF;
213
Gilles Peskine449bd832023-01-11 14:50:10 +0100214 ret = mbedtls_snprintf(p, n, " - subject ");
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200215 MBEDTLS_X509_SAFE_SNPRINTF;
216
Gilles Peskine449bd832023-01-11 14:50:10 +0100217 ret = mbedtls_x509_dn_gets(p, n, &crt->subject);
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200218 MBEDTLS_X509_SAFE_SNPRINTF;
219
Gilles Peskine449bd832023-01-11 14:50:10 +0100220 ret = mbedtls_snprintf(p, n, " - flags 0x%08x\n", *flags);
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200221 MBEDTLS_X509_SAFE_SNPRINTF;
222
223 ctx->p = p;
224
Gilles Peskine449bd832023-01-11 14:50:10 +0100225 return 0;
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200226}
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200227
Gilles Peskine449bd832023-01-11 14:50:10 +0100228int verify_parse_san(mbedtls_x509_subject_alternative_name *san,
229 char **buf, size_t *size)
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200230{
231 int ret;
232 size_t i;
233 char *p = *buf;
234 size_t n = *size;
235
Gilles Peskine449bd832023-01-11 14:50:10 +0100236 ret = mbedtls_snprintf(p, n, "type : %d", san->type);
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200237 MBEDTLS_X509_SAFE_SNPRINTF;
238
Gilles Peskine449bd832023-01-11 14:50:10 +0100239 switch (san->type) {
240 case (MBEDTLS_X509_SAN_OTHER_NAME):
241 ret = mbedtls_snprintf(p, n, "\notherName :");
Victor Barpp Gomes47c7a732022-09-29 11:34:23 -0300242 MBEDTLS_X509_SAFE_SNPRINTF;
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200243
Gilles Peskine449bd832023-01-11 14:50:10 +0100244 if (MBEDTLS_OID_CMP(MBEDTLS_OID_ON_HW_MODULE_NAME,
245 &san->san.other_name.value.hardware_module_name.oid) != 0) {
246 ret = mbedtls_snprintf(p, n, " hardware module name :");
Victor Barpp Gomes47c7a732022-09-29 11:34:23 -0300247 MBEDTLS_X509_SAFE_SNPRINTF;
Gilles Peskine449bd832023-01-11 14:50:10 +0100248 ret = mbedtls_snprintf(p, n, " hardware type : ");
Victor Barpp Gomes47c7a732022-09-29 11:34:23 -0300249 MBEDTLS_X509_SAFE_SNPRINTF;
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200250
Gilles Peskine449bd832023-01-11 14:50:10 +0100251 ret = mbedtls_oid_get_numeric_string(p,
252 n,
253 &san->san.other_name.value.hardware_module_name.oid);
Victor Barpp Gomes47c7a732022-09-29 11:34:23 -0300254 MBEDTLS_X509_SAFE_SNPRINTF;
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200255
Gilles Peskine449bd832023-01-11 14:50:10 +0100256 ret = mbedtls_snprintf(p, n, ", hardware serial number : ");
Victor Barpp Gomes47c7a732022-09-29 11:34:23 -0300257 MBEDTLS_X509_SAFE_SNPRINTF;
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200258
Gilles Peskine449bd832023-01-11 14:50:10 +0100259 for (i = 0; i < san->san.other_name.value.hardware_module_name.val.len; i++) {
260 ret = mbedtls_snprintf(p,
261 n,
262 "%02X",
263 san->san.other_name.value.hardware_module_name.val.p[i]);
Victor Barpp Gomes47c7a732022-09-29 11:34:23 -0300264 MBEDTLS_X509_SAFE_SNPRINTF;
265 }
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200266 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100267 break;/* MBEDTLS_OID_ON_HW_MODULE_NAME */
268 case (MBEDTLS_X509_SAN_DNS_NAME):
269 ret = mbedtls_snprintf(p, n, "\ndNSName : ");
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200270 MBEDTLS_X509_SAFE_SNPRINTF;
Gilles Peskine449bd832023-01-11 14:50:10 +0100271 if (san->san.unstructured_name.len >= n) {
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200272 *p = '\0';
Gilles Peskine449bd832023-01-11 14:50:10 +0100273 return MBEDTLS_ERR_X509_BUFFER_TOO_SMALL;
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200274 }
275 n -= san->san.unstructured_name.len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100276 for (i = 0; i < san->san.unstructured_name.len; i++) {
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200277 *p++ = san->san.unstructured_name.p[i];
Gilles Peskine449bd832023-01-11 14:50:10 +0100278 }
279 break;/* MBEDTLS_X509_SAN_DNS_NAME */
Przemek Stekiel608e3ef2023-02-09 14:47:50 +0100280 case (MBEDTLS_X509_SAN_RFC822_NAME):
281 ret = mbedtls_snprintf(p, n, "\nrfc822Name : ");
282 MBEDTLS_X509_SAFE_SNPRINTF;
283 if (san->san.unstructured_name.len >= n) {
284 *p = '\0';
285 return MBEDTLS_ERR_X509_BUFFER_TOO_SMALL;
286 }
287 n -= san->san.unstructured_name.len;
288 for (i = 0; i < san->san.unstructured_name.len; i++) {
289 *p++ = san->san.unstructured_name.p[i];
290 }
291 break;/* MBEDTLS_X509_SAN_RFC822_NAME */
Andrzej Kureke12b01d2023-01-10 06:47:38 -0500292 case (MBEDTLS_X509_SAN_DIRECTORY_NAME):
293 ret = mbedtls_snprintf(p, n, "\ndirectoryName : ");
294 MBEDTLS_X509_SAFE_SNPRINTF;
295 ret = mbedtls_x509_dn_gets(p, n, &san->san.directory_name);
296 if (ret < 0) {
297 return ret;
298 }
299
300 p += ret;
301 n -= ret;
302 break;/* MBEDTLS_X509_SAN_DIRECTORY_NAME */
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200303 default:
Gilles Peskine449bd832023-01-11 14:50:10 +0100304 /*
305 * Should not happen.
306 */
307 return -1;
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200308 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100309 ret = mbedtls_snprintf(p, n, "\n");
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200310 MBEDTLS_X509_SAFE_SNPRINTF;
311
312 *size = n;
313 *buf = p;
314
Gilles Peskine449bd832023-01-11 14:50:10 +0100315 return 0;
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200316}
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +0200317
Gilles Peskine449bd832023-01-11 14:50:10 +0100318int parse_crt_ext_cb(void *p_ctx, mbedtls_x509_crt const *crt, mbedtls_x509_buf const *oid,
319 int critical, const unsigned char *cp, const unsigned char *end)
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +0200320{
Gilles Peskine449bd832023-01-11 14:50:10 +0100321 (void) crt;
322 (void) critical;
323 mbedtls_x509_buf *new_oid = (mbedtls_x509_buf *) p_ctx;
324 if (oid->tag == MBEDTLS_ASN1_OID &&
325 MBEDTLS_OID_CMP(MBEDTLS_OID_CERTIFICATE_POLICIES, oid) == 0) {
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200326 /* Handle unknown certificate policy */
327 int ret, parse_ret = 0;
328 size_t len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100329 unsigned char **p = (unsigned char **) &cp;
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200330
331 /* Get main sequence tag */
Gilles Peskine449bd832023-01-11 14:50:10 +0100332 ret = mbedtls_asn1_get_tag(p, end, &len,
333 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE);
334 if (ret != 0) {
335 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS, ret);
336 }
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200337
Gilles Peskine449bd832023-01-11 14:50:10 +0100338 if (*p + len != end) {
339 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS,
340 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
341 }
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200342
343 /*
344 * Cannot be an empty sequence.
345 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100346 if (len == 0) {
347 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS,
348 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
349 }
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200350
Gilles Peskine449bd832023-01-11 14:50:10 +0100351 while (*p < end) {
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200352 const unsigned char *policy_end;
353
354 /*
355 * Get the policy sequence
356 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100357 if ((ret = mbedtls_asn1_get_tag(p, end, &len,
358 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE)) !=
359 0) {
360 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS, ret);
361 }
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200362
363 policy_end = *p + len;
364
Gilles Peskine449bd832023-01-11 14:50:10 +0100365 if ((ret = mbedtls_asn1_get_tag(p, policy_end, &len,
366 MBEDTLS_ASN1_OID)) != 0) {
367 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS, ret);
368 }
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200369
Nicola Di Lietob77fad82020-06-17 17:57:36 +0200370 /*
371 * Recognize exclusively the policy with OID 1
372 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100373 if (len != 1 || *p[0] != 1) {
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200374 parse_ret = MBEDTLS_ERR_X509_FEATURE_UNAVAILABLE;
Gilles Peskine449bd832023-01-11 14:50:10 +0100375 }
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200376
377 *p += len;
378
Gilles Peskine449bd832023-01-11 14:50:10 +0100379 /*
380 * If there is an optional qualifier, then *p < policy_end
381 * Check the Qualifier len to verify it doesn't exceed policy_end.
382 */
383 if (*p < policy_end) {
384 if ((ret = mbedtls_asn1_get_tag(p, policy_end, &len,
385 MBEDTLS_ASN1_CONSTRUCTED |
386 MBEDTLS_ASN1_SEQUENCE)) != 0) {
387 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS, ret);
388 }
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200389 /*
390 * Skip the optional policy qualifiers.
391 */
392 *p += len;
393 }
394
Gilles Peskine449bd832023-01-11 14:50:10 +0100395 if (*p != policy_end) {
396 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS,
397 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
398 }
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200399 }
400
Gilles Peskine449bd832023-01-11 14:50:10 +0100401 if (*p != end) {
402 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS,
403 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
404 }
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200405
Gilles Peskine449bd832023-01-11 14:50:10 +0100406 return parse_ret;
407 } else if (new_oid != NULL && new_oid->tag == oid->tag && new_oid->len == oid->len &&
408 memcmp(new_oid->p, oid->p, oid->len) == 0) {
409 return 0;
410 } else {
411 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS,
412 MBEDTLS_ERR_ASN1_UNEXPECTED_TAG);
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200413 }
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +0200414}
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200415#endif /* MBEDTLS_X509_CRT_PARSE_C */
Paul Bakker33b43f12013-08-20 11:48:36 +0200416/* END_HEADER */
Paul Bakker37940d9f2009-07-10 22:38:58 +0000417
Paul Bakker33b43f12013-08-20 11:48:36 +0200418/* BEGIN_DEPENDENCIES
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200419 * depends_on:MBEDTLS_BIGNUM_C
Paul Bakker33b43f12013-08-20 11:48:36 +0200420 * END_DEPENDENCIES
421 */
Paul Bakker5690efc2011-05-26 13:16:06 +0000422
Thomas Daubney5c9c2ce2022-06-06 16:36:43 +0100423/* BEGIN_CASE depends_on:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +0100424void x509_accessor_ext_types(int ext_type, int has_ext_type)
Thomas Daubneybd5466a2022-05-31 14:16:42 +0100425{
426 mbedtls_x509_crt crt;
427 int expected_result = ext_type & has_ext_type;
428
Gilles Peskine449bd832023-01-11 14:50:10 +0100429 mbedtls_x509_crt_init(&crt);
valerio32f2ac92023-04-20 11:59:52 +0200430 USE_PSA_INIT();
Thomas Daubneybd5466a2022-05-31 14:16:42 +0100431
432 crt.ext_types = ext_type;
433
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500434 TEST_EQUAL(mbedtls_x509_crt_has_ext_type(&crt, has_ext_type), expected_result);
Thomas Daubneybd5466a2022-05-31 14:16:42 +0100435
valerio32f2ac92023-04-20 11:59:52 +0200436exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100437 mbedtls_x509_crt_free(&crt);
Valerio Setti569c1712023-04-19 14:53:36 +0200438 USE_PSA_DONE();
Thomas Daubneybd5466a2022-05-31 14:16:42 +0100439}
440/* END_CASE */
441
Glenn Strauss6f545ac2022-10-25 15:02:14 -0400442/* BEGIN_CASE depends_on:MBEDTLS_X509_CRT_PARSE_C:MBEDTLS_TEST_HOOKS */
443void x509_crt_parse_cn_inet_pton(const char *cn, data_t *exp, int ref_ret)
444{
445 uint32_t addr[4];
446 size_t addrlen = mbedtls_x509_crt_parse_cn_inet_pton(cn, addr);
447 TEST_EQUAL(addrlen, (size_t) ref_ret);
448
449 if (addrlen) {
450 ASSERT_COMPARE(exp->x, exp->len, addr, addrlen);
451 }
452}
453/* END_CASE */
454
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200455/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Andrzej Kurekd90376e2023-01-20 07:08:57 -0500456void x509_parse_san(char *crt_file, char *result_str, int parse_result)
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200457{
Ron Eldor890819a2019-05-13 19:03:04 +0300458 int ret;
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200459 mbedtls_x509_crt crt;
Ron Eldor890819a2019-05-13 19:03:04 +0300460 mbedtls_x509_subject_alternative_name san;
461 mbedtls_x509_sequence *cur = NULL;
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200462 char buf[2000];
463 char *p = buf;
Gilles Peskine449bd832023-01-11 14:50:10 +0100464 size_t n = sizeof(buf);
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200465
Gilles Peskine449bd832023-01-11 14:50:10 +0100466 mbedtls_x509_crt_init(&crt);
valerio32f2ac92023-04-20 11:59:52 +0200467 USE_PSA_INIT();
Gilles Peskine449bd832023-01-11 14:50:10 +0100468 memset(buf, 0, 2000);
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200469
Andrzej Kurekd90376e2023-01-20 07:08:57 -0500470 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), parse_result);
Ron Eldor890819a2019-05-13 19:03:04 +0300471
Andrzej Kurekd90376e2023-01-20 07:08:57 -0500472 if (parse_result != 0) {
473 goto exit;
474 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100475 if (crt.ext_types & MBEDTLS_X509_EXT_SUBJECT_ALT_NAME) {
Ron Eldor890819a2019-05-13 19:03:04 +0300476 cur = &crt.subject_alt_names;
Gilles Peskine449bd832023-01-11 14:50:10 +0100477 while (cur != NULL) {
478 ret = mbedtls_x509_parse_subject_alt_name(&cur->buf, &san);
479 TEST_ASSERT(ret == 0 || ret == MBEDTLS_ERR_X509_FEATURE_UNAVAILABLE);
Ron Eldor890819a2019-05-13 19:03:04 +0300480 /*
481 * If san type not supported, ignore.
482 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100483 if (ret == 0) {
Andrzej Kurekd40c2b62023-02-13 07:01:59 -0500484 ret = verify_parse_san(&san, &p, &n);
485 mbedtls_x509_free_subject_alt_name(&san);
486 TEST_EQUAL(ret, 0);
Gilles Peskine449bd832023-01-11 14:50:10 +0100487 }
Ron Eldor890819a2019-05-13 19:03:04 +0300488 cur = cur->next;
489 }
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200490 }
491
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500492 TEST_EQUAL(strcmp(buf, result_str), 0);
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200493
494exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100495 mbedtls_x509_crt_free(&crt);
Valerio Setti569c1712023-04-19 14:53:36 +0200496 USE_PSA_DONE();
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200497}
498/* END_CASE */
499
Hanno Becker612a2f12020-10-09 09:19:39 +0100500/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:!MBEDTLS_X509_REMOVE_INFO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +0100501void x509_cert_info(char *crt_file, char *result_str)
Paul Bakker37940d9f2009-07-10 22:38:58 +0000502{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200503 mbedtls_x509_crt crt;
Paul Bakker37940d9f2009-07-10 22:38:58 +0000504 char buf[2000];
Paul Bakker69998dd2009-07-11 19:15:20 +0000505 int res;
Paul Bakker37940d9f2009-07-10 22:38:58 +0000506
Gilles Peskine449bd832023-01-11 14:50:10 +0100507 mbedtls_x509_crt_init(&crt);
valerio32f2ac92023-04-20 11:59:52 +0200508 USE_PSA_INIT();
Gilles Peskine449bd832023-01-11 14:50:10 +0100509 memset(buf, 0, 2000);
Paul Bakker37940d9f2009-07-10 22:38:58 +0000510
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500511 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
Gilles Peskine449bd832023-01-11 14:50:10 +0100512 res = mbedtls_x509_crt_info(buf, 2000, "", &crt);
Paul Bakker37940d9f2009-07-10 22:38:58 +0000513
Gilles Peskine449bd832023-01-11 14:50:10 +0100514 TEST_ASSERT(res != -1);
515 TEST_ASSERT(res != -2);
Paul Bakker37940d9f2009-07-10 22:38:58 +0000516
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500517 TEST_EQUAL(strcmp(buf, result_str), 0);
Paul Bakkerbd51b262014-07-10 15:26:12 +0200518
519exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100520 mbedtls_x509_crt_free(&crt);
Valerio Setti569c1712023-04-19 14:53:36 +0200521 USE_PSA_DONE();
Paul Bakker37940d9f2009-07-10 22:38:58 +0000522}
Paul Bakker33b43f12013-08-20 11:48:36 +0200523/* END_CASE */
Paul Bakker37940d9f2009-07-10 22:38:58 +0000524
Hanno Becker612a2f12020-10-09 09:19:39 +0100525/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRL_PARSE_C:!MBEDTLS_X509_REMOVE_INFO */
Gilles Peskine449bd832023-01-11 14:50:10 +0100526void mbedtls_x509_crl_info(char *crl_file, char *result_str)
Paul Bakker37940d9f2009-07-10 22:38:58 +0000527{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200528 mbedtls_x509_crl crl;
Paul Bakker37940d9f2009-07-10 22:38:58 +0000529 char buf[2000];
Paul Bakker69998dd2009-07-11 19:15:20 +0000530 int res;
Paul Bakker37940d9f2009-07-10 22:38:58 +0000531
Gilles Peskine449bd832023-01-11 14:50:10 +0100532 mbedtls_x509_crl_init(&crl);
valerio32f2ac92023-04-20 11:59:52 +0200533 USE_PSA_INIT();
Gilles Peskine449bd832023-01-11 14:50:10 +0100534 memset(buf, 0, 2000);
Paul Bakker37940d9f2009-07-10 22:38:58 +0000535
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500536 TEST_EQUAL(mbedtls_x509_crl_parse_file(&crl, crl_file), 0);
Gilles Peskine449bd832023-01-11 14:50:10 +0100537 res = mbedtls_x509_crl_info(buf, 2000, "", &crl);
Paul Bakker37940d9f2009-07-10 22:38:58 +0000538
Gilles Peskine449bd832023-01-11 14:50:10 +0100539 TEST_ASSERT(res != -1);
540 TEST_ASSERT(res != -2);
Paul Bakker37940d9f2009-07-10 22:38:58 +0000541
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500542 TEST_EQUAL(strcmp(buf, result_str), 0);
Paul Bakkerbd51b262014-07-10 15:26:12 +0200543
544exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100545 mbedtls_x509_crl_free(&crl);
Valerio Setti569c1712023-04-19 14:53:36 +0200546 USE_PSA_DONE();
Paul Bakker37940d9f2009-07-10 22:38:58 +0000547}
Paul Bakker33b43f12013-08-20 11:48:36 +0200548/* END_CASE */
Paul Bakker37940d9f2009-07-10 22:38:58 +0000549
Andres AGa39db392016-12-08 17:10:38 +0000550/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRL_PARSE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +0100551void mbedtls_x509_crl_parse(char *crl_file, int result)
Andres AGa39db392016-12-08 17:10:38 +0000552{
553 mbedtls_x509_crl crl;
554 char buf[2000];
555
Gilles Peskine449bd832023-01-11 14:50:10 +0100556 mbedtls_x509_crl_init(&crl);
valerio32f2ac92023-04-20 11:59:52 +0200557 USE_PSA_INIT();
Gilles Peskine449bd832023-01-11 14:50:10 +0100558 memset(buf, 0, 2000);
Andres AGa39db392016-12-08 17:10:38 +0000559
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500560 TEST_EQUAL(mbedtls_x509_crl_parse_file(&crl, crl_file), result);
Andres AGa39db392016-12-08 17:10:38 +0000561
562exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100563 mbedtls_x509_crl_free(&crl);
Valerio Setti569c1712023-04-19 14:53:36 +0200564 USE_PSA_DONE();
Andres AGa39db392016-12-08 17:10:38 +0000565}
566/* END_CASE */
567
Hanno Becker612a2f12020-10-09 09:19:39 +0100568/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CSR_PARSE_C:!MBEDTLS_X509_REMOVE_INFO */
Gilles Peskine449bd832023-01-11 14:50:10 +0100569void mbedtls_x509_csr_info(char *csr_file, char *result_str)
Manuel Pégourié-Gonnard2a8d7fd2014-01-24 17:34:26 +0100570{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200571 mbedtls_x509_csr csr;
Manuel Pégourié-Gonnard2a8d7fd2014-01-24 17:34:26 +0100572 char buf[2000];
573 int res;
574
Gilles Peskine449bd832023-01-11 14:50:10 +0100575 mbedtls_x509_csr_init(&csr);
valerio32f2ac92023-04-20 11:59:52 +0200576 USE_PSA_INIT();
Gilles Peskine449bd832023-01-11 14:50:10 +0100577 memset(buf, 0, 2000);
Manuel Pégourié-Gonnard2a8d7fd2014-01-24 17:34:26 +0100578
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500579 TEST_EQUAL(mbedtls_x509_csr_parse_file(&csr, csr_file), 0);
Gilles Peskine449bd832023-01-11 14:50:10 +0100580 res = mbedtls_x509_csr_info(buf, 2000, "", &csr);
Manuel Pégourié-Gonnard2a8d7fd2014-01-24 17:34:26 +0100581
Gilles Peskine449bd832023-01-11 14:50:10 +0100582 TEST_ASSERT(res != -1);
583 TEST_ASSERT(res != -2);
Manuel Pégourié-Gonnard2a8d7fd2014-01-24 17:34:26 +0100584
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500585 TEST_EQUAL(strcmp(buf, result_str), 0);
Paul Bakkerbd51b262014-07-10 15:26:12 +0200586
587exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100588 mbedtls_x509_csr_free(&csr);
Valerio Setti569c1712023-04-19 14:53:36 +0200589 USE_PSA_DONE();
Manuel Pégourié-Gonnard2a8d7fd2014-01-24 17:34:26 +0100590}
591/* END_CASE */
592
Hanno Becker612a2f12020-10-09 09:19:39 +0100593/* BEGIN_CASE depends_on:MBEDTLS_X509_CRT_PARSE_C:!MBEDTLS_X509_REMOVE_INFO */
Gilles Peskine449bd832023-01-11 14:50:10 +0100594void x509_verify_info(int flags, char *prefix, char *result_str)
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +0100595{
596 char buf[2000];
597 int res;
598
Valerio Setti569c1712023-04-19 14:53:36 +0200599 USE_PSA_INIT();
Gilles Peskine449bd832023-01-11 14:50:10 +0100600 memset(buf, 0, sizeof(buf));
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +0100601
Gilles Peskine449bd832023-01-11 14:50:10 +0100602 res = mbedtls_x509_crt_verify_info(buf, sizeof(buf), prefix, flags);
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +0100603
Gilles Peskine449bd832023-01-11 14:50:10 +0100604 TEST_ASSERT(res >= 0);
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +0100605
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500606 TEST_EQUAL(strcmp(buf, result_str), 0);
valerio32f2ac92023-04-20 11:59:52 +0200607
608exit:
Valerio Setti569c1712023-04-19 14:53:36 +0200609 USE_PSA_DONE();
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +0100610}
611/* END_CASE */
612
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200613/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C:MBEDTLS_X509_CRL_PARSE_C:MBEDTLS_ECP_RESTARTABLE:MBEDTLS_ECDSA_C */
Gilles Peskine449bd832023-01-11 14:50:10 +0100614void x509_verify_restart(char *crt_file, char *ca_file,
615 int result, int flags_result,
616 int max_ops, int min_restart, int max_restart)
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200617{
618 int ret, cnt_restart;
619 mbedtls_x509_crt_restart_ctx rs_ctx;
620 mbedtls_x509_crt crt;
621 mbedtls_x509_crt ca;
622 uint32_t flags = 0;
623
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +0200624 /*
625 * See comments on ecp_test_vect_restart() for op count precision.
626 *
627 * For reference, with mbed TLS 2.6 and default settings:
628 * - ecdsa_verify() for P-256: ~ 6700
629 * - ecdsa_verify() for P-384: ~ 18800
630 * - x509_verify() for server5 -> test-ca2: ~ 18800
631 * - x509_verify() for server10 -> int-ca3 -> int-ca2: ~ 25500
632 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100633 mbedtls_x509_crt_restart_init(&rs_ctx);
634 mbedtls_x509_crt_init(&crt);
635 mbedtls_x509_crt_init(&ca);
valerio32f2ac92023-04-20 11:59:52 +0200636 MD_OR_USE_PSA_INIT();
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200637
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500638 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
639 TEST_EQUAL(mbedtls_x509_crt_parse_file(&ca, ca_file), 0);
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200640
Gilles Peskine449bd832023-01-11 14:50:10 +0100641 mbedtls_ecp_set_max_ops(max_ops);
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200642
643 cnt_restart = 0;
644 do {
Gilles Peskine449bd832023-01-11 14:50:10 +0100645 ret = mbedtls_x509_crt_verify_restartable(&crt, &ca, NULL,
646 &mbedtls_x509_crt_profile_default, NULL, &flags,
647 NULL, NULL, &rs_ctx);
648 } while (ret == MBEDTLS_ERR_ECP_IN_PROGRESS && ++cnt_restart);
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200649
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500650 TEST_EQUAL(ret, result);
651 TEST_EQUAL(flags, (uint32_t) flags_result);
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200652
Gilles Peskine449bd832023-01-11 14:50:10 +0100653 TEST_ASSERT(cnt_restart >= min_restart);
654 TEST_ASSERT(cnt_restart <= max_restart);
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200655
656 /* Do we leak memory when aborting? */
Gilles Peskine449bd832023-01-11 14:50:10 +0100657 ret = mbedtls_x509_crt_verify_restartable(&crt, &ca, NULL,
658 &mbedtls_x509_crt_profile_default, NULL, &flags,
659 NULL, NULL, &rs_ctx);
660 TEST_ASSERT(ret == result || ret == MBEDTLS_ERR_ECP_IN_PROGRESS);
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200661
662exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100663 mbedtls_x509_crt_restart_free(&rs_ctx);
664 mbedtls_x509_crt_free(&crt);
665 mbedtls_x509_crt_free(&ca);
Manuel Pégourié-Gonnard33a13022023-03-17 14:02:49 +0100666 MD_OR_USE_PSA_DONE();
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200667}
668/* END_CASE */
669
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200670/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C:MBEDTLS_X509_CRL_PARSE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +0100671void x509_verify(char *crt_file, char *ca_file, char *crl_file,
672 char *cn_name_str, int result, int flags_result,
673 char *profile_str,
674 char *verify_callback)
Paul Bakker37940d9f2009-07-10 22:38:58 +0000675{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200676 mbedtls_x509_crt crt;
677 mbedtls_x509_crt ca;
678 mbedtls_x509_crl crl;
Manuel Pégourié-Gonnarde6ef16f2015-05-11 19:54:43 +0200679 uint32_t flags = 0;
Paul Bakker69998dd2009-07-11 19:15:20 +0000680 int res;
Manuel Pégourié-Gonnarde6ef16f2015-05-11 19:54:43 +0200681 int (*f_vrfy)(void *, mbedtls_x509_crt *, int, uint32_t *) = NULL;
Gilles Peskine449bd832023-01-11 14:50:10 +0100682 char *cn_name = NULL;
Gilles Peskineef86ab22017-05-05 18:59:02 +0200683 const mbedtls_x509_crt_profile *profile;
Paul Bakker37940d9f2009-07-10 22:38:58 +0000684
Gilles Peskine449bd832023-01-11 14:50:10 +0100685 mbedtls_x509_crt_init(&crt);
686 mbedtls_x509_crt_init(&ca);
687 mbedtls_x509_crl_init(&crl);
valerio32f2ac92023-04-20 11:59:52 +0200688 MD_OR_USE_PSA_INIT();
Paul Bakker37940d9f2009-07-10 22:38:58 +0000689
Gilles Peskine449bd832023-01-11 14:50:10 +0100690 if (strcmp(cn_name_str, "NULL") != 0) {
Paul Bakker33b43f12013-08-20 11:48:36 +0200691 cn_name = cn_name_str;
Gilles Peskine449bd832023-01-11 14:50:10 +0100692 }
Paul Bakkerdbd443d2013-08-16 13:38:47 +0200693
Gilles Peskine449bd832023-01-11 14:50:10 +0100694 if (strcmp(profile_str, "") == 0) {
Gilles Peskineef86ab22017-05-05 18:59:02 +0200695 profile = &mbedtls_x509_crt_profile_default;
Gilles Peskine449bd832023-01-11 14:50:10 +0100696 } else if (strcmp(profile_str, "next") == 0) {
Ron Eldorc1539982018-02-06 18:47:17 +0200697 profile = &mbedtls_x509_crt_profile_next;
Gilles Peskine449bd832023-01-11 14:50:10 +0100698 } else if (strcmp(profile_str, "suite_b") == 0) {
Ron Eldorc1539982018-02-06 18:47:17 +0200699 profile = &mbedtls_x509_crt_profile_suiteb;
Gilles Peskine449bd832023-01-11 14:50:10 +0100700 } else if (strcmp(profile_str, "compat") == 0) {
Gilles Peskineef86ab22017-05-05 18:59:02 +0200701 profile = &compat_profile;
Gilles Peskine449bd832023-01-11 14:50:10 +0100702 } else if (strcmp(profile_str, "all") == 0) {
Hanno Becker20a4ade2019-06-03 14:27:03 +0100703 profile = &profile_all;
Gilles Peskine449bd832023-01-11 14:50:10 +0100704 } else {
705 TEST_ASSERT("Unknown algorithm profile" == 0);
706 }
Gilles Peskineef86ab22017-05-05 18:59:02 +0200707
Gilles Peskine449bd832023-01-11 14:50:10 +0100708 if (strcmp(verify_callback, "NULL") == 0) {
Paul Bakkerdbd443d2013-08-16 13:38:47 +0200709 f_vrfy = NULL;
Gilles Peskine449bd832023-01-11 14:50:10 +0100710 } else if (strcmp(verify_callback, "verify_none") == 0) {
Paul Bakkerdbd443d2013-08-16 13:38:47 +0200711 f_vrfy = verify_none;
Gilles Peskine449bd832023-01-11 14:50:10 +0100712 } else if (strcmp(verify_callback, "verify_all") == 0) {
Paul Bakkerdbd443d2013-08-16 13:38:47 +0200713 f_vrfy = verify_all;
Gilles Peskine449bd832023-01-11 14:50:10 +0100714 } else {
715 TEST_ASSERT("No known verify callback selected" == 0);
716 }
Paul Bakkerdbd443d2013-08-16 13:38:47 +0200717
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500718 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
719 TEST_EQUAL(mbedtls_x509_crt_parse_file(&ca, ca_file), 0);
720 TEST_EQUAL(mbedtls_x509_crl_parse_file(&crl, crl_file), 0);
Paul Bakker37940d9f2009-07-10 22:38:58 +0000721
Gilles Peskine449bd832023-01-11 14:50:10 +0100722 res = mbedtls_x509_crt_verify_with_profile(&crt,
723 &ca,
724 &crl,
725 profile,
726 cn_name,
727 &flags,
728 f_vrfy,
729 NULL);
Manuel Pégourié-Gonnard65eefc82015-10-23 14:08:48 +0200730
Gilles Peskine449bd832023-01-11 14:50:10 +0100731 TEST_EQUAL(res, result);
732 TEST_EQUAL(flags, (uint32_t) flags_result);
Paul Bakkerbd51b262014-07-10 15:26:12 +0200733
Jarno Lamsa03cd1202019-03-27 15:45:04 +0200734#if defined(MBEDTLS_X509_TRUSTED_CERTIFICATE_CALLBACK)
Hanno Becker0350d562019-03-28 14:23:36 +0000735 /* CRLs aren't supported with CA callbacks, so skip the CA callback
Jarno Lamsadfd22c42019-04-01 15:18:53 +0300736 * version of the test if CRLs are in use. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100737 if (crl_file == NULL || strcmp(crl_file, "") == 0) {
Hanno Becker0350d562019-03-28 14:23:36 +0000738 flags = 0;
Jarno Lamsa03cd1202019-03-27 15:45:04 +0200739
Gilles Peskine449bd832023-01-11 14:50:10 +0100740 res = mbedtls_x509_crt_verify_with_ca_cb(&crt,
741 ca_callback,
742 &ca,
743 profile,
744 cn_name,
745 &flags,
746 f_vrfy,
747 NULL);
Jarno Lamsa03cd1202019-03-27 15:45:04 +0200748
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500749 TEST_EQUAL(res, result);
750 TEST_EQUAL(flags, (uint32_t) (flags_result));
Hanno Becker0350d562019-03-28 14:23:36 +0000751 }
Jarno Lamsa03cd1202019-03-27 15:45:04 +0200752#endif /* MBEDTLS_X509_TRUSTED_CERTIFICATE_CALLBACK */
Paul Bakkerbd51b262014-07-10 15:26:12 +0200753exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100754 mbedtls_x509_crt_free(&crt);
755 mbedtls_x509_crt_free(&ca);
756 mbedtls_x509_crl_free(&crl);
Manuel Pégourié-Gonnard33a13022023-03-17 14:02:49 +0100757 MD_OR_USE_PSA_DONE();
Paul Bakker37940d9f2009-07-10 22:38:58 +0000758}
Paul Bakker33b43f12013-08-20 11:48:36 +0200759/* END_CASE */
Paul Bakker37940d9f2009-07-10 22:38:58 +0000760
Jarno Lamsa557426a2019-03-27 17:08:29 +0200761/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C:MBEDTLS_X509_CRL_PARSE_C:MBEDTLS_X509_TRUSTED_CERTIFICATE_CALLBACK */
Gilles Peskine449bd832023-01-11 14:50:10 +0100762void x509_verify_ca_cb_failure(char *crt_file, char *ca_file, char *name,
763 int exp_ret)
Jarno Lamsa557426a2019-03-27 17:08:29 +0200764{
765 int ret;
766 mbedtls_x509_crt crt;
767 mbedtls_x509_crt ca;
768 uint32_t flags = 0;
Hanno Becker3f932bb2019-03-28 17:06:47 +0000769
Gilles Peskine449bd832023-01-11 14:50:10 +0100770 mbedtls_x509_crt_init(&crt);
771 mbedtls_x509_crt_init(&ca);
valerio32f2ac92023-04-20 11:59:52 +0200772 USE_PSA_INIT();
Jarno Lamsa557426a2019-03-27 17:08:29 +0200773
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500774 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
775 TEST_EQUAL(mbedtls_x509_crt_parse_file(&ca, ca_file), 0);
Jarno Lamsa557426a2019-03-27 17:08:29 +0200776
Gilles Peskine449bd832023-01-11 14:50:10 +0100777 if (strcmp(name, "NULL") == 0) {
Jarno Lamsa557426a2019-03-27 17:08:29 +0200778 name = NULL;
Gilles Peskine449bd832023-01-11 14:50:10 +0100779 }
Hanno Beckercbb59032019-03-28 14:14:22 +0000780
Gilles Peskine449bd832023-01-11 14:50:10 +0100781 ret = mbedtls_x509_crt_verify_with_ca_cb(&crt, ca_callback_fail, &ca,
782 &compat_profile, name, &flags,
783 NULL, NULL);
Jarno Lamsa557426a2019-03-27 17:08:29 +0200784
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500785 TEST_EQUAL(ret, exp_ret);
786 TEST_EQUAL(flags, (uint32_t) (-1));
Jarno Lamsa557426a2019-03-27 17:08:29 +0200787exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100788 mbedtls_x509_crt_free(&crt);
789 mbedtls_x509_crt_free(&ca);
Valerio Setti569c1712023-04-19 14:53:36 +0200790 USE_PSA_DONE();
Jarno Lamsa557426a2019-03-27 17:08:29 +0200791}
792/* END_CASE */
793
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200794/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +0100795void x509_verify_callback(char *crt_file, char *ca_file, char *name,
796 int exp_ret, char *exp_vrfy_out)
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200797{
798 int ret;
799 mbedtls_x509_crt crt;
800 mbedtls_x509_crt ca;
801 uint32_t flags = 0;
802 verify_print_context vrfy_ctx;
803
Gilles Peskine449bd832023-01-11 14:50:10 +0100804 mbedtls_x509_crt_init(&crt);
805 mbedtls_x509_crt_init(&ca);
valerio32f2ac92023-04-20 11:59:52 +0200806 MD_OR_USE_PSA_INIT();
807
Gilles Peskine449bd832023-01-11 14:50:10 +0100808 verify_print_init(&vrfy_ctx);
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200809
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500810 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
811 TEST_EQUAL(mbedtls_x509_crt_parse_file(&ca, ca_file), 0);
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200812
Gilles Peskine449bd832023-01-11 14:50:10 +0100813 if (strcmp(name, "NULL") == 0) {
Manuel Pégourié-Gonnarda6568252017-07-05 18:14:38 +0200814 name = NULL;
Gilles Peskine449bd832023-01-11 14:50:10 +0100815 }
Manuel Pégourié-Gonnarda6568252017-07-05 18:14:38 +0200816
Gilles Peskine449bd832023-01-11 14:50:10 +0100817 ret = mbedtls_x509_crt_verify_with_profile(&crt, &ca, NULL,
818 &compat_profile,
819 name, &flags,
820 verify_print, &vrfy_ctx);
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200821
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500822 TEST_EQUAL(ret, exp_ret);
823 TEST_EQUAL(strcmp(vrfy_ctx.buf, exp_vrfy_out), 0);
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200824
825exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100826 mbedtls_x509_crt_free(&crt);
827 mbedtls_x509_crt_free(&ca);
Manuel Pégourié-Gonnard33a13022023-03-17 14:02:49 +0100828 MD_OR_USE_PSA_DONE();
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200829}
830/* END_CASE */
831
Hanno Becker612a2f12020-10-09 09:19:39 +0100832/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C:!MBEDTLS_X509_REMOVE_INFO */
Gilles Peskine449bd832023-01-11 14:50:10 +0100833void mbedtls_x509_dn_gets_subject_replace(char *crt_file,
834 char *new_subject_ou,
835 char *result_str,
836 int ret)
Werner Lewis31ecb962022-06-17 15:51:55 +0100837{
838 mbedtls_x509_crt crt;
839 char buf[2000];
840 int res = 0;
841
Gilles Peskine449bd832023-01-11 14:50:10 +0100842 mbedtls_x509_crt_init(&crt);
valerio32f2ac92023-04-20 11:59:52 +0200843 USE_PSA_INIT();
844
Gilles Peskine449bd832023-01-11 14:50:10 +0100845 memset(buf, 0, 2000);
Werner Lewis31ecb962022-06-17 15:51:55 +0100846
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500847 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
Werner Lewis31ecb962022-06-17 15:51:55 +0100848 crt.subject.next->val.p = (unsigned char *) new_subject_ou;
Gilles Peskine449bd832023-01-11 14:50:10 +0100849 crt.subject.next->val.len = strlen(new_subject_ou);
Werner Lewis31ecb962022-06-17 15:51:55 +0100850
Gilles Peskine449bd832023-01-11 14:50:10 +0100851 res = mbedtls_x509_dn_gets(buf, 2000, &crt.subject);
Werner Lewis31ecb962022-06-17 15:51:55 +0100852
Gilles Peskine449bd832023-01-11 14:50:10 +0100853 if (ret != 0) {
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500854 TEST_EQUAL(res, ret);
Gilles Peskine449bd832023-01-11 14:50:10 +0100855 } else {
856 TEST_ASSERT(res != -1);
857 TEST_ASSERT(res != -2);
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500858 TEST_EQUAL(strcmp(buf, result_str), 0);
Werner Lewis31ecb962022-06-17 15:51:55 +0100859 }
860exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100861 mbedtls_x509_crt_free(&crt);
Valerio Setti569c1712023-04-19 14:53:36 +0200862 USE_PSA_DONE();
Werner Lewis31ecb962022-06-17 15:51:55 +0100863}
864/* END_CASE */
865
866/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C:!MBEDTLS_X509_REMOVE_INFO */
Gilles Peskine449bd832023-01-11 14:50:10 +0100867void mbedtls_x509_dn_gets(char *crt_file, char *entity, char *result_str)
Paul Bakker37940d9f2009-07-10 22:38:58 +0000868{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200869 mbedtls_x509_crt crt;
Paul Bakker37940d9f2009-07-10 22:38:58 +0000870 char buf[2000];
Paul Bakkerdbd443d2013-08-16 13:38:47 +0200871 int res = 0;
Paul Bakker37940d9f2009-07-10 22:38:58 +0000872
Gilles Peskine449bd832023-01-11 14:50:10 +0100873 mbedtls_x509_crt_init(&crt);
valerio32f2ac92023-04-20 11:59:52 +0200874 USE_PSA_INIT();
875
Gilles Peskine449bd832023-01-11 14:50:10 +0100876 memset(buf, 0, 2000);
Paul Bakker37940d9f2009-07-10 22:38:58 +0000877
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500878 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
Gilles Peskine449bd832023-01-11 14:50:10 +0100879 if (strcmp(entity, "subject") == 0) {
880 res = mbedtls_x509_dn_gets(buf, 2000, &crt.subject);
881 } else if (strcmp(entity, "issuer") == 0) {
882 res = mbedtls_x509_dn_gets(buf, 2000, &crt.issuer);
883 } else {
884 TEST_ASSERT("Unknown entity" == 0);
885 }
Paul Bakker37940d9f2009-07-10 22:38:58 +0000886
Gilles Peskine449bd832023-01-11 14:50:10 +0100887 TEST_ASSERT(res != -1);
888 TEST_ASSERT(res != -2);
Paul Bakker37940d9f2009-07-10 22:38:58 +0000889
Demi Marie Obenour16442cc2022-11-26 22:19:48 -0500890 TEST_EQUAL(strcmp(buf, result_str), 0);
Paul Bakkerbd51b262014-07-10 15:26:12 +0200891
892exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100893 mbedtls_x509_crt_free(&crt);
Valerio Setti569c1712023-04-19 14:53:36 +0200894 USE_PSA_DONE();
Paul Bakker37940d9f2009-07-10 22:38:58 +0000895}
Paul Bakker33b43f12013-08-20 11:48:36 +0200896/* END_CASE */
Paul Bakker37940d9f2009-07-10 22:38:58 +0000897
David Horstmanndb73d3b2022-10-04 16:49:16 +0100898/* BEGIN_CASE depends_on:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +0100899void mbedtls_x509_get_name(char *rdn_sequence, int exp_ret)
David Horstmanndb73d3b2022-10-04 16:49:16 +0100900{
valerioe50831c2023-04-20 14:48:19 +0200901 unsigned char *name = NULL;
David Horstmanndb73d3b2022-10-04 16:49:16 +0100902 unsigned char *p;
903 size_t name_len;
David Horstmann2bb9c8a2022-10-20 10:18:37 +0100904 mbedtls_x509_name head;
David Horstmann3cd67582022-10-17 17:59:10 +0100905 int ret;
David Horstmanndb73d3b2022-10-04 16:49:16 +0100906
Valerio Setti569c1712023-04-19 14:53:36 +0200907 USE_PSA_INIT();
Gilles Peskine449bd832023-01-11 14:50:10 +0100908 memset(&head, 0, sizeof(head));
David Horstmann2bb9c8a2022-10-20 10:18:37 +0100909
Gilles Peskine449bd832023-01-11 14:50:10 +0100910 name = mbedtls_test_unhexify_alloc(rdn_sequence, &name_len);
David Horstmanndb73d3b2022-10-04 16:49:16 +0100911 p = name;
912
Gilles Peskine449bd832023-01-11 14:50:10 +0100913 ret = mbedtls_x509_get_name(&p, (name + name_len), &head);
914 if (ret == 0) {
915 mbedtls_asn1_free_named_data_list_shallow(head.next);
916 }
David Horstmanndb73d3b2022-10-04 16:49:16 +0100917
Gilles Peskine449bd832023-01-11 14:50:10 +0100918 TEST_EQUAL(ret, exp_ret);
David Horstmanndb73d3b2022-10-04 16:49:16 +0100919
valerio32f2ac92023-04-20 11:59:52 +0200920exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100921 mbedtls_free(name);
Valerio Setti569c1712023-04-19 14:53:36 +0200922 USE_PSA_DONE();
David Horstmanndb73d3b2022-10-04 16:49:16 +0100923}
924/* END_CASE */
925
Werner Lewisb3acb052022-06-17 15:59:58 +0100926/* BEGIN_CASE depends_on:MBEDTLS_X509_CREATE_C:MBEDTLS_X509_USE_C:MBEDTLS_X509_CRT_PARSE_C:!MBEDTLS_X509_REMOVE_INFO */
Gilles Peskine449bd832023-01-11 14:50:10 +0100927void mbedtls_x509_dn_get_next(char *name_str,
928 int next_merged,
929 char *expected_oids,
930 int exp_count,
931 char *exp_dn_gets)
Werner Lewisb3acb052022-06-17 15:59:58 +0100932{
933 int ret = 0, i;
Werner Lewisac80a662022-06-23 11:58:02 +0100934 size_t len = 0, out_size;
Werner Lewisb3acb052022-06-17 15:59:58 +0100935 mbedtls_asn1_named_data *names = NULL;
Glenn Straussa4b40412022-06-26 19:32:09 -0400936 mbedtls_x509_name parsed, *parsed_cur;
Werner Lewisac80a662022-06-23 11:58:02 +0100937 // Size of buf is maximum required for test cases
938 unsigned char buf[80], *out = NULL, *c;
Werner Lewisb3acb052022-06-17 15:59:58 +0100939 const char *short_name;
940
Valerio Setti569c1712023-04-19 14:53:36 +0200941 USE_PSA_INIT();
Gilles Peskine449bd832023-01-11 14:50:10 +0100942 memset(&parsed, 0, sizeof(parsed));
943 memset(buf, 0, sizeof(buf));
944 c = buf + sizeof(buf);
Werner Lewisac80a662022-06-23 11:58:02 +0100945 // Additional size required for trailing space
Gilles Peskine449bd832023-01-11 14:50:10 +0100946 out_size = strlen(expected_oids) + 2;
947 ASSERT_ALLOC(out, out_size);
Werner Lewisb3acb052022-06-17 15:59:58 +0100948
Gilles Peskine449bd832023-01-11 14:50:10 +0100949 TEST_EQUAL(mbedtls_x509_string_to_names(&names, name_str), 0);
Werner Lewisb3acb052022-06-17 15:59:58 +0100950
Gilles Peskine449bd832023-01-11 14:50:10 +0100951 ret = mbedtls_x509_write_names(&c, buf, names);
952 TEST_LE_S(0, ret);
Werner Lewisb3acb052022-06-17 15:59:58 +0100953
Gilles Peskine449bd832023-01-11 14:50:10 +0100954 TEST_EQUAL(mbedtls_asn1_get_tag(&c, buf + sizeof(buf), &len,
955 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE), 0);
956 TEST_EQUAL(mbedtls_x509_get_name(&c, buf + sizeof(buf), &parsed), 0);
Werner Lewisb3acb052022-06-17 15:59:58 +0100957
958 // Iterate over names and set next_merged nodes
959 parsed_cur = &parsed;
Gilles Peskine449bd832023-01-11 14:50:10 +0100960 for (; next_merged != 0 && parsed_cur != NULL; next_merged = next_merged >> 1) {
Werner Lewis12657cd2022-06-20 11:47:57 +0100961 parsed_cur->next_merged = next_merged & 0x01;
Werner Lewisb3acb052022-06-17 15:59:58 +0100962 parsed_cur = parsed_cur->next;
963 }
964
965 // Iterate over RDN nodes and print OID of first element to buffer
966 parsed_cur = &parsed;
967 len = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100968 for (i = 0; parsed_cur != NULL; i++) {
969 TEST_EQUAL(mbedtls_oid_get_attr_short_name(&parsed_cur->oid,
970 &short_name), 0);
971 len += mbedtls_snprintf((char *) out + len, out_size - len, "%s ", short_name);
972 parsed_cur = mbedtls_x509_dn_get_next(parsed_cur);
Werner Lewisb3acb052022-06-17 15:59:58 +0100973 }
974 out[len-1] = 0;
975
Gilles Peskine449bd832023-01-11 14:50:10 +0100976 TEST_EQUAL(exp_count, i);
977 TEST_EQUAL(strcmp((char *) out, expected_oids), 0);
978 mbedtls_free(out);
Werner Lewisac80a662022-06-23 11:58:02 +0100979 out = NULL;
Werner Lewisb3acb052022-06-17 15:59:58 +0100980
Gilles Peskine449bd832023-01-11 14:50:10 +0100981 out_size = strlen(exp_dn_gets) + 1;
982 ASSERT_ALLOC(out, out_size);
Werner Lewisac80a662022-06-23 11:58:02 +0100983
Gilles Peskine449bd832023-01-11 14:50:10 +0100984 TEST_LE_S(0, mbedtls_x509_dn_gets((char *) out, out_size, &parsed));
985 TEST_EQUAL(strcmp((char *) out, exp_dn_gets), 0);
Werner Lewisb3acb052022-06-17 15:59:58 +0100986exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100987 mbedtls_free(out);
988 mbedtls_asn1_free_named_data_list(&names);
989 mbedtls_asn1_free_named_data_list_shallow(parsed.next);
Valerio Setti569c1712023-04-19 14:53:36 +0200990 USE_PSA_DONE();
Werner Lewisb3acb052022-06-17 15:59:58 +0100991}
Werner Lewisb3acb052022-06-17 15:59:58 +0100992/* END_CASE */
993
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200994/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +0100995void mbedtls_x509_time_is_past(char *crt_file, char *entity, int result)
Paul Bakker37940d9f2009-07-10 22:38:58 +0000996{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200997 mbedtls_x509_crt crt;
Paul Bakker37940d9f2009-07-10 22:38:58 +0000998
Gilles Peskine449bd832023-01-11 14:50:10 +0100999 mbedtls_x509_crt_init(&crt);
valerio32f2ac92023-04-20 11:59:52 +02001000 USE_PSA_INIT();
Paul Bakker37940d9f2009-07-10 22:38:58 +00001001
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001002 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
Paul Bakkerdbd443d2013-08-16 13:38:47 +02001003
Gilles Peskine449bd832023-01-11 14:50:10 +01001004 if (strcmp(entity, "valid_from") == 0) {
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001005 TEST_EQUAL(mbedtls_x509_time_is_past(&crt.valid_from), result);
Gilles Peskine449bd832023-01-11 14:50:10 +01001006 } else if (strcmp(entity, "valid_to") == 0) {
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001007 TEST_EQUAL(mbedtls_x509_time_is_past(&crt.valid_to), result);
Gilles Peskine449bd832023-01-11 14:50:10 +01001008 } else {
1009 TEST_ASSERT("Unknown entity" == 0);
1010 }
Paul Bakkerb08e6842012-02-11 18:43:20 +00001011
Paul Bakkerbd51b262014-07-10 15:26:12 +02001012exit:
Gilles Peskine449bd832023-01-11 14:50:10 +01001013 mbedtls_x509_crt_free(&crt);
Valerio Setti569c1712023-04-19 14:53:36 +02001014 USE_PSA_DONE();
Paul Bakker37940d9f2009-07-10 22:38:58 +00001015}
Paul Bakker33b43f12013-08-20 11:48:36 +02001016/* END_CASE */
Paul Bakker37940d9f2009-07-10 22:38:58 +00001017
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001018/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +01001019void mbedtls_x509_time_is_future(char *crt_file, char *entity, int result)
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +01001020{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001021 mbedtls_x509_crt crt;
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +01001022
Gilles Peskine449bd832023-01-11 14:50:10 +01001023 mbedtls_x509_crt_init(&crt);
valerio32f2ac92023-04-20 11:59:52 +02001024 USE_PSA_INIT();
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +01001025
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001026 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +01001027
Gilles Peskine449bd832023-01-11 14:50:10 +01001028 if (strcmp(entity, "valid_from") == 0) {
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001029 TEST_EQUAL(mbedtls_x509_time_is_future(&crt.valid_from), result);
Gilles Peskine449bd832023-01-11 14:50:10 +01001030 } else if (strcmp(entity, "valid_to") == 0) {
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001031 TEST_EQUAL(mbedtls_x509_time_is_future(&crt.valid_to), result);
Gilles Peskine449bd832023-01-11 14:50:10 +01001032 } else {
1033 TEST_ASSERT("Unknown entity" == 0);
1034 }
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +01001035
Paul Bakkerbd51b262014-07-10 15:26:12 +02001036exit:
Gilles Peskine449bd832023-01-11 14:50:10 +01001037 mbedtls_x509_crt_free(&crt);
Valerio Setti569c1712023-04-19 14:53:36 +02001038 USE_PSA_DONE();
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +01001039}
1040/* END_CASE */
1041
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001042/* BEGIN_CASE depends_on:MBEDTLS_X509_CRT_PARSE_C:MBEDTLS_FS_IO */
Gilles Peskine449bd832023-01-11 14:50:10 +01001043void x509parse_crt_file(char *crt_file, int result)
Paul Bakker5a5fa922014-09-26 14:53:04 +02001044{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001045 mbedtls_x509_crt crt;
Paul Bakker5a5fa922014-09-26 14:53:04 +02001046
Gilles Peskine449bd832023-01-11 14:50:10 +01001047 mbedtls_x509_crt_init(&crt);
valerio32f2ac92023-04-20 11:59:52 +02001048 USE_PSA_INIT();
Paul Bakker5a5fa922014-09-26 14:53:04 +02001049
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001050 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), result);
Paul Bakker5a5fa922014-09-26 14:53:04 +02001051
1052exit:
Gilles Peskine449bd832023-01-11 14:50:10 +01001053 mbedtls_x509_crt_free(&crt);
Valerio Setti569c1712023-04-19 14:53:36 +02001054 USE_PSA_DONE();
Paul Bakker5a5fa922014-09-26 14:53:04 +02001055}
1056/* END_CASE */
1057
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001058/* BEGIN_CASE depends_on:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +01001059void x509parse_crt(data_t *buf, char *result_str, int result)
Paul Bakkerb2c38f52009-07-19 19:36:15 +00001060{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001061 mbedtls_x509_crt crt;
Hanno Becker612a2f12020-10-09 09:19:39 +01001062#if !defined(MBEDTLS_X509_REMOVE_INFO)
Hanno Beckerfff2d572020-10-09 09:45:19 +01001063 unsigned char output[2000] = { 0 };
Azim Khanf1aaec92017-05-30 14:23:15 +01001064 int res;
Hanno Beckerb4e5ddc2020-10-09 09:36:01 +01001065#else
1066 ((void) result_str);
Peter Kolbus9a969b62018-12-11 13:55:56 -06001067#endif
Paul Bakkerb2c38f52009-07-19 19:36:15 +00001068
Gilles Peskine449bd832023-01-11 14:50:10 +01001069 mbedtls_x509_crt_init(&crt);
valerio32f2ac92023-04-20 11:59:52 +02001070 USE_PSA_INIT();
Paul Bakkerb2c38f52009-07-19 19:36:15 +00001071
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001072 TEST_EQUAL(mbedtls_x509_crt_parse_der(&crt, buf->x, buf->len), result);
Hanno Becker612a2f12020-10-09 09:19:39 +01001073#if !defined(MBEDTLS_X509_REMOVE_INFO)
Gilles Peskine449bd832023-01-11 14:50:10 +01001074 if ((result) == 0) {
1075 res = mbedtls_x509_crt_info((char *) output, 2000, "", &crt);
1076 TEST_ASSERT(res != -1);
1077 TEST_ASSERT(res != -2);
Hanno Becker2d8a2c02019-01-31 09:15:53 +00001078
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001079 TEST_EQUAL(strcmp((char *) output, result_str), 0);
Hanno Becker2d8a2c02019-01-31 09:15:53 +00001080 }
Gilles Peskine449bd832023-01-11 14:50:10 +01001081 memset(output, 0, 2000);
Peter Kolbus9a969b62018-12-11 13:55:56 -06001082#endif
Hanno Becker2d8a2c02019-01-31 09:15:53 +00001083
Gilles Peskine449bd832023-01-11 14:50:10 +01001084 mbedtls_x509_crt_free(&crt);
1085 mbedtls_x509_crt_init(&crt);
Hanno Becker2d8a2c02019-01-31 09:15:53 +00001086
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001087 TEST_EQUAL(mbedtls_x509_crt_parse_der_nocopy(&crt, buf->x, buf->len), result);
Hanno Becker612a2f12020-10-09 09:19:39 +01001088#if !defined(MBEDTLS_X509_REMOVE_INFO)
Gilles Peskine449bd832023-01-11 14:50:10 +01001089 if ((result) == 0) {
1090 memset(output, 0, 2000);
Peter Kolbus9a969b62018-12-11 13:55:56 -06001091
Gilles Peskine449bd832023-01-11 14:50:10 +01001092 res = mbedtls_x509_crt_info((char *) output, 2000, "", &crt);
Paul Bakker33b43f12013-08-20 11:48:36 +02001093
Gilles Peskine449bd832023-01-11 14:50:10 +01001094 TEST_ASSERT(res != -1);
1095 TEST_ASSERT(res != -2);
Paul Bakkerb2c38f52009-07-19 19:36:15 +00001096
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001097 TEST_EQUAL(strcmp((char *) output, result_str), 0);
Paul Bakkerb2c38f52009-07-19 19:36:15 +00001098 }
Gilles Peskine449bd832023-01-11 14:50:10 +01001099 memset(output, 0, 2000);
Hanno Beckerb4e5ddc2020-10-09 09:36:01 +01001100#endif /* !MBEDTLS_X509_REMOVE_INFO */
Paul Bakkerb08e6842012-02-11 18:43:20 +00001101
Gilles Peskine449bd832023-01-11 14:50:10 +01001102 mbedtls_x509_crt_free(&crt);
1103 mbedtls_x509_crt_init(&crt);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001104
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001105 TEST_EQUAL(mbedtls_x509_crt_parse_der_with_ext_cb(&crt, buf->x, buf->len, 0, NULL, NULL),
1106 result);
Hanno Beckerb4e5ddc2020-10-09 09:36:01 +01001107#if !defined(MBEDTLS_X509_REMOVE_INFO)
Gilles Peskine449bd832023-01-11 14:50:10 +01001108 if ((result) == 0) {
1109 res = mbedtls_x509_crt_info((char *) output, 2000, "", &crt);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001110
Gilles Peskine449bd832023-01-11 14:50:10 +01001111 TEST_ASSERT(res != -1);
1112 TEST_ASSERT(res != -2);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001113
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001114 TEST_EQUAL(strcmp((char *) output, result_str), 0);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001115 }
Gilles Peskine449bd832023-01-11 14:50:10 +01001116 memset(output, 0, 2000);
Hanno Beckerb4e5ddc2020-10-09 09:36:01 +01001117#endif /* !MBEDTLS_X509_REMOVE_INFO */
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001118
Gilles Peskine449bd832023-01-11 14:50:10 +01001119 mbedtls_x509_crt_free(&crt);
1120 mbedtls_x509_crt_init(&crt);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001121
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001122 TEST_EQUAL(mbedtls_x509_crt_parse_der_with_ext_cb(&crt, buf->x, buf->len, 1, NULL, NULL),
1123 result);
Hanno Beckerb4e5ddc2020-10-09 09:36:01 +01001124#if !defined(MBEDTLS_X509_REMOVE_INFO)
Gilles Peskine449bd832023-01-11 14:50:10 +01001125 if ((result) == 0) {
1126 res = mbedtls_x509_crt_info((char *) output, 2000, "", &crt);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001127
Gilles Peskine449bd832023-01-11 14:50:10 +01001128 TEST_ASSERT(res != -1);
1129 TEST_ASSERT(res != -2);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001130
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001131 TEST_EQUAL(strcmp((char *) output, result_str), 0);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001132 }
Hanno Beckerb4e5ddc2020-10-09 09:36:01 +01001133#endif /* !MBEDTLS_X509_REMOVE_INFO */
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001134
1135exit:
Gilles Peskine449bd832023-01-11 14:50:10 +01001136 mbedtls_x509_crt_free(&crt);
Valerio Setti569c1712023-04-19 14:53:36 +02001137 USE_PSA_DONE();
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001138}
1139/* END_CASE */
1140
1141/* BEGIN_CASE depends_on:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +01001142void x509parse_crt_cb(data_t *buf, char *result_str, int result)
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001143{
1144 mbedtls_x509_crt crt;
Nicola Di Lietoe58b4632020-05-29 22:58:25 +02001145 mbedtls_x509_buf oid;
Hanno Beckerfff2d572020-10-09 09:45:19 +01001146
1147#if !defined(MBEDTLS_X509_REMOVE_INFO)
1148 unsigned char output[2000] = { 0 };
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001149 int res;
Hanno Beckerfff2d572020-10-09 09:45:19 +01001150#else
1151 ((void) result_str);
1152#endif
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001153
Nicola Di Lietoe58b4632020-05-29 22:58:25 +02001154 oid.tag = MBEDTLS_ASN1_OID;
1155 oid.len = MBEDTLS_OID_SIZE(MBEDTLS_OID_PKIX "\x01\x1F");
Gilles Peskine449bd832023-01-11 14:50:10 +01001156 oid.p = (unsigned char *) MBEDTLS_OID_PKIX "\x01\x1F";
Nicola Di Lietoe58b4632020-05-29 22:58:25 +02001157
Gilles Peskine449bd832023-01-11 14:50:10 +01001158 mbedtls_x509_crt_init(&crt);
valerio32f2ac92023-04-20 11:59:52 +02001159 USE_PSA_INIT();
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001160
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001161 TEST_EQUAL(mbedtls_x509_crt_parse_der_with_ext_cb(&crt, buf->x, buf->len, 0, parse_crt_ext_cb,
1162 &oid), result);
Hanno Beckerfff2d572020-10-09 09:45:19 +01001163#if !defined(MBEDTLS_X509_REMOVE_INFO)
Gilles Peskine449bd832023-01-11 14:50:10 +01001164 if ((result) == 0) {
1165 res = mbedtls_x509_crt_info((char *) output, 2000, "", &crt);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001166
Gilles Peskine449bd832023-01-11 14:50:10 +01001167 TEST_ASSERT(res != -1);
1168 TEST_ASSERT(res != -2);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001169
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001170 TEST_EQUAL(strcmp((char *) output, result_str), 0);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001171 }
Gilles Peskine449bd832023-01-11 14:50:10 +01001172 memset(output, 0, 2000);
Hanno Beckerfff2d572020-10-09 09:45:19 +01001173#endif /* !MBEDTLS_X509_REMOVE_INFO */
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001174
Gilles Peskine449bd832023-01-11 14:50:10 +01001175 mbedtls_x509_crt_free(&crt);
1176 mbedtls_x509_crt_init(&crt);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001177
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001178 TEST_EQUAL(mbedtls_x509_crt_parse_der_with_ext_cb(&crt, buf->x, buf->len, 1, parse_crt_ext_cb,
1179 &oid), (result));
Hanno Beckerfff2d572020-10-09 09:45:19 +01001180#if !defined(MBEDTLS_X509_REMOVE_INFO)
Gilles Peskine449bd832023-01-11 14:50:10 +01001181 if ((result) == 0) {
1182 res = mbedtls_x509_crt_info((char *) output, 2000, "", &crt);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001183
Gilles Peskine449bd832023-01-11 14:50:10 +01001184 TEST_ASSERT(res != -1);
1185 TEST_ASSERT(res != -2);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001186
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001187 TEST_EQUAL(strcmp((char *) output, result_str), 0);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001188 }
Hanno Beckerfff2d572020-10-09 09:45:19 +01001189#endif /* !MBEDTLS_X509_REMOVE_INFO */
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001190
Paul Bakkerbd51b262014-07-10 15:26:12 +02001191exit:
Gilles Peskine449bd832023-01-11 14:50:10 +01001192 mbedtls_x509_crt_free(&crt);
Valerio Setti569c1712023-04-19 14:53:36 +02001193 USE_PSA_DONE();
Paul Bakkerb2c38f52009-07-19 19:36:15 +00001194}
Paul Bakker33b43f12013-08-20 11:48:36 +02001195/* END_CASE */
Paul Bakkerb2c38f52009-07-19 19:36:15 +00001196
Hanno Becker612a2f12020-10-09 09:19:39 +01001197/* BEGIN_CASE depends_on:MBEDTLS_X509_CRL_PARSE_C:!MBEDTLS_X509_REMOVE_INFO */
Gilles Peskine449bd832023-01-11 14:50:10 +01001198void x509parse_crl(data_t *buf, char *result_str, int result)
Paul Bakker6b0fa4f2009-07-20 20:35:41 +00001199{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001200 mbedtls_x509_crl crl;
Paul Bakker6b0fa4f2009-07-20 20:35:41 +00001201 unsigned char output[2000];
Azim Khanf1aaec92017-05-30 14:23:15 +01001202 int res;
Paul Bakker6b0fa4f2009-07-20 20:35:41 +00001203
Gilles Peskine449bd832023-01-11 14:50:10 +01001204 mbedtls_x509_crl_init(&crl);
valerio32f2ac92023-04-20 11:59:52 +02001205 USE_PSA_INIT();
1206
Gilles Peskine449bd832023-01-11 14:50:10 +01001207 memset(output, 0, 2000);
Paul Bakker6b0fa4f2009-07-20 20:35:41 +00001208
Paul Bakker6b0fa4f2009-07-20 20:35:41 +00001209
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001210 TEST_EQUAL(mbedtls_x509_crl_parse(&crl, buf->x, buf->len), (result));
Gilles Peskine449bd832023-01-11 14:50:10 +01001211 if ((result) == 0) {
1212 res = mbedtls_x509_crl_info((char *) output, 2000, "", &crl);
Paul Bakker33b43f12013-08-20 11:48:36 +02001213
Gilles Peskine449bd832023-01-11 14:50:10 +01001214 TEST_ASSERT(res != -1);
1215 TEST_ASSERT(res != -2);
Paul Bakker6b0fa4f2009-07-20 20:35:41 +00001216
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001217 TEST_EQUAL(strcmp((char *) output, result_str), 0);
Paul Bakker6b0fa4f2009-07-20 20:35:41 +00001218 }
Paul Bakkerb08e6842012-02-11 18:43:20 +00001219
Paul Bakkerbd51b262014-07-10 15:26:12 +02001220exit:
Gilles Peskine449bd832023-01-11 14:50:10 +01001221 mbedtls_x509_crl_free(&crl);
Valerio Setti569c1712023-04-19 14:53:36 +02001222 USE_PSA_DONE();
Paul Bakker6b0fa4f2009-07-20 20:35:41 +00001223}
Paul Bakker33b43f12013-08-20 11:48:36 +02001224/* END_CASE */
Paul Bakker6b0fa4f2009-07-20 20:35:41 +00001225
Hanno Becker612a2f12020-10-09 09:19:39 +01001226/* BEGIN_CASE depends_on:MBEDTLS_X509_CSR_PARSE_C:!MBEDTLS_X509_REMOVE_INFO */
Gilles Peskine449bd832023-01-11 14:50:10 +01001227void mbedtls_x509_csr_parse(data_t *csr_der, char *ref_out, int ref_ret)
Manuel Pégourié-Gonnardd77cd5d2014-06-13 11:13:15 +02001228{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001229 mbedtls_x509_csr csr;
Manuel Pégourié-Gonnardd77cd5d2014-06-13 11:13:15 +02001230 char my_out[1000];
Manuel Pégourié-Gonnardd77cd5d2014-06-13 11:13:15 +02001231 int my_ret;
1232
Gilles Peskine449bd832023-01-11 14:50:10 +01001233 mbedtls_x509_csr_init(&csr);
valerio32f2ac92023-04-20 11:59:52 +02001234 USE_PSA_INIT();
1235
Gilles Peskine449bd832023-01-11 14:50:10 +01001236 memset(my_out, 0, sizeof(my_out));
Manuel Pégourié-Gonnardd77cd5d2014-06-13 11:13:15 +02001237
Gilles Peskine449bd832023-01-11 14:50:10 +01001238 my_ret = mbedtls_x509_csr_parse_der(&csr, csr_der->x, csr_der->len);
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001239 TEST_EQUAL(my_ret, ref_ret);
Manuel Pégourié-Gonnardd77cd5d2014-06-13 11:13:15 +02001240
Gilles Peskine449bd832023-01-11 14:50:10 +01001241 if (ref_ret == 0) {
1242 size_t my_out_len = mbedtls_x509_csr_info(my_out, sizeof(my_out), "", &csr);
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001243 TEST_EQUAL(my_out_len, strlen(ref_out));
1244 TEST_EQUAL(strcmp(my_out, ref_out), 0);
Manuel Pégourié-Gonnardd77cd5d2014-06-13 11:13:15 +02001245 }
1246
Paul Bakkerbd51b262014-07-10 15:26:12 +02001247exit:
Gilles Peskine449bd832023-01-11 14:50:10 +01001248 mbedtls_x509_csr_free(&csr);
Valerio Setti569c1712023-04-19 14:53:36 +02001249 USE_PSA_DONE();
Manuel Pégourié-Gonnardd77cd5d2014-06-13 11:13:15 +02001250}
1251/* END_CASE */
1252
Przemek Stekield7992df2023-01-25 16:19:50 +01001253/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CSR_PARSE_C:!MBEDTLS_X509_REMOVE_INFO */
1254void mbedtls_x509_csr_parse_file(char *csr_file, char *ref_out, int ref_ret)
1255{
1256 mbedtls_x509_csr csr;
1257 char my_out[1000];
1258 int my_ret;
1259
1260 mbedtls_x509_csr_init(&csr);
valerio32f2ac92023-04-20 11:59:52 +02001261 USE_PSA_INIT();
1262
Przemek Stekield7992df2023-01-25 16:19:50 +01001263 memset(my_out, 0, sizeof(my_out));
1264
1265 my_ret = mbedtls_x509_csr_parse_file(&csr, csr_file);
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001266 TEST_EQUAL(my_ret, ref_ret);
Przemek Stekield7992df2023-01-25 16:19:50 +01001267
1268 if (ref_ret == 0) {
1269 size_t my_out_len = mbedtls_x509_csr_info(my_out, sizeof(my_out), "", &csr);
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001270 TEST_EQUAL(my_out_len, strlen(ref_out));
1271 TEST_EQUAL(strcmp(my_out, ref_out), 0);
Przemek Stekield7992df2023-01-25 16:19:50 +01001272 }
1273
1274exit:
1275 mbedtls_x509_csr_free(&csr);
Valerio Setti569c1712023-04-19 14:53:36 +02001276 USE_PSA_DONE();
Przemek Stekield7992df2023-01-25 16:19:50 +01001277}
1278/* END_CASE */
1279
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001280/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +01001281void mbedtls_x509_crt_parse_path(char *crt_path, int ret, int nb_crt)
Manuel Pégourié-Gonnardfbae2a12013-11-26 16:43:39 +01001282{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001283 mbedtls_x509_crt chain, *cur;
Manuel Pégourié-Gonnardfbae2a12013-11-26 16:43:39 +01001284 int i;
1285
Gilles Peskine449bd832023-01-11 14:50:10 +01001286 mbedtls_x509_crt_init(&chain);
valerio32f2ac92023-04-20 11:59:52 +02001287 USE_PSA_INIT();
Manuel Pégourié-Gonnardfbae2a12013-11-26 16:43:39 +01001288
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001289 TEST_EQUAL(mbedtls_x509_crt_parse_path(&chain, crt_path), ret);
Manuel Pégourié-Gonnardfbae2a12013-11-26 16:43:39 +01001290
1291 /* Check how many certs we got */
Gilles Peskine449bd832023-01-11 14:50:10 +01001292 for (i = 0, cur = &chain; cur != NULL; cur = cur->next) {
1293 if (cur->raw.p != NULL) {
Manuel Pégourié-Gonnardfbae2a12013-11-26 16:43:39 +01001294 i++;
Gilles Peskine449bd832023-01-11 14:50:10 +01001295 }
1296 }
Manuel Pégourié-Gonnardfbae2a12013-11-26 16:43:39 +01001297
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001298 TEST_EQUAL(i, nb_crt);
Manuel Pégourié-Gonnardfbae2a12013-11-26 16:43:39 +01001299
Paul Bakkerbd51b262014-07-10 15:26:12 +02001300exit:
Gilles Peskine449bd832023-01-11 14:50:10 +01001301 mbedtls_x509_crt_free(&chain);
Valerio Setti569c1712023-04-19 14:53:36 +02001302 USE_PSA_DONE();
Manuel Pégourié-Gonnardfbae2a12013-11-26 16:43:39 +01001303}
1304/* END_CASE */
1305
Janos Follath822b2c32015-10-11 10:25:22 +02001306/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +01001307void mbedtls_x509_crt_verify_max(char *ca_file, char *chain_dir, int nb_int,
1308 int ret_chk, int flags_chk)
Manuel Pégourié-Gonnard1beb0482017-06-05 13:49:44 +02001309{
1310 char file_buf[128];
1311 int ret;
1312 uint32_t flags;
1313 mbedtls_x509_crt trusted, chain;
1314
1315 /*
1316 * We expect chain_dir to contain certificates 00.crt, 01.crt, etc.
1317 * with NN.crt signed by NN-1.crt
1318 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001319 mbedtls_x509_crt_init(&trusted);
1320 mbedtls_x509_crt_init(&chain);
valerio32f2ac92023-04-20 11:59:52 +02001321 MD_OR_USE_PSA_INIT();
Manuel Pégourié-Gonnard1beb0482017-06-05 13:49:44 +02001322
1323 /* Load trusted root */
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001324 TEST_EQUAL(mbedtls_x509_crt_parse_file(&trusted, ca_file), 0);
Manuel Pégourié-Gonnard1beb0482017-06-05 13:49:44 +02001325
1326 /* Load a chain with nb_int intermediates (from 01 to nb_int),
1327 * plus one "end-entity" cert (nb_int + 1) */
Dave Rodgman6dd757a2023-02-02 12:40:50 +00001328 ret = mbedtls_snprintf(file_buf, sizeof(file_buf), "%s/c%02d.pem", chain_dir,
Gilles Peskine449bd832023-01-11 14:50:10 +01001329 nb_int + 1);
Dave Rodgman6dd757a2023-02-02 12:40:50 +00001330 TEST_ASSERT(ret > 0 && (size_t) ret < sizeof(file_buf));
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001331 TEST_EQUAL(mbedtls_x509_crt_parse_file(&chain, file_buf), 0);
Manuel Pégourié-Gonnard1beb0482017-06-05 13:49:44 +02001332
1333 /* Try to verify that chain */
Gilles Peskine449bd832023-01-11 14:50:10 +01001334 ret = mbedtls_x509_crt_verify(&chain, &trusted, NULL, NULL, &flags,
1335 NULL, NULL);
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001336 TEST_EQUAL(ret, ret_chk);
1337 TEST_EQUAL(flags, (uint32_t) flags_chk);
Manuel Pégourié-Gonnard1beb0482017-06-05 13:49:44 +02001338
1339exit:
Gilles Peskine449bd832023-01-11 14:50:10 +01001340 mbedtls_x509_crt_free(&chain);
1341 mbedtls_x509_crt_free(&trusted);
Manuel Pégourié-Gonnard33a13022023-03-17 14:02:49 +01001342 MD_OR_USE_PSA_DONE();
Manuel Pégourié-Gonnard1beb0482017-06-05 13:49:44 +02001343}
1344/* END_CASE */
1345
1346/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +01001347void mbedtls_x509_crt_verify_chain(char *chain_paths, char *trusted_ca,
1348 int flags_result, int result,
1349 char *profile_name, int vrfy_fatal_lvls)
Janos Follath822b2c32015-10-11 10:25:22 +02001350{
Gilles Peskine449bd832023-01-11 14:50:10 +01001351 char *act;
Janos Follath822b2c32015-10-11 10:25:22 +02001352 uint32_t flags;
Manuel Pégourié-Gonnarde54931f2017-05-22 12:04:25 +02001353 int res;
Manuel Pégourié-Gonnarde670f902015-10-30 09:23:19 +01001354 mbedtls_x509_crt trusted, chain;
Manuel Pégourié-Gonnarde54931f2017-05-22 12:04:25 +02001355 const mbedtls_x509_crt_profile *profile = NULL;
Janos Follathef4f2582015-10-11 16:17:27 +02001356
Gilles Peskine449bd832023-01-11 14:50:10 +01001357 mbedtls_x509_crt_init(&chain);
1358 mbedtls_x509_crt_init(&trusted);
valerio32f2ac92023-04-20 11:59:52 +02001359 MD_OR_USE_PSA_INIT();
Janos Follath822b2c32015-10-11 10:25:22 +02001360
Gilles Peskine449bd832023-01-11 14:50:10 +01001361 while ((act = mystrsep(&chain_paths, " ")) != NULL) {
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001362 TEST_EQUAL(mbedtls_x509_crt_parse_file(&chain, act), 0);
Gilles Peskine449bd832023-01-11 14:50:10 +01001363 }
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001364 TEST_EQUAL(mbedtls_x509_crt_parse_file(&trusted, trusted_ca), 0);
Janos Follath822b2c32015-10-11 10:25:22 +02001365
Gilles Peskine449bd832023-01-11 14:50:10 +01001366 if (strcmp(profile_name, "") == 0) {
Manuel Pégourié-Gonnarde54931f2017-05-22 12:04:25 +02001367 profile = &mbedtls_x509_crt_profile_default;
Gilles Peskine449bd832023-01-11 14:50:10 +01001368 } else if (strcmp(profile_name, "next") == 0) {
Manuel Pégourié-Gonnarde54931f2017-05-22 12:04:25 +02001369 profile = &mbedtls_x509_crt_profile_next;
Gilles Peskine449bd832023-01-11 14:50:10 +01001370 } else if (strcmp(profile_name, "suiteb") == 0) {
Manuel Pégourié-Gonnarde54931f2017-05-22 12:04:25 +02001371 profile = &mbedtls_x509_crt_profile_suiteb;
Gilles Peskine449bd832023-01-11 14:50:10 +01001372 } else if (strcmp(profile_name, "rsa3072") == 0) {
Manuel Pégourié-Gonnard6622fed2017-05-23 11:29:29 +02001373 profile = &profile_rsa3072;
Gilles Peskine449bd832023-01-11 14:50:10 +01001374 } else if (strcmp(profile_name, "sha512") == 0) {
Manuel Pégourié-Gonnard6622fed2017-05-23 11:29:29 +02001375 profile = &profile_sha512;
Gilles Peskine449bd832023-01-11 14:50:10 +01001376 }
Manuel Pégourié-Gonnarde54931f2017-05-22 12:04:25 +02001377
Gilles Peskine449bd832023-01-11 14:50:10 +01001378 res = mbedtls_x509_crt_verify_with_profile(&chain, &trusted, NULL, profile,
1379 NULL, &flags, verify_fatal, &vrfy_fatal_lvls);
Janos Follathef4f2582015-10-11 16:17:27 +02001380
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001381 TEST_EQUAL(res, (result));
1382 TEST_EQUAL(flags, (uint32_t) (flags_result));
Janos Follath822b2c32015-10-11 10:25:22 +02001383
1384exit:
Gilles Peskine449bd832023-01-11 14:50:10 +01001385 mbedtls_x509_crt_free(&trusted);
1386 mbedtls_x509_crt_free(&chain);
Manuel Pégourié-Gonnard33a13022023-03-17 14:02:49 +01001387 MD_OR_USE_PSA_DONE();
Janos Follath822b2c32015-10-11 10:25:22 +02001388}
1389/* END_CASE */
1390
Hanno Becker612a2f12020-10-09 09:19:39 +01001391/* BEGIN_CASE depends_on:MBEDTLS_X509_USE_C:!MBEDTLS_X509_REMOVE_INFO */
Gilles Peskine449bd832023-01-11 14:50:10 +01001392void x509_oid_desc(data_t *buf, char *ref_desc)
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001393{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001394 mbedtls_x509_buf oid;
Manuel Pégourié-Gonnard48d3cef2015-03-20 18:14:26 +00001395 const char *desc = NULL;
Manuel Pégourié-Gonnard48d3cef2015-03-20 18:14:26 +00001396 int ret;
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001397
Valerio Setti569c1712023-04-19 14:53:36 +02001398 USE_PSA_INIT();
valerio32f2ac92023-04-20 11:59:52 +02001399
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001400 oid.tag = MBEDTLS_ASN1_OID;
Azim Khand30ca132017-06-09 04:32:58 +01001401 oid.p = buf->x;
1402 oid.len = buf->len;
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001403
Gilles Peskine449bd832023-01-11 14:50:10 +01001404 ret = mbedtls_oid_get_extended_key_usage(&oid, &desc);
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001405
Gilles Peskine449bd832023-01-11 14:50:10 +01001406 if (strcmp(ref_desc, "notfound") == 0) {
1407 TEST_ASSERT(ret != 0);
1408 TEST_ASSERT(desc == NULL);
1409 } else {
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001410 TEST_EQUAL(ret, 0);
Gilles Peskine449bd832023-01-11 14:50:10 +01001411 TEST_ASSERT(desc != NULL);
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001412 TEST_EQUAL(strcmp(desc, ref_desc), 0);
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001413 }
valerio32f2ac92023-04-20 11:59:52 +02001414
1415exit:
Valerio Setti569c1712023-04-19 14:53:36 +02001416 USE_PSA_DONE();
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001417}
1418/* END_CASE */
1419
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001420/* BEGIN_CASE depends_on:MBEDTLS_X509_USE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +01001421void x509_oid_numstr(data_t *oid_buf, char *numstr, int blen, int ret)
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001422{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001423 mbedtls_x509_buf oid;
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001424 char num_buf[100];
1425
Valerio Setti569c1712023-04-19 14:53:36 +02001426 USE_PSA_INIT();
valerio32f2ac92023-04-20 11:59:52 +02001427
Dave Rodgman6dd757a2023-02-02 12:40:50 +00001428 memset(num_buf, 0x2a, sizeof(num_buf));
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001429
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001430 oid.tag = MBEDTLS_ASN1_OID;
Azim Khand30ca132017-06-09 04:32:58 +01001431 oid.p = oid_buf->x;
1432 oid.len = oid_buf->len;
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001433
Dave Rodgman6dd757a2023-02-02 12:40:50 +00001434 TEST_ASSERT((size_t) blen <= sizeof(num_buf));
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001435
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001436 TEST_EQUAL(mbedtls_oid_get_numeric_string(num_buf, blen, &oid), ret);
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001437
Gilles Peskine449bd832023-01-11 14:50:10 +01001438 if (ret >= 0) {
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001439 TEST_EQUAL(num_buf[ret], 0);
1440 TEST_EQUAL(strcmp(num_buf, numstr), 0);
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001441 }
valerio32f2ac92023-04-20 11:59:52 +02001442
1443exit:
Valerio Setti569c1712023-04-19 14:53:36 +02001444 USE_PSA_DONE();
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001445}
1446/* END_CASE */
1447
TRodziewicz442fdc22021-06-07 13:52:23 +02001448/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +01001449void x509_check_key_usage(char *crt_file, int usage, int ret)
Manuel Pégourié-Gonnard603116c2014-04-09 09:50:03 +02001450{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001451 mbedtls_x509_crt crt;
Manuel Pégourié-Gonnard603116c2014-04-09 09:50:03 +02001452
Gilles Peskine449bd832023-01-11 14:50:10 +01001453 mbedtls_x509_crt_init(&crt);
valerio32f2ac92023-04-20 11:59:52 +02001454 USE_PSA_INIT();
Manuel Pégourié-Gonnard603116c2014-04-09 09:50:03 +02001455
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001456 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
Manuel Pégourié-Gonnard603116c2014-04-09 09:50:03 +02001457
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001458 TEST_EQUAL(mbedtls_x509_crt_check_key_usage(&crt, usage), ret);
Manuel Pégourié-Gonnard603116c2014-04-09 09:50:03 +02001459
Paul Bakkerbd51b262014-07-10 15:26:12 +02001460exit:
Gilles Peskine449bd832023-01-11 14:50:10 +01001461 mbedtls_x509_crt_free(&crt);
Valerio Setti569c1712023-04-19 14:53:36 +02001462 USE_PSA_DONE();
Manuel Pégourié-Gonnard603116c2014-04-09 09:50:03 +02001463}
1464/* END_CASE */
1465
TRodziewicz442fdc22021-06-07 13:52:23 +02001466/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +01001467void x509_check_extended_key_usage(char *crt_file, data_t *oid, int ret
1468 )
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02001469{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001470 mbedtls_x509_crt crt;
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02001471
Gilles Peskine449bd832023-01-11 14:50:10 +01001472 mbedtls_x509_crt_init(&crt);
valerio32f2ac92023-04-20 11:59:52 +02001473 USE_PSA_INIT();
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02001474
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001475 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02001476
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001477 TEST_EQUAL(mbedtls_x509_crt_check_extended_key_usage(&crt, (const char *) oid->x, oid->len),
1478 ret);
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02001479
Paul Bakkerbd51b262014-07-10 15:26:12 +02001480exit:
Gilles Peskine449bd832023-01-11 14:50:10 +01001481 mbedtls_x509_crt_free(&crt);
Valerio Setti569c1712023-04-19 14:53:36 +02001482 USE_PSA_DONE();
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02001483}
1484/* END_CASE */
1485
Andres AG4b76aec2016-09-23 13:16:02 +01001486/* BEGIN_CASE depends_on:MBEDTLS_X509_USE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +01001487void x509_get_time(int tag, char *time_str, int ret, int year, int mon,
1488 int day, int hour, int min, int sec)
Andres AG4b76aec2016-09-23 13:16:02 +01001489{
1490 mbedtls_x509_time time;
Janos Follathea7054a2017-02-08 14:13:02 +00001491 unsigned char buf[21];
Gilles Peskine449bd832023-01-11 14:50:10 +01001492 unsigned char *start = buf;
1493 unsigned char *end = buf;
Andres AG4b76aec2016-09-23 13:16:02 +01001494
Valerio Setti569c1712023-04-19 14:53:36 +02001495 USE_PSA_INIT();
Gilles Peskine449bd832023-01-11 14:50:10 +01001496 memset(&time, 0x00, sizeof(time));
1497 *end = (unsigned char) tag; end++;
1498 *end = strlen(time_str);
1499 TEST_ASSERT(*end < 20);
Andres AG4b76aec2016-09-23 13:16:02 +01001500 end++;
Gilles Peskine449bd832023-01-11 14:50:10 +01001501 memcpy(end, time_str, (size_t) *(end - 1));
Andres AG4b76aec2016-09-23 13:16:02 +01001502 end += *(end - 1);
1503
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001504 TEST_EQUAL(mbedtls_x509_get_time(&start, end, &time), ret);
Gilles Peskine449bd832023-01-11 14:50:10 +01001505 if (ret == 0) {
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001506 TEST_EQUAL(year, time.year);
1507 TEST_EQUAL(mon, time.mon);
1508 TEST_EQUAL(day, time.day);
1509 TEST_EQUAL(hour, time.hour);
1510 TEST_EQUAL(min, time.min);
1511 TEST_EQUAL(sec, time.sec);
Andres AG4b76aec2016-09-23 13:16:02 +01001512 }
valerio32f2ac92023-04-20 11:59:52 +02001513exit:
Valerio Setti569c1712023-04-19 14:53:36 +02001514 USE_PSA_DONE();
Andres AG4b76aec2016-09-23 13:16:02 +01001515}
1516/* END_CASE */
1517
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001518/* BEGIN_CASE depends_on:MBEDTLS_X509_CRT_PARSE_C:MBEDTLS_X509_RSASSA_PSS_SUPPORT */
Gilles Peskine449bd832023-01-11 14:50:10 +01001519void x509_parse_rsassa_pss_params(data_t *params, int params_tag,
1520 int ref_msg_md, int ref_mgf_md,
1521 int ref_salt_len, int ref_ret)
Manuel Pégourié-Gonnard85403692014-06-06 14:48:38 +02001522{
1523 int my_ret;
Ronald Cronac6ae352020-06-26 14:33:03 +02001524 mbedtls_x509_buf buf;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001525 mbedtls_md_type_t my_msg_md, my_mgf_md;
Manuel Pégourié-Gonnard85403692014-06-06 14:48:38 +02001526 int my_salt_len;
1527
Valerio Setti569c1712023-04-19 14:53:36 +02001528 USE_PSA_INIT();
1529
Ronald Cronac6ae352020-06-26 14:33:03 +02001530 buf.p = params->x;
1531 buf.len = params->len;
1532 buf.tag = params_tag;
Manuel Pégourié-Gonnard85403692014-06-06 14:48:38 +02001533
Gilles Peskine449bd832023-01-11 14:50:10 +01001534 my_ret = mbedtls_x509_get_rsassa_pss_params(&buf, &my_msg_md, &my_mgf_md,
1535 &my_salt_len);
Manuel Pégourié-Gonnard85403692014-06-06 14:48:38 +02001536
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001537 TEST_EQUAL(my_ret, ref_ret);
Manuel Pégourié-Gonnard85403692014-06-06 14:48:38 +02001538
Gilles Peskine449bd832023-01-11 14:50:10 +01001539 if (ref_ret == 0) {
Demi Marie Obenour16442cc2022-11-26 22:19:48 -05001540 TEST_EQUAL(my_msg_md, (mbedtls_md_type_t) ref_msg_md);
1541 TEST_EQUAL(my_mgf_md, (mbedtls_md_type_t) ref_mgf_md);
1542 TEST_EQUAL(my_salt_len, ref_salt_len);
Manuel Pégourié-Gonnard85403692014-06-06 14:48:38 +02001543 }
1544
Paul Bakkerbd51b262014-07-10 15:26:12 +02001545exit:
Valerio Setti569c1712023-04-19 14:53:36 +02001546 USE_PSA_DONE();
Manuel Pégourié-Gonnard85403692014-06-06 14:48:38 +02001547}
1548/* END_CASE */
toth92ga41954d2021-02-12 16:11:17 +01001549
Przemek Stekiel05d5c3e2023-05-16 16:24:44 +02001550/* BEGIN_CASE depends_on:MBEDTLS_X509_CRT_PARSE_C:MBEDTLS_FS_IO */
Przemek Stekiel0ad10062023-04-06 11:11:58 +02001551void x509_crt_parse_subjectkeyid(char *file, data_t *subjectKeyId, int ref_ret)
toth92ga41954d2021-02-12 16:11:17 +01001552{
1553 mbedtls_x509_crt crt;
toth92ga41954d2021-02-12 16:11:17 +01001554
1555 mbedtls_x509_crt_init(&crt);
1556
Przemek Stekiela6a0a792023-04-24 10:18:52 +02001557 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, file), ref_ret);
toth92ga41954d2021-02-12 16:11:17 +01001558
toth92g357b2972021-05-04 15:41:35 +02001559 if (ref_ret == 0) {
Przemek Stekiela6a0a792023-04-24 10:18:52 +02001560 TEST_EQUAL(crt.subject_key_id.tag, MBEDTLS_ASN1_OCTET_STRING);
1561 TEST_EQUAL(memcmp(crt.subject_key_id.p, subjectKeyId->x, subjectKeyId->len), 0);
1562 TEST_EQUAL(crt.subject_key_id.len, subjectKeyId->len);
toth92g357b2972021-05-04 15:41:35 +02001563 } else {
Przemek Stekiela6a0a792023-04-24 10:18:52 +02001564 TEST_EQUAL(crt.subject_key_id.tag, 0);
1565 TEST_EQUAL(crt.subject_key_id.len, 0);
toth92ga41954d2021-02-12 16:11:17 +01001566 }
1567
1568exit:
1569 mbedtls_x509_crt_free(&crt);
1570}
1571/* END_CASE */
1572
Przemek Stekiel05d5c3e2023-05-16 16:24:44 +02001573/* BEGIN_CASE depends_on:MBEDTLS_X509_CRT_PARSE_C:MBEDTLS_FS_IO */
Przemek Stekiel2568d472023-04-06 09:23:25 +02001574void x509_crt_parse_authoritykeyid(char *file,
Przemek Stekielff9c2992023-05-16 19:14:19 +02001575 data_t *keyId,
toth92g5042b102021-05-06 08:22:17 +02001576 char *authorityKeyId_issuer,
Przemek Stekielff9c2992023-05-16 19:14:19 +02001577 data_t *serial,
toth92g5042b102021-05-06 08:22:17 +02001578 int ref_ret)
toth92ga41954d2021-02-12 16:11:17 +01001579{
1580 mbedtls_x509_crt crt;
toth92ga41954d2021-02-12 16:11:17 +01001581 int bufferCounter = 0;
1582 size_t issuerCounter = 0;
toth92g357b2972021-05-04 15:41:35 +02001583 unsigned int result = 0;
Przemek Stekiel39dbe232023-04-03 10:19:22 +02001584 mbedtls_x509_subject_alternative_name san;
Przemek Stekiel01984212023-02-09 09:29:34 +01001585 mbedtls_x509_name *pname = NULL;
toth92ga41954d2021-02-12 16:11:17 +01001586
1587 mbedtls_x509_crt_init(&crt);
1588
Przemek Stekiela6a0a792023-04-24 10:18:52 +02001589 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, file), ref_ret);
toth92ga41954d2021-02-12 16:11:17 +01001590
toth92g357b2972021-05-04 15:41:35 +02001591 if (ref_ret == 0) {
toth92ga41954d2021-02-12 16:11:17 +01001592 /* KeyId test */
Przemek Stekielff9c2992023-05-16 19:14:19 +02001593 if (keyId->len > 0) {
Przemek Stekiela6a0a792023-04-24 10:18:52 +02001594 TEST_EQUAL(crt.authority_key_id.keyIdentifier.tag, MBEDTLS_ASN1_OCTET_STRING);
1595 TEST_EQUAL(memcmp(crt.authority_key_id.keyIdentifier.p, keyId->x, keyId->len), 0);
1596 TEST_EQUAL(crt.authority_key_id.keyIdentifier.len, keyId->len);
Przemek Stekiel05d5c3e2023-05-16 16:24:44 +02001597 } else {
1598 TEST_EQUAL(crt.authority_key_id.keyIdentifier.tag, 0);
1599 TEST_EQUAL(crt.authority_key_id.keyIdentifier.len, 0);
Przemek Stekiel1969f6a2023-04-18 08:38:16 +02001600 }
toth92ga41954d2021-02-12 16:11:17 +01001601
Przemek Stekiel05d5c3e2023-05-16 16:24:44 +02001602
toth92ga41954d2021-02-12 16:11:17 +01001603 /* Issuer test */
Przemek Stekielff9c2992023-05-16 19:14:19 +02001604 if (strlen(authorityKeyId_issuer) > 0) {
Przemek Stekiel1969f6a2023-04-18 08:38:16 +02001605 mbedtls_x509_sequence *issuerPtr = &crt.authority_key_id.authorityCertIssuer;
Przemek Stekiel01984212023-02-09 09:29:34 +01001606
Przemek Stekiela6a0a792023-04-24 10:18:52 +02001607 TEST_EQUAL(mbedtls_x509_parse_subject_alt_name(&issuerPtr->buf, &san), 0);
Przemek Stekiel01984212023-02-09 09:29:34 +01001608
Przemek Stekiel1969f6a2023-04-18 08:38:16 +02001609 pname = &san.san.directory_name;
Przemek Stekiel01984212023-02-09 09:29:34 +01001610
Przemek Stekiel1969f6a2023-04-18 08:38:16 +02001611 while (pname != NULL) {
1612 for (issuerCounter = 0; issuerCounter < pname->val.len; issuerCounter++) {
1613 result |=
1614 (authorityKeyId_issuer[bufferCounter++] != pname->val.p[issuerCounter]);
1615 }
1616 bufferCounter++; /* Skipping the slash */
1617 pname = pname->next;
toth92ga41954d2021-02-12 16:11:17 +01001618 }
Przemek Stekiel1969f6a2023-04-18 08:38:16 +02001619 mbedtls_x509_free_subject_alt_name(&san);
Przemek Stekiela6a0a792023-04-24 10:18:52 +02001620 TEST_EQUAL(result, 0);
toth92ga41954d2021-02-12 16:11:17 +01001621 }
1622
1623 /* Serial test */
Przemek Stekielff9c2992023-05-16 19:14:19 +02001624 if (serial->len > 0) {
Przemek Stekiela6a0a792023-04-24 10:18:52 +02001625 TEST_EQUAL(crt.authority_key_id.authorityCertSerialNumber.tag,
Przemek Stekielff9c2992023-05-16 19:14:19 +02001626 MBEDTLS_ASN1_INTEGER);
Przemek Stekiela6a0a792023-04-24 10:18:52 +02001627 TEST_EQUAL(memcmp(crt.authority_key_id.authorityCertSerialNumber.p,
Przemek Stekielff9c2992023-05-16 19:14:19 +02001628 serial->x, serial->len), 0);
Przemek Stekiela6a0a792023-04-24 10:18:52 +02001629 TEST_EQUAL(crt.authority_key_id.authorityCertSerialNumber.len, serial->len);
Przemek Stekiel05d5c3e2023-05-16 16:24:44 +02001630 } else {
1631 TEST_EQUAL(crt.authority_key_id.authorityCertSerialNumber.tag, 0);
1632 TEST_EQUAL(crt.authority_key_id.authorityCertSerialNumber.len, 0);
Przemek Stekiel1969f6a2023-04-18 08:38:16 +02001633 }
Przemek Stekiel0ad10062023-04-06 11:11:58 +02001634
toth92g357b2972021-05-04 15:41:35 +02001635 } else {
Przemek Stekiela6a0a792023-04-24 10:18:52 +02001636 TEST_EQUAL(crt.authority_key_id.keyIdentifier.tag, 0);
1637 TEST_EQUAL(crt.authority_key_id.keyIdentifier.len, 0);
toth92ga41954d2021-02-12 16:11:17 +01001638
Przemek Stekiela6a0a792023-04-24 10:18:52 +02001639 TEST_EQUAL(crt.authority_key_id.authorityCertSerialNumber.tag, 0);
1640 TEST_EQUAL(crt.authority_key_id.authorityCertSerialNumber.len, 0);
toth92ga41954d2021-02-12 16:11:17 +01001641 }
1642
1643exit:
1644 mbedtls_x509_crt_free(&crt);
1645}
1646/* END_CASE */