blob: 07c0c38fffd092295925e34e0b4d45f2b516ef47 [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"
Mohammad Azim Khan67735d52017-04-06 11:55:43 +010011#include "string.h"
Paul Bakkerb63b0af2011-01-13 17:54:59 +000012
Simon Butcher9e24b512017-07-28 12:15:13 +010013#if MBEDTLS_X509_MAX_INTERMEDIATE_CA > 19
Hanno Becker3b1422e2017-07-26 13:38:02 +010014#error "The value of MBEDTLS_X509_MAX_INTERMEDIATE_C is larger \
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010015 than the current threshold 19. To test larger values, please \
16 adapt the script tests/data_files/dir-max/long.sh."
Hanno Becker3b1422e2017-07-26 13:38:02 +010017#endif
18
Hanno Becker20a4ade2019-06-03 14:27:03 +010019/* Test-only profile allowing all digests, PK algorithms, and curves. */
20const mbedtls_x509_crt_profile profile_all =
21{
22 0xFFFFFFFF, /* Any MD */
23 0xFFFFFFFF, /* Any PK alg */
24 0xFFFFFFFF, /* Any curve */
25 1024,
26};
27
Gilles Peskineef86ab22017-05-05 18:59:02 +020028/* Profile for backward compatibility. Allows SHA-1, unlike the default
29 profile. */
Manuel Pégourié-Gonnard65eefc82015-10-23 14:08:48 +020030const mbedtls_x509_crt_profile compat_profile =
31{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010032 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_SHA1) |
33 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_RIPEMD160) |
34 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_SHA224) |
35 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_SHA256) |
36 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_SHA384) |
37 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_SHA512),
Thomas Daubneyb84f8d42022-04-21 08:35:29 +010038 0xFFFFFFFF, /* Any PK alg */
39 0xFFFFFFFF, /* Any curve */
Manuel Pégourié-Gonnard65eefc82015-10-23 14:08:48 +020040 1024,
41};
42
Manuel Pégourié-Gonnard6622fed2017-05-23 11:29:29 +020043const mbedtls_x509_crt_profile profile_rsa3072 =
44{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010045 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_SHA256) |
46 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_SHA384) |
47 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_SHA512),
48 MBEDTLS_X509_ID_FLAG(MBEDTLS_PK_RSA),
Manuel Pégourié-Gonnard6622fed2017-05-23 11:29:29 +020049 0,
50 3072,
51};
52
53const mbedtls_x509_crt_profile profile_sha512 =
54{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010055 MBEDTLS_X509_ID_FLAG(MBEDTLS_MD_SHA512),
Thomas Daubneyb84f8d42022-04-21 08:35:29 +010056 0xFFFFFFFF, /* Any PK alg */
57 0xFFFFFFFF, /* Any curve */
Manuel Pégourié-Gonnard6622fed2017-05-23 11:29:29 +020058 1024,
59};
60
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010061int verify_none(void *data, mbedtls_x509_crt *crt, int certificate_depth, uint32_t *flags)
Paul Bakkerb63b0af2011-01-13 17:54:59 +000062{
Paul Bakker5a624082011-01-18 16:31:52 +000063 ((void) data);
64 ((void) crt);
65 ((void) certificate_depth);
Manuel Pégourié-Gonnarde6028c92015-04-20 12:19:02 +010066 *flags |= MBEDTLS_X509_BADCERT_OTHER;
Paul Bakkerddf26b42013-09-18 13:46:23 +020067
Paul Bakker915275b2012-09-28 07:10:55 +000068 return 0;
Paul Bakkerb63b0af2011-01-13 17:54:59 +000069}
70
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010071int verify_all(void *data, mbedtls_x509_crt *crt, int certificate_depth, uint32_t *flags)
Paul Bakkerb63b0af2011-01-13 17:54:59 +000072{
Paul Bakker5a624082011-01-18 16:31:52 +000073 ((void) data);
74 ((void) crt);
75 ((void) certificate_depth);
Paul Bakker915275b2012-09-28 07:10:55 +000076 *flags = 0;
Paul Bakker5a624082011-01-18 16:31:52 +000077
Paul Bakkerb63b0af2011-01-13 17:54:59 +000078 return 0;
79}
80
Jarno Lamsa03cd1202019-03-27 15:45:04 +020081#if defined(MBEDTLS_X509_TRUSTED_CERTIFICATE_CALLBACK)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010082int ca_callback_fail(void *data, mbedtls_x509_crt const *child, mbedtls_x509_crt **candidates)
Jarno Lamsa557426a2019-03-27 17:08:29 +020083{
84 ((void) data);
85 ((void) child);
86 ((void) candidates);
87
88 return -1;
89}
90
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010091int ca_callback(void *data, mbedtls_x509_crt const *child,
92 mbedtls_x509_crt **candidates)
Jarno Lamsa03cd1202019-03-27 15:45:04 +020093{
Hanno Beckercbb59032019-03-28 14:14:22 +000094 int ret = 0;
Jarno Lamsa03cd1202019-03-27 15:45:04 +020095 mbedtls_x509_crt *ca = (mbedtls_x509_crt *) data;
Hanno Beckercbb59032019-03-28 14:14:22 +000096 mbedtls_x509_crt *first;
97
98 /* This is a test-only implementation of the CA callback
99 * which always returns the entire list of trusted certificates.
100 * Production implementations managing a large number of CAs
101 * should use an efficient presentation and lookup for the
102 * set of trusted certificates (such as a hashtable) and only
103 * return those trusted certificates which satisfy basic
104 * parental checks, such as the matching of child `Issuer`
105 * and parent `Subject` field. */
106 ((void) child);
107
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100108 first = mbedtls_calloc(1, sizeof(mbedtls_x509_crt));
109 if (first == NULL) {
Hanno Beckercbb59032019-03-28 14:14:22 +0000110 ret = -1;
111 goto exit;
112 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100113 mbedtls_x509_crt_init(first);
Hanno Beckercbb59032019-03-28 14:14:22 +0000114
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100115 if (mbedtls_x509_crt_parse_der(first, ca->raw.p, ca->raw.len) != 0) {
Hanno Beckercbb59032019-03-28 14:14:22 +0000116 ret = -1;
117 goto exit;
118 }
119
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100120 while (ca->next != NULL) {
Jarno Lamsa03cd1202019-03-27 15:45:04 +0200121 ca = ca->next;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100122 if (mbedtls_x509_crt_parse_der(first, ca->raw.p, ca->raw.len) != 0) {
Hanno Beckercbb59032019-03-28 14:14:22 +0000123 ret = -1;
124 goto exit;
125 }
Jarno Lamsa03cd1202019-03-27 15:45:04 +0200126 }
Hanno Beckercbb59032019-03-28 14:14:22 +0000127
128exit:
129
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100130 if (ret != 0) {
131 mbedtls_x509_crt_free(first);
132 mbedtls_free(first);
Hanno Beckercbb59032019-03-28 14:14:22 +0000133 first = NULL;
134 }
135
Jarno Lamsa03cd1202019-03-27 15:45:04 +0200136 *candidates = first;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100137 return ret;
Jarno Lamsa03cd1202019-03-27 15:45:04 +0200138}
139#endif /* MBEDTLS_X509_TRUSTED_CERTIFICATE_CALLBACK */
140
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100141int verify_fatal(void *data, mbedtls_x509_crt *crt, int certificate_depth, uint32_t *flags)
Manuel Pégourié-Gonnard6b9d53f2017-05-23 12:26:58 +0200142{
143 int *levels = (int *) data;
144
145 ((void) crt);
146 ((void) certificate_depth);
147
148 /* Simulate a fatal error in the callback */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100149 if (*levels & (1 << certificate_depth)) {
150 *flags |= (1 << certificate_depth);
151 return -1 - certificate_depth;
Manuel Pégourié-Gonnard6b9d53f2017-05-23 12:26:58 +0200152 }
153
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100154 return 0;
Manuel Pégourié-Gonnard6b9d53f2017-05-23 12:26:58 +0200155}
156
Manuel Pégourié-Gonnarda8838af2015-11-02 06:34:46 +0900157/* strsep() not available on Windows */
158char *mystrsep(char **stringp, const char *delim)
159{
160 const char *p;
161 char *ret = *stringp;
162
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100163 if (*stringp == NULL) {
164 return NULL;
165 }
Manuel Pégourié-Gonnarda8838af2015-11-02 06:34:46 +0900166
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100167 for (;; (*stringp)++) {
168 if (**stringp == '\0') {
Manuel Pégourié-Gonnarda8838af2015-11-02 06:34:46 +0900169 *stringp = NULL;
170 goto done;
171 }
172
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100173 for (p = delim; *p != '\0'; p++) {
174 if (**stringp == *p) {
Manuel Pégourié-Gonnarda8838af2015-11-02 06:34:46 +0900175 **stringp = '\0';
176 (*stringp)++;
177 goto done;
178 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100179 }
Manuel Pégourié-Gonnarda8838af2015-11-02 06:34:46 +0900180 }
181
182done:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100183 return ret;
Manuel Pégourié-Gonnarda8838af2015-11-02 06:34:46 +0900184}
185
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200186#if defined(MBEDTLS_X509_CRT_PARSE_C)
187typedef struct {
188 char buf[512];
189 char *p;
190} verify_print_context;
191
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100192void verify_print_init(verify_print_context *ctx)
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200193{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100194 memset(ctx, 0, sizeof(verify_print_context));
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200195 ctx->p = ctx->buf;
196}
197
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100198int verify_print(void *data, mbedtls_x509_crt *crt, int certificate_depth, uint32_t *flags)
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200199{
200 int ret;
201 verify_print_context *ctx = (verify_print_context *) data;
202 char *p = ctx->p;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100203 size_t n = ctx->buf + sizeof(ctx->buf) - ctx->p;
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200204 ((void) flags);
205
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100206 ret = mbedtls_snprintf(p, n, "depth %d - serial ", certificate_depth);
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200207 MBEDTLS_X509_SAFE_SNPRINTF;
208
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100209 ret = mbedtls_x509_serial_gets(p, n, &crt->serial);
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200210 MBEDTLS_X509_SAFE_SNPRINTF;
211
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100212 ret = mbedtls_snprintf(p, n, " - subject ");
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200213 MBEDTLS_X509_SAFE_SNPRINTF;
214
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100215 ret = mbedtls_x509_dn_gets(p, n, &crt->subject);
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200216 MBEDTLS_X509_SAFE_SNPRINTF;
217
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100218 ret = mbedtls_snprintf(p, n, " - flags 0x%08x\n", *flags);
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200219 MBEDTLS_X509_SAFE_SNPRINTF;
220
221 ctx->p = p;
222
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100223 return 0;
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200224}
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200225
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100226int verify_parse_san(mbedtls_x509_subject_alternative_name *san,
227 char **buf, size_t *size)
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200228{
229 int ret;
230 size_t i;
231 char *p = *buf;
232 size_t n = *size;
233
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100234 ret = mbedtls_snprintf(p, n, "type : %d", san->type);
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200235 MBEDTLS_X509_SAFE_SNPRINTF;
236
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100237 switch (san->type) {
238 case (MBEDTLS_X509_SAN_OTHER_NAME):
239 ret = mbedtls_snprintf(p, n, "\notherName :");
Victor Barpp Gomesfb4723a2022-09-29 10:00:32 -0300240 MBEDTLS_X509_SAFE_SNPRINTF;
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200241
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100242 if (MBEDTLS_OID_CMP(MBEDTLS_OID_ON_HW_MODULE_NAME,
David Horstmanndcf73262023-08-18 19:12:59 +0100243 &san->san.other_name.type_id) == 0) {
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100244 ret = mbedtls_snprintf(p, n, " hardware module name :");
Victor Barpp Gomesfb4723a2022-09-29 10:00:32 -0300245 MBEDTLS_X509_SAFE_SNPRINTF;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100246 ret = mbedtls_snprintf(p, n, " hardware type : ");
Victor Barpp Gomesfb4723a2022-09-29 10:00:32 -0300247 MBEDTLS_X509_SAFE_SNPRINTF;
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200248
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100249 ret = mbedtls_oid_get_numeric_string(p,
250 n,
251 &san->san.other_name.value.hardware_module_name.oid);
Victor Barpp Gomesfb4723a2022-09-29 10:00:32 -0300252 MBEDTLS_X509_SAFE_SNPRINTF;
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200253
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100254 ret = mbedtls_snprintf(p, n, ", hardware serial number : ");
Victor Barpp Gomesfb4723a2022-09-29 10:00:32 -0300255 MBEDTLS_X509_SAFE_SNPRINTF;
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200256
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100257 for (i = 0; i < san->san.other_name.value.hardware_module_name.val.len; i++) {
258 ret = mbedtls_snprintf(p,
259 n,
260 "%02X",
261 san->san.other_name.value.hardware_module_name.val.p[i]);
Victor Barpp Gomesfb4723a2022-09-29 10:00:32 -0300262 MBEDTLS_X509_SAFE_SNPRINTF;
263 }
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200264 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100265 break;/* MBEDTLS_OID_ON_HW_MODULE_NAME */
266 case (MBEDTLS_X509_SAN_DNS_NAME):
267 ret = mbedtls_snprintf(p, n, "\ndNSName : ");
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200268 MBEDTLS_X509_SAFE_SNPRINTF;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100269 if (san->san.unstructured_name.len >= n) {
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200270 *p = '\0';
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100271 return MBEDTLS_ERR_X509_BUFFER_TOO_SMALL;
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200272 }
273 n -= san->san.unstructured_name.len;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100274 for (i = 0; i < san->san.unstructured_name.len; i++) {
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200275 *p++ = san->san.unstructured_name.p[i];
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100276 }
277 break;/* MBEDTLS_X509_SAN_DNS_NAME */
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200278
279 default:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100280 /*
281 * Should not happen.
282 */
283 return -1;
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200284 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100285 ret = mbedtls_snprintf(p, n, "\n");
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200286 MBEDTLS_X509_SAFE_SNPRINTF;
287
288 *size = n;
289 *buf = p;
290
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100291 return 0;
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200292}
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +0200293
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100294int parse_crt_ext_cb(void *p_ctx, mbedtls_x509_crt const *crt, mbedtls_x509_buf const *oid,
295 int critical, const unsigned char *cp, const unsigned char *end)
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +0200296{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100297 (void) crt;
298 (void) critical;
299 mbedtls_x509_buf *new_oid = (mbedtls_x509_buf *) p_ctx;
300 if (oid->tag == MBEDTLS_ASN1_OID &&
301 MBEDTLS_OID_CMP(MBEDTLS_OID_CERTIFICATE_POLICIES, oid) == 0) {
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200302 /* Handle unknown certificate policy */
303 int ret, parse_ret = 0;
304 size_t len;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100305 unsigned char **p = (unsigned char **) &cp;
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200306
307 /* Get main sequence tag */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100308 ret = mbedtls_asn1_get_tag(p, end, &len,
309 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE);
310 if (ret != 0) {
311 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS, ret);
312 }
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200313
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100314 if (*p + len != end) {
315 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS,
316 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
317 }
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200318
319 /*
320 * Cannot be an empty sequence.
321 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100322 if (len == 0) {
323 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS,
324 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
325 }
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200326
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100327 while (*p < end) {
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200328 const unsigned char *policy_end;
329
330 /*
331 * Get the policy sequence
332 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100333 if ((ret = mbedtls_asn1_get_tag(p, end, &len,
334 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE)) !=
335 0) {
336 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS, ret);
337 }
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200338
339 policy_end = *p + len;
340
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100341 if ((ret = mbedtls_asn1_get_tag(p, policy_end, &len,
342 MBEDTLS_ASN1_OID)) != 0) {
343 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS, ret);
344 }
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200345
Nicola Di Lietob77fad82020-06-17 17:57:36 +0200346 /*
347 * Recognize exclusively the policy with OID 1
348 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100349 if (len != 1 || *p[0] != 1) {
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200350 parse_ret = MBEDTLS_ERR_X509_FEATURE_UNAVAILABLE;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100351 }
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200352
353 *p += len;
354
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100355 /*
356 * If there is an optional qualifier, then *p < policy_end
357 * Check the Qualifier len to verify it doesn't exceed policy_end.
358 */
359 if (*p < policy_end) {
360 if ((ret = mbedtls_asn1_get_tag(p, policy_end, &len,
361 MBEDTLS_ASN1_CONSTRUCTED |
362 MBEDTLS_ASN1_SEQUENCE)) != 0) {
363 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS, ret);
364 }
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200365 /*
366 * Skip the optional policy qualifiers.
367 */
368 *p += len;
369 }
370
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100371 if (*p != policy_end) {
372 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS,
373 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
374 }
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200375 }
376
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100377 if (*p != end) {
378 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS,
379 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
380 }
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200381
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100382 return parse_ret;
383 } else if (new_oid != NULL && new_oid->tag == oid->tag && new_oid->len == oid->len &&
384 memcmp(new_oid->p, oid->p, oid->len) == 0) {
385 return 0;
386 } else {
387 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_X509_INVALID_EXTENSIONS,
388 MBEDTLS_ERR_ASN1_UNEXPECTED_TAG);
Nicola Di Lietoc84b1e62020-06-13 11:08:16 +0200389 }
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +0200390}
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200391#endif /* MBEDTLS_X509_CRT_PARSE_C */
Paul Bakker33b43f12013-08-20 11:48:36 +0200392/* END_HEADER */
Paul Bakker37940d9f2009-07-10 22:38:58 +0000393
Paul Bakker33b43f12013-08-20 11:48:36 +0200394/* BEGIN_DEPENDENCIES
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200395 * depends_on:MBEDTLS_BIGNUM_C
Paul Bakker33b43f12013-08-20 11:48:36 +0200396 * END_DEPENDENCIES
397 */
Paul Bakker5690efc2011-05-26 13:16:06 +0000398
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200399/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100400void x509_parse_san(char *crt_file, char *result_str)
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200401{
Ron Eldor890819a2019-05-13 19:03:04 +0300402 int ret;
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200403 mbedtls_x509_crt crt;
Ron Eldor890819a2019-05-13 19:03:04 +0300404 mbedtls_x509_subject_alternative_name san;
405 mbedtls_x509_sequence *cur = NULL;
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200406 char buf[2000];
407 char *p = buf;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100408 size_t n = sizeof(buf);
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200409
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100410 mbedtls_x509_crt_init(&crt);
411 memset(buf, 0, 2000);
Valerio Settie7373a82023-04-19 14:53:36 +0200412 USE_PSA_INIT();
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200413
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500414 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
Ron Eldor890819a2019-05-13 19:03:04 +0300415
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100416 if (crt.ext_types & MBEDTLS_X509_EXT_SUBJECT_ALT_NAME) {
Ron Eldor890819a2019-05-13 19:03:04 +0300417 cur = &crt.subject_alt_names;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100418 while (cur != NULL) {
419 ret = mbedtls_x509_parse_subject_alt_name(&cur->buf, &san);
420 TEST_ASSERT(ret == 0 || ret == MBEDTLS_ERR_X509_FEATURE_UNAVAILABLE);
Ron Eldor890819a2019-05-13 19:03:04 +0300421 /*
422 * If san type not supported, ignore.
423 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100424 if (ret == 0) {
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500425 TEST_EQUAL(verify_parse_san(&san, &p, &n), 0);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100426 }
Ron Eldor890819a2019-05-13 19:03:04 +0300427 cur = cur->next;
428 }
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200429 }
430
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500431 TEST_EQUAL(strcmp(buf, result_str), 0);
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200432
433exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100434 mbedtls_x509_crt_free(&crt);
Valerio Settie7373a82023-04-19 14:53:36 +0200435 USE_PSA_DONE();
Ron Eldorb2dc3fa2019-03-21 13:40:13 +0200436}
437/* END_CASE */
438
439/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100440void x509_cert_info(char *crt_file, char *result_str)
Paul Bakker37940d9f2009-07-10 22:38:58 +0000441{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200442 mbedtls_x509_crt crt;
Paul Bakker37940d9f2009-07-10 22:38:58 +0000443 char buf[2000];
Paul Bakker69998dd2009-07-11 19:15:20 +0000444 int res;
Paul Bakker37940d9f2009-07-10 22:38:58 +0000445
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100446 mbedtls_x509_crt_init(&crt);
447 memset(buf, 0, 2000);
Valerio Settie7373a82023-04-19 14:53:36 +0200448 USE_PSA_INIT();
Paul Bakker37940d9f2009-07-10 22:38:58 +0000449
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500450 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100451 res = mbedtls_x509_crt_info(buf, 2000, "", &crt);
Paul Bakker37940d9f2009-07-10 22:38:58 +0000452
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100453 TEST_ASSERT(res != -1);
454 TEST_ASSERT(res != -2);
Paul Bakker37940d9f2009-07-10 22:38:58 +0000455
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500456 TEST_EQUAL(strcmp(buf, result_str), 0);
Paul Bakkerbd51b262014-07-10 15:26:12 +0200457
458exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100459 mbedtls_x509_crt_free(&crt);
Valerio Settie7373a82023-04-19 14:53:36 +0200460 USE_PSA_DONE();
Paul Bakker37940d9f2009-07-10 22:38:58 +0000461}
Paul Bakker33b43f12013-08-20 11:48:36 +0200462/* END_CASE */
Paul Bakker37940d9f2009-07-10 22:38:58 +0000463
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200464/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRL_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100465void mbedtls_x509_crl_info(char *crl_file, char *result_str)
Paul Bakker37940d9f2009-07-10 22:38:58 +0000466{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200467 mbedtls_x509_crl crl;
Paul Bakker37940d9f2009-07-10 22:38:58 +0000468 char buf[2000];
Paul Bakker69998dd2009-07-11 19:15:20 +0000469 int res;
Paul Bakker37940d9f2009-07-10 22:38:58 +0000470
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100471 mbedtls_x509_crl_init(&crl);
472 memset(buf, 0, 2000);
Valerio Settie7373a82023-04-19 14:53:36 +0200473 USE_PSA_INIT();
Paul Bakker37940d9f2009-07-10 22:38:58 +0000474
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500475 TEST_EQUAL(mbedtls_x509_crl_parse_file(&crl, crl_file), 0);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100476 res = mbedtls_x509_crl_info(buf, 2000, "", &crl);
Paul Bakker37940d9f2009-07-10 22:38:58 +0000477
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100478 TEST_ASSERT(res != -1);
479 TEST_ASSERT(res != -2);
Paul Bakker37940d9f2009-07-10 22:38:58 +0000480
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500481 TEST_EQUAL(strcmp(buf, result_str), 0);
Paul Bakkerbd51b262014-07-10 15:26:12 +0200482
483exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100484 mbedtls_x509_crl_free(&crl);
Valerio Settie7373a82023-04-19 14:53:36 +0200485 USE_PSA_DONE();
Paul Bakker37940d9f2009-07-10 22:38:58 +0000486}
Paul Bakker33b43f12013-08-20 11:48:36 +0200487/* END_CASE */
Paul Bakker37940d9f2009-07-10 22:38:58 +0000488
Andres AGa39db392016-12-08 17:10:38 +0000489/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRL_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100490void mbedtls_x509_crl_parse(char *crl_file, int result)
Andres AGa39db392016-12-08 17:10:38 +0000491{
492 mbedtls_x509_crl crl;
493 char buf[2000];
494
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100495 mbedtls_x509_crl_init(&crl);
496 memset(buf, 0, 2000);
Valerio Settie7373a82023-04-19 14:53:36 +0200497 USE_PSA_INIT();
Andres AGa39db392016-12-08 17:10:38 +0000498
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500499 TEST_EQUAL(mbedtls_x509_crl_parse_file(&crl, crl_file), result);
Andres AGa39db392016-12-08 17:10:38 +0000500
501exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100502 mbedtls_x509_crl_free(&crl);
Valerio Settie7373a82023-04-19 14:53:36 +0200503 USE_PSA_DONE();
Andres AGa39db392016-12-08 17:10:38 +0000504}
505/* END_CASE */
506
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200507/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CSR_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100508void mbedtls_x509_csr_info(char *csr_file, char *result_str)
Manuel Pégourié-Gonnard2a8d7fd2014-01-24 17:34:26 +0100509{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200510 mbedtls_x509_csr csr;
Manuel Pégourié-Gonnard2a8d7fd2014-01-24 17:34:26 +0100511 char buf[2000];
512 int res;
513
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100514 mbedtls_x509_csr_init(&csr);
515 memset(buf, 0, 2000);
Valerio Settie7373a82023-04-19 14:53:36 +0200516 USE_PSA_INIT();
Manuel Pégourié-Gonnard2a8d7fd2014-01-24 17:34:26 +0100517
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500518 TEST_EQUAL(mbedtls_x509_csr_parse_file(&csr, csr_file), 0);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100519 res = mbedtls_x509_csr_info(buf, 2000, "", &csr);
Manuel Pégourié-Gonnard2a8d7fd2014-01-24 17:34:26 +0100520
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100521 TEST_ASSERT(res != -1);
522 TEST_ASSERT(res != -2);
Manuel Pégourié-Gonnard2a8d7fd2014-01-24 17:34:26 +0100523
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500524 TEST_EQUAL(strcmp(buf, result_str), 0);
Paul Bakkerbd51b262014-07-10 15:26:12 +0200525
526exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100527 mbedtls_x509_csr_free(&csr);
Valerio Settie7373a82023-04-19 14:53:36 +0200528 USE_PSA_DONE();
Manuel Pégourié-Gonnard2a8d7fd2014-01-24 17:34:26 +0100529}
530/* END_CASE */
531
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +0100532/* BEGIN_CASE depends_on:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100533void x509_verify_info(int flags, char *prefix, char *result_str)
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +0100534{
535 char buf[2000];
536 int res;
537
Valerio Settie7373a82023-04-19 14:53:36 +0200538 USE_PSA_INIT();
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100539 memset(buf, 0, sizeof(buf));
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +0100540
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100541 res = mbedtls_x509_crt_verify_info(buf, sizeof(buf), prefix, flags);
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +0100542
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100543 TEST_ASSERT(res >= 0);
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +0100544
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500545 TEST_EQUAL(strcmp(buf, result_str), 0);
Valerio Settie7373a82023-04-19 14:53:36 +0200546
547exit:
548 USE_PSA_DONE();
Manuel Pégourié-Gonnardb5f48ad2015-04-20 10:38:13 +0100549}
550/* END_CASE */
551
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200552/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C:MBEDTLS_X509_CRL_PARSE_C:MBEDTLS_ECP_RESTARTABLE:MBEDTLS_ECDSA_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100553void x509_verify_restart(char *crt_file, char *ca_file,
554 int result, int flags_result,
555 int max_ops, int min_restart, int max_restart)
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200556{
557 int ret, cnt_restart;
558 mbedtls_x509_crt_restart_ctx rs_ctx;
559 mbedtls_x509_crt crt;
560 mbedtls_x509_crt ca;
561 uint32_t flags = 0;
562
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +0200563 /*
564 * See comments on ecp_test_vect_restart() for op count precision.
565 *
Gilles Peskinef08ca832023-09-12 19:21:54 +0200566 * For reference, with Mbed TLS 2.6 and default settings:
Manuel Pégourié-Gonnard8b590492017-08-14 18:04:19 +0200567 * - ecdsa_verify() for P-256: ~ 6700
568 * - ecdsa_verify() for P-384: ~ 18800
569 * - x509_verify() for server5 -> test-ca2: ~ 18800
570 * - x509_verify() for server10 -> int-ca3 -> int-ca2: ~ 25500
571 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100572 mbedtls_x509_crt_restart_init(&rs_ctx);
573 mbedtls_x509_crt_init(&crt);
574 mbedtls_x509_crt_init(&ca);
Valerio Settie7373a82023-04-19 14:53:36 +0200575 USE_PSA_INIT();
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200576
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500577 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
578 TEST_EQUAL(mbedtls_x509_crt_parse_file(&ca, ca_file), 0);
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200579
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100580 mbedtls_ecp_set_max_ops(max_ops);
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200581
582 cnt_restart = 0;
583 do {
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100584 ret = mbedtls_x509_crt_verify_restartable(&crt, &ca, NULL,
585 &mbedtls_x509_crt_profile_default, NULL, &flags,
586 NULL, NULL, &rs_ctx);
587 } while (ret == MBEDTLS_ERR_ECP_IN_PROGRESS && ++cnt_restart);
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200588
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500589 TEST_EQUAL(ret, result);
590 TEST_EQUAL(flags, (uint32_t) flags_result);
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200591
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100592 TEST_ASSERT(cnt_restart >= min_restart);
593 TEST_ASSERT(cnt_restart <= max_restart);
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200594
595 /* Do we leak memory when aborting? */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100596 ret = mbedtls_x509_crt_verify_restartable(&crt, &ca, NULL,
597 &mbedtls_x509_crt_profile_default, NULL, &flags,
598 NULL, NULL, &rs_ctx);
599 TEST_ASSERT(ret == result || ret == MBEDTLS_ERR_ECP_IN_PROGRESS);
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200600
601exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100602 mbedtls_x509_crt_restart_free(&rs_ctx);
603 mbedtls_x509_crt_free(&crt);
604 mbedtls_x509_crt_free(&ca);
Valerio Settie7373a82023-04-19 14:53:36 +0200605 USE_PSA_DONE();
Manuel Pégourié-Gonnardd19a41d2017-07-14 11:05:59 +0200606}
607/* END_CASE */
608
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200609/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C:MBEDTLS_X509_CRL_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100610void x509_verify(char *crt_file, char *ca_file, char *crl_file,
611 char *cn_name_str, int result, int flags_result,
612 char *profile_str,
613 char *verify_callback)
Paul Bakker37940d9f2009-07-10 22:38:58 +0000614{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200615 mbedtls_x509_crt crt;
616 mbedtls_x509_crt ca;
617 mbedtls_x509_crl crl;
Manuel Pégourié-Gonnarde6ef16f2015-05-11 19:54:43 +0200618 uint32_t flags = 0;
Paul Bakker69998dd2009-07-11 19:15:20 +0000619 int res;
Manuel Pégourié-Gonnarde6ef16f2015-05-11 19:54:43 +0200620 int (*f_vrfy)(void *, mbedtls_x509_crt *, int, uint32_t *) = NULL;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100621 char *cn_name = NULL;
Gilles Peskineef86ab22017-05-05 18:59:02 +0200622 const mbedtls_x509_crt_profile *profile;
Paul Bakker37940d9f2009-07-10 22:38:58 +0000623
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100624 mbedtls_x509_crt_init(&crt);
625 mbedtls_x509_crt_init(&ca);
626 mbedtls_x509_crl_init(&crl);
Paul Bakker37940d9f2009-07-10 22:38:58 +0000627
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100628 USE_PSA_INIT();
Gilles Peskine9de97e22021-02-02 21:00:11 +0100629
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100630 if (strcmp(cn_name_str, "NULL") != 0) {
Paul Bakker33b43f12013-08-20 11:48:36 +0200631 cn_name = cn_name_str;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100632 }
Paul Bakkerdbd443d2013-08-16 13:38:47 +0200633
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100634 if (strcmp(profile_str, "") == 0) {
Gilles Peskineef86ab22017-05-05 18:59:02 +0200635 profile = &mbedtls_x509_crt_profile_default;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100636 } else if (strcmp(profile_str, "next") == 0) {
Ron Eldorc1539982018-02-06 18:47:17 +0200637 profile = &mbedtls_x509_crt_profile_next;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100638 } else if (strcmp(profile_str, "suite_b") == 0) {
Ron Eldorc1539982018-02-06 18:47:17 +0200639 profile = &mbedtls_x509_crt_profile_suiteb;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100640 } else if (strcmp(profile_str, "compat") == 0) {
Gilles Peskineef86ab22017-05-05 18:59:02 +0200641 profile = &compat_profile;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100642 } else if (strcmp(profile_str, "all") == 0) {
Hanno Becker20a4ade2019-06-03 14:27:03 +0100643 profile = &profile_all;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100644 } else {
645 TEST_ASSERT("Unknown algorithm profile" == 0);
646 }
Gilles Peskineef86ab22017-05-05 18:59:02 +0200647
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100648 if (strcmp(verify_callback, "NULL") == 0) {
Paul Bakkerdbd443d2013-08-16 13:38:47 +0200649 f_vrfy = NULL;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100650 } else if (strcmp(verify_callback, "verify_none") == 0) {
Paul Bakkerdbd443d2013-08-16 13:38:47 +0200651 f_vrfy = verify_none;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100652 } else if (strcmp(verify_callback, "verify_all") == 0) {
Paul Bakkerdbd443d2013-08-16 13:38:47 +0200653 f_vrfy = verify_all;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100654 } else {
655 TEST_ASSERT("No known verify callback selected" == 0);
656 }
Paul Bakkerdbd443d2013-08-16 13:38:47 +0200657
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500658 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
659 TEST_EQUAL(mbedtls_x509_crt_parse_file(&ca, ca_file), 0);
660 TEST_EQUAL(mbedtls_x509_crl_parse_file(&crl, crl_file), 0);
Paul Bakker37940d9f2009-07-10 22:38:58 +0000661
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100662 res = mbedtls_x509_crt_verify_with_profile(&crt,
663 &ca,
664 &crl,
665 profile,
666 cn_name,
667 &flags,
668 f_vrfy,
669 NULL);
Manuel Pégourié-Gonnard65eefc82015-10-23 14:08:48 +0200670
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500671 TEST_EQUAL(res, (result));
672 TEST_EQUAL(flags, (uint32_t) (flags_result));
Paul Bakkerbd51b262014-07-10 15:26:12 +0200673
Jarno Lamsa03cd1202019-03-27 15:45:04 +0200674#if defined(MBEDTLS_X509_TRUSTED_CERTIFICATE_CALLBACK)
Hanno Becker0350d562019-03-28 14:23:36 +0000675 /* CRLs aren't supported with CA callbacks, so skip the CA callback
Jarno Lamsadfd22c42019-04-01 15:18:53 +0300676 * version of the test if CRLs are in use. */
Gilles Peskinece9c4f52023-10-17 17:26:44 +0200677 if (strcmp(crl_file, "") == 0) {
Hanno Becker0350d562019-03-28 14:23:36 +0000678 flags = 0;
Jarno Lamsa03cd1202019-03-27 15:45:04 +0200679
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100680 res = mbedtls_x509_crt_verify_with_ca_cb(&crt,
681 ca_callback,
682 &ca,
683 profile,
684 cn_name,
685 &flags,
686 f_vrfy,
687 NULL);
Jarno Lamsa03cd1202019-03-27 15:45:04 +0200688
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500689 TEST_EQUAL(res, result);
690 TEST_EQUAL(flags, (uint32_t) (flags_result));
Hanno Becker0350d562019-03-28 14:23:36 +0000691 }
Jarno Lamsa03cd1202019-03-27 15:45:04 +0200692#endif /* MBEDTLS_X509_TRUSTED_CERTIFICATE_CALLBACK */
Paul Bakkerbd51b262014-07-10 15:26:12 +0200693exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100694 mbedtls_x509_crt_free(&crt);
695 mbedtls_x509_crt_free(&ca);
696 mbedtls_x509_crl_free(&crl);
697 USE_PSA_DONE();
Paul Bakker37940d9f2009-07-10 22:38:58 +0000698}
Paul Bakker33b43f12013-08-20 11:48:36 +0200699/* END_CASE */
Paul Bakker37940d9f2009-07-10 22:38:58 +0000700
Jarno Lamsa557426a2019-03-27 17:08:29 +0200701/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C:MBEDTLS_X509_CRL_PARSE_C:MBEDTLS_X509_TRUSTED_CERTIFICATE_CALLBACK */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100702void x509_verify_ca_cb_failure(char *crt_file, char *ca_file, char *name,
703 int exp_ret)
Jarno Lamsa557426a2019-03-27 17:08:29 +0200704{
705 int ret;
706 mbedtls_x509_crt crt;
707 mbedtls_x509_crt ca;
708 uint32_t flags = 0;
Hanno Becker3f932bb2019-03-28 17:06:47 +0000709
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100710 mbedtls_x509_crt_init(&crt);
711 mbedtls_x509_crt_init(&ca);
Valerio Settie7373a82023-04-19 14:53:36 +0200712 USE_PSA_INIT();
Jarno Lamsa557426a2019-03-27 17:08:29 +0200713
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500714 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
715 TEST_EQUAL(mbedtls_x509_crt_parse_file(&ca, ca_file), 0);
Jarno Lamsa557426a2019-03-27 17:08:29 +0200716
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100717 if (strcmp(name, "NULL") == 0) {
Jarno Lamsa557426a2019-03-27 17:08:29 +0200718 name = NULL;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100719 }
Hanno Beckercbb59032019-03-28 14:14:22 +0000720
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100721 ret = mbedtls_x509_crt_verify_with_ca_cb(&crt, ca_callback_fail, &ca,
722 &compat_profile, name, &flags,
723 NULL, NULL);
Jarno Lamsa557426a2019-03-27 17:08:29 +0200724
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500725 TEST_EQUAL(ret, exp_ret);
726 TEST_EQUAL(flags, (uint32_t) (-1));
Jarno Lamsa557426a2019-03-27 17:08:29 +0200727exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100728 mbedtls_x509_crt_free(&crt);
729 mbedtls_x509_crt_free(&ca);
Valerio Settie7373a82023-04-19 14:53:36 +0200730 USE_PSA_DONE();
Jarno Lamsa557426a2019-03-27 17:08:29 +0200731}
732/* END_CASE */
733
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200734/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100735void x509_verify_callback(char *crt_file, char *ca_file, char *name,
736 int exp_ret, char *exp_vrfy_out)
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200737{
738 int ret;
739 mbedtls_x509_crt crt;
740 mbedtls_x509_crt ca;
741 uint32_t flags = 0;
742 verify_print_context vrfy_ctx;
743
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100744 mbedtls_x509_crt_init(&crt);
745 mbedtls_x509_crt_init(&ca);
746 verify_print_init(&vrfy_ctx);
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200747
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100748 USE_PSA_INIT();
Gilles Peskine9de97e22021-02-02 21:00:11 +0100749
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500750 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
751 TEST_EQUAL(mbedtls_x509_crt_parse_file(&ca, ca_file), 0);
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200752
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100753 if (strcmp(name, "NULL") == 0) {
Manuel Pégourié-Gonnarda6568252017-07-05 18:14:38 +0200754 name = NULL;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100755 }
Manuel Pégourié-Gonnarda6568252017-07-05 18:14:38 +0200756
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100757 ret = mbedtls_x509_crt_verify_with_profile(&crt, &ca, NULL,
758 &compat_profile,
759 name, &flags,
760 verify_print, &vrfy_ctx);
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200761
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500762 TEST_EQUAL(ret, exp_ret);
763 TEST_EQUAL(strcmp(vrfy_ctx.buf, exp_vrfy_out), 0);
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200764
765exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100766 mbedtls_x509_crt_free(&crt);
767 mbedtls_x509_crt_free(&ca);
768 USE_PSA_DONE();
Manuel Pégourié-Gonnard560fea32015-09-01 11:59:24 +0200769}
770/* END_CASE */
771
772/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100773void mbedtls_x509_dn_gets(char *crt_file, char *entity, char *result_str)
Paul Bakker37940d9f2009-07-10 22:38:58 +0000774{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200775 mbedtls_x509_crt crt;
Paul Bakker37940d9f2009-07-10 22:38:58 +0000776 char buf[2000];
Paul Bakkerdbd443d2013-08-16 13:38:47 +0200777 int res = 0;
Paul Bakker37940d9f2009-07-10 22:38:58 +0000778
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100779 mbedtls_x509_crt_init(&crt);
780 memset(buf, 0, 2000);
Valerio Settie7373a82023-04-19 14:53:36 +0200781 USE_PSA_INIT();
Paul Bakker37940d9f2009-07-10 22:38:58 +0000782
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500783 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100784 if (strcmp(entity, "subject") == 0) {
785 res = mbedtls_x509_dn_gets(buf, 2000, &crt.subject);
786 } else if (strcmp(entity, "issuer") == 0) {
787 res = mbedtls_x509_dn_gets(buf, 2000, &crt.issuer);
788 } else {
789 TEST_ASSERT("Unknown entity" == 0);
790 }
Paul Bakker37940d9f2009-07-10 22:38:58 +0000791
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100792 TEST_ASSERT(res != -1);
793 TEST_ASSERT(res != -2);
Paul Bakker37940d9f2009-07-10 22:38:58 +0000794
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500795 TEST_EQUAL(strcmp(buf, result_str), 0);
Paul Bakkerbd51b262014-07-10 15:26:12 +0200796
797exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100798 mbedtls_x509_crt_free(&crt);
Valerio Settie7373a82023-04-19 14:53:36 +0200799 USE_PSA_DONE();
Paul Bakker37940d9f2009-07-10 22:38:58 +0000800}
Paul Bakker33b43f12013-08-20 11:48:36 +0200801/* END_CASE */
Paul Bakker37940d9f2009-07-10 22:38:58 +0000802
Manuel Pégourié-Gonnard3ee4e642024-04-02 11:33:14 +0200803/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100804void mbedtls_x509_dn_gets_subject_replace(char *crt_file,
805 char *new_subject_ou,
806 char *result_str,
807 int ret)
Werner Lewis9a2356b2022-06-17 15:51:55 +0100808{
809 mbedtls_x509_crt crt;
810 char buf[2000];
811 int res = 0;
812
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100813 mbedtls_x509_crt_init(&crt);
814 memset(buf, 0, 2000);
Valerio Settie7373a82023-04-19 14:53:36 +0200815 USE_PSA_INIT();
Werner Lewis9a2356b2022-06-17 15:51:55 +0100816
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500817 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
Werner Lewis9a2356b2022-06-17 15:51:55 +0100818 crt.subject.next->val.p = (unsigned char *) new_subject_ou;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100819 crt.subject.next->val.len = strlen(new_subject_ou);
Werner Lewis9a2356b2022-06-17 15:51:55 +0100820
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100821 res = mbedtls_x509_dn_gets(buf, 2000, &crt.subject);
Werner Lewis9a2356b2022-06-17 15:51:55 +0100822
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100823 if (ret != 0) {
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500824 TEST_EQUAL(res, ret);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100825 } else {
826 TEST_ASSERT(res != -1);
827 TEST_ASSERT(res != -2);
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500828 TEST_EQUAL(strcmp(buf, result_str), 0);
Werner Lewis9a2356b2022-06-17 15:51:55 +0100829 }
830exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100831 mbedtls_x509_crt_free(&crt);
Valerio Settie7373a82023-04-19 14:53:36 +0200832 USE_PSA_DONE();
Werner Lewis9a2356b2022-06-17 15:51:55 +0100833}
834/* END_CASE */
835
David Horstmann77ecc6e2022-10-05 13:08:45 +0100836/* BEGIN_CASE depends_on:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100837void mbedtls_x509_get_name(char *rdn_sequence, int exp_ret)
David Horstmann77ecc6e2022-10-05 13:08:45 +0100838{
valerio5346ef52023-04-20 14:48:19 +0200839 unsigned char *name = NULL;
David Horstmann77ecc6e2022-10-05 13:08:45 +0100840 unsigned char *p;
841 size_t name_len;
David Horstmann6c4226c2022-10-20 10:18:37 +0100842 mbedtls_x509_name head;
David Horstmann77ecc6e2022-10-05 13:08:45 +0100843 mbedtls_x509_name *allocated, *prev;
David Horstmann4a67c352022-10-17 17:59:10 +0100844 int ret;
David Horstmann77ecc6e2022-10-05 13:08:45 +0100845
Valerio Settie7373a82023-04-19 14:53:36 +0200846 USE_PSA_INIT();
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100847 memset(&head, 0, sizeof(head));
David Horstmann6c4226c2022-10-20 10:18:37 +0100848
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100849 name = mbedtls_test_unhexify_alloc(rdn_sequence, &name_len);
David Horstmann77ecc6e2022-10-05 13:08:45 +0100850 p = name;
851
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100852 ret = mbedtls_x509_get_name(&p, (name + name_len), &head);
853 if (ret == 0) {
David Horstmann77ecc6e2022-10-05 13:08:45 +0100854 allocated = head.next;
David Horstmann77ecc6e2022-10-05 13:08:45 +0100855
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100856 while (allocated != NULL) {
David Horstmann77ecc6e2022-10-05 13:08:45 +0100857 prev = allocated;
858 allocated = allocated->next;
859
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100860 mbedtls_free(prev);
David Horstmann77ecc6e2022-10-05 13:08:45 +0100861 }
862 }
863
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100864 TEST_EQUAL(ret, exp_ret);
David Horstmann77ecc6e2022-10-05 13:08:45 +0100865
Valerio Settie7373a82023-04-19 14:53:36 +0200866exit:
valerio5b5da942023-04-20 11:59:52 +0200867 mbedtls_free(name);
Valerio Settie7373a82023-04-19 14:53:36 +0200868 USE_PSA_DONE();
David Horstmann77ecc6e2022-10-05 13:08:45 +0100869}
870/* END_CASE */
871
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200872/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100873void mbedtls_x509_time_is_past(char *crt_file, char *entity, int result)
Paul Bakker37940d9f2009-07-10 22:38:58 +0000874{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200875 mbedtls_x509_crt crt;
Paul Bakker37940d9f2009-07-10 22:38:58 +0000876
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100877 mbedtls_x509_crt_init(&crt);
Valerio Settie7373a82023-04-19 14:53:36 +0200878 USE_PSA_INIT();
Paul Bakker37940d9f2009-07-10 22:38:58 +0000879
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500880 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
Paul Bakkerdbd443d2013-08-16 13:38:47 +0200881
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100882 if (strcmp(entity, "valid_from") == 0) {
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500883 TEST_EQUAL(mbedtls_x509_time_is_past(&crt.valid_from), result);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100884 } else if (strcmp(entity, "valid_to") == 0) {
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500885 TEST_EQUAL(mbedtls_x509_time_is_past(&crt.valid_to), result);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100886 } else {
887 TEST_ASSERT("Unknown entity" == 0);
888 }
Paul Bakkerb08e6842012-02-11 18:43:20 +0000889
Paul Bakkerbd51b262014-07-10 15:26:12 +0200890exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100891 mbedtls_x509_crt_free(&crt);
Valerio Settie7373a82023-04-19 14:53:36 +0200892 USE_PSA_DONE();
Paul Bakker37940d9f2009-07-10 22:38:58 +0000893}
Paul Bakker33b43f12013-08-20 11:48:36 +0200894/* END_CASE */
Paul Bakker37940d9f2009-07-10 22:38:58 +0000895
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200896/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100897void mbedtls_x509_time_is_future(char *crt_file, char *entity, int result)
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +0100898{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200899 mbedtls_x509_crt crt;
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +0100900
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100901 mbedtls_x509_crt_init(&crt);
Valerio Settie7373a82023-04-19 14:53:36 +0200902 USE_PSA_INIT();
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +0100903
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500904 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +0100905
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100906 if (strcmp(entity, "valid_from") == 0) {
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500907 TEST_EQUAL(mbedtls_x509_time_is_future(&crt.valid_from), result);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100908 } else if (strcmp(entity, "valid_to") == 0) {
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500909 TEST_EQUAL(mbedtls_x509_time_is_future(&crt.valid_to), result);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100910 } else {
911 TEST_ASSERT("Unknown entity" == 0);
912 }
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +0100913
Paul Bakkerbd51b262014-07-10 15:26:12 +0200914exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100915 mbedtls_x509_crt_free(&crt);
Valerio Settie7373a82023-04-19 14:53:36 +0200916 USE_PSA_DONE();
Manuel Pégourié-Gonnard6304f782014-03-10 12:26:11 +0100917}
918/* END_CASE */
919
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200920/* BEGIN_CASE depends_on:MBEDTLS_X509_CRT_PARSE_C:MBEDTLS_FS_IO */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100921void x509parse_crt_file(char *crt_file, int result)
Paul Bakker5a5fa922014-09-26 14:53:04 +0200922{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200923 mbedtls_x509_crt crt;
Paul Bakker5a5fa922014-09-26 14:53:04 +0200924
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100925 mbedtls_x509_crt_init(&crt);
Valerio Settie7373a82023-04-19 14:53:36 +0200926 USE_PSA_INIT();
Paul Bakker5a5fa922014-09-26 14:53:04 +0200927
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500928 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), result);
Paul Bakker5a5fa922014-09-26 14:53:04 +0200929
930exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100931 mbedtls_x509_crt_free(&crt);
Valerio Settie7373a82023-04-19 14:53:36 +0200932 USE_PSA_DONE();
Paul Bakker5a5fa922014-09-26 14:53:04 +0200933}
934/* END_CASE */
935
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200936/* BEGIN_CASE depends_on:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100937void x509parse_crt(data_t *buf, char *result_str, int result)
Paul Bakkerb2c38f52009-07-19 19:36:15 +0000938{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200939 mbedtls_x509_crt crt;
Paul Bakkerb2c38f52009-07-19 19:36:15 +0000940 unsigned char output[2000];
Azim Khanf1aaec92017-05-30 14:23:15 +0100941 int res;
Paul Bakkerb2c38f52009-07-19 19:36:15 +0000942
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100943 mbedtls_x509_crt_init(&crt);
944 memset(output, 0, 2000);
Valerio Settie7373a82023-04-19 14:53:36 +0200945 USE_PSA_INIT();
Paul Bakkerb2c38f52009-07-19 19:36:15 +0000946
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500947 TEST_EQUAL(mbedtls_x509_crt_parse_der(&crt, buf->x, buf->len), result);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100948 if ((result) == 0) {
949 res = mbedtls_x509_crt_info((char *) output, 2000, "", &crt);
Paul Bakkerb2c38f52009-07-19 19:36:15 +0000950
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100951 TEST_ASSERT(res != -1);
952 TEST_ASSERT(res != -2);
Hanno Becker2d8a2c02019-01-31 09:15:53 +0000953
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500954 TEST_EQUAL(strcmp((char *) output, result_str), 0);
Hanno Becker2d8a2c02019-01-31 09:15:53 +0000955 }
956
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100957 mbedtls_x509_crt_free(&crt);
958 mbedtls_x509_crt_init(&crt);
959 memset(output, 0, 2000);
Hanno Becker2d8a2c02019-01-31 09:15:53 +0000960
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500961 TEST_EQUAL(mbedtls_x509_crt_parse_der_nocopy(&crt, buf->x, buf->len), result);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100962 if ((result) == 0) {
963 res = mbedtls_x509_crt_info((char *) output, 2000, "", &crt);
Paul Bakker33b43f12013-08-20 11:48:36 +0200964
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100965 TEST_ASSERT(res != -1);
966 TEST_ASSERT(res != -2);
Paul Bakkerb2c38f52009-07-19 19:36:15 +0000967
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500968 TEST_EQUAL(strcmp((char *) output, result_str), 0);
Paul Bakkerb2c38f52009-07-19 19:36:15 +0000969 }
Paul Bakkerb08e6842012-02-11 18:43:20 +0000970
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100971 mbedtls_x509_crt_free(&crt);
972 mbedtls_x509_crt_init(&crt);
973 memset(output, 0, 2000);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +0200974
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500975 TEST_EQUAL(mbedtls_x509_crt_parse_der_with_ext_cb(&crt, buf->x, buf->len, 0, NULL, NULL),
976 result);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100977 if ((result) == 0) {
978 res = mbedtls_x509_crt_info((char *) output, 2000, "", &crt);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +0200979
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100980 TEST_ASSERT(res != -1);
981 TEST_ASSERT(res != -2);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +0200982
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500983 TEST_EQUAL(strcmp((char *) output, result_str), 0);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +0200984 }
985
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100986 mbedtls_x509_crt_free(&crt);
987 mbedtls_x509_crt_init(&crt);
988 memset(output, 0, 2000);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +0200989
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500990 TEST_EQUAL(mbedtls_x509_crt_parse_der_with_ext_cb(&crt, buf->x, buf->len, 1, NULL, NULL),
991 result);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100992 if ((result) == 0) {
993 res = mbedtls_x509_crt_info((char *) output, 2000, "", &crt);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +0200994
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100995 TEST_ASSERT(res != -1);
996 TEST_ASSERT(res != -2);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +0200997
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -0500998 TEST_EQUAL(strcmp((char *) output, result_str), 0);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +0200999 }
1000
1001exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001002 mbedtls_x509_crt_free(&crt);
Valerio Settie7373a82023-04-19 14:53:36 +02001003 USE_PSA_DONE();
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001004}
1005/* END_CASE */
1006
1007/* BEGIN_CASE depends_on:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001008void x509parse_crt_cb(data_t *buf, char *result_str, int result)
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001009{
1010 mbedtls_x509_crt crt;
Nicola Di Lietoe58b4632020-05-29 22:58:25 +02001011 mbedtls_x509_buf oid;
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001012 unsigned char output[2000];
1013 int res;
1014
Nicola Di Lietoe58b4632020-05-29 22:58:25 +02001015 oid.tag = MBEDTLS_ASN1_OID;
1016 oid.len = MBEDTLS_OID_SIZE(MBEDTLS_OID_PKIX "\x01\x1F");
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001017 oid.p = (unsigned char *) MBEDTLS_OID_PKIX "\x01\x1F";
Nicola Di Lietoe58b4632020-05-29 22:58:25 +02001018
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001019 mbedtls_x509_crt_init(&crt);
1020 memset(output, 0, 2000);
Valerio Settie7373a82023-04-19 14:53:36 +02001021 USE_PSA_INIT();
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001022
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001023 TEST_EQUAL(mbedtls_x509_crt_parse_der_with_ext_cb(&crt, buf->x, buf->len, 0, parse_crt_ext_cb,
1024 &oid), result);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001025 if ((result) == 0) {
1026 res = mbedtls_x509_crt_info((char *) output, 2000, "", &crt);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001027
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001028 TEST_ASSERT(res != -1);
1029 TEST_ASSERT(res != -2);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001030
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001031 TEST_EQUAL(strcmp((char *) output, result_str), 0);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001032 }
1033
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001034 mbedtls_x509_crt_free(&crt);
1035 mbedtls_x509_crt_init(&crt);
1036 memset(output, 0, 2000);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001037
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001038 TEST_EQUAL(mbedtls_x509_crt_parse_der_with_ext_cb(&crt, buf->x, buf->len, 1, parse_crt_ext_cb,
1039 &oid), (result));
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001040 if ((result) == 0) {
1041 res = mbedtls_x509_crt_info((char *) output, 2000, "", &crt);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001042
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001043 TEST_ASSERT(res != -1);
1044 TEST_ASSERT(res != -2);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001045
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001046 TEST_EQUAL(strcmp((char *) output, result_str), 0);
Nicola Di Lieto17bb60c2020-05-28 23:04:15 +02001047 }
1048
Paul Bakkerbd51b262014-07-10 15:26:12 +02001049exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001050 mbedtls_x509_crt_free(&crt);
Valerio Settie7373a82023-04-19 14:53:36 +02001051 USE_PSA_DONE();
Paul Bakkerb2c38f52009-07-19 19:36:15 +00001052}
Paul Bakker33b43f12013-08-20 11:48:36 +02001053/* END_CASE */
Paul Bakkerb2c38f52009-07-19 19:36:15 +00001054
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001055/* BEGIN_CASE depends_on:MBEDTLS_X509_CRL_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001056void x509parse_crl(data_t *buf, char *result_str, int result)
Paul Bakker6b0fa4f2009-07-20 20:35:41 +00001057{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001058 mbedtls_x509_crl crl;
Paul Bakker6b0fa4f2009-07-20 20:35:41 +00001059 unsigned char output[2000];
Azim Khanf1aaec92017-05-30 14:23:15 +01001060 int res;
Paul Bakker6b0fa4f2009-07-20 20:35:41 +00001061
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001062 mbedtls_x509_crl_init(&crl);
1063 memset(output, 0, 2000);
Valerio Settie7373a82023-04-19 14:53:36 +02001064 USE_PSA_INIT();
Paul Bakker6b0fa4f2009-07-20 20:35:41 +00001065
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001066 TEST_EQUAL(mbedtls_x509_crl_parse(&crl, buf->x, buf->len), (result));
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001067 if ((result) == 0) {
1068 res = mbedtls_x509_crl_info((char *) output, 2000, "", &crl);
Paul Bakker33b43f12013-08-20 11:48:36 +02001069
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001070 TEST_ASSERT(res != -1);
1071 TEST_ASSERT(res != -2);
Paul Bakker6b0fa4f2009-07-20 20:35:41 +00001072
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001073 TEST_EQUAL(strcmp((char *) output, result_str), 0);
Paul Bakker6b0fa4f2009-07-20 20:35:41 +00001074 }
Paul Bakkerb08e6842012-02-11 18:43:20 +00001075
Paul Bakkerbd51b262014-07-10 15:26:12 +02001076exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001077 mbedtls_x509_crl_free(&crl);
Valerio Settie7373a82023-04-19 14:53:36 +02001078 USE_PSA_DONE();
Paul Bakker6b0fa4f2009-07-20 20:35:41 +00001079}
Paul Bakker33b43f12013-08-20 11:48:36 +02001080/* END_CASE */
Paul Bakker6b0fa4f2009-07-20 20:35:41 +00001081
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001082/* BEGIN_CASE depends_on:MBEDTLS_X509_CSR_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001083void mbedtls_x509_csr_parse(data_t *csr_der, char *ref_out, int ref_ret)
Manuel Pégourié-Gonnardd77cd5d2014-06-13 11:13:15 +02001084{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001085 mbedtls_x509_csr csr;
Manuel Pégourié-Gonnardd77cd5d2014-06-13 11:13:15 +02001086 char my_out[1000];
Manuel Pégourié-Gonnardd77cd5d2014-06-13 11:13:15 +02001087 int my_ret;
1088
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001089 mbedtls_x509_csr_init(&csr);
1090 memset(my_out, 0, sizeof(my_out));
Valerio Settie7373a82023-04-19 14:53:36 +02001091 USE_PSA_INIT();
Manuel Pégourié-Gonnardd77cd5d2014-06-13 11:13:15 +02001092
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001093 my_ret = mbedtls_x509_csr_parse_der(&csr, csr_der->x, csr_der->len);
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001094 TEST_EQUAL(my_ret, ref_ret);
Manuel Pégourié-Gonnardd77cd5d2014-06-13 11:13:15 +02001095
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001096 if (ref_ret == 0) {
1097 size_t my_out_len = mbedtls_x509_csr_info(my_out, sizeof(my_out), "", &csr);
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001098 TEST_EQUAL(my_out_len, strlen(ref_out));
1099 TEST_EQUAL(strcmp(my_out, ref_out), 0);
Manuel Pégourié-Gonnardd77cd5d2014-06-13 11:13:15 +02001100 }
1101
Paul Bakkerbd51b262014-07-10 15:26:12 +02001102exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001103 mbedtls_x509_csr_free(&csr);
Valerio Settie7373a82023-04-19 14:53:36 +02001104 USE_PSA_DONE();
Manuel Pégourié-Gonnardd77cd5d2014-06-13 11:13:15 +02001105}
1106/* END_CASE */
1107
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001108/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskinead72ea02023-04-13 18:13:48 +02001109void mbedtls_x509_crt_parse_file(char *crt_path, int ret, int nb_crt)
1110{
1111 mbedtls_x509_crt chain, *cur;
1112 int i;
1113
1114 mbedtls_x509_crt_init(&chain);
1115 USE_PSA_INIT();
1116
1117 TEST_EQUAL(mbedtls_x509_crt_parse_file(&chain, crt_path), ret);
1118
1119 /* Check how many certs we got */
1120 for (i = 0, cur = &chain; cur != NULL; cur = cur->next) {
1121 if (cur->raw.p != NULL) {
1122 i++;
1123 }
1124 }
1125
1126 TEST_EQUAL(i, nb_crt);
1127
1128exit:
1129 mbedtls_x509_crt_free(&chain);
1130 USE_PSA_DONE();
1131}
1132/* END_CASE */
1133
1134/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001135void mbedtls_x509_crt_parse_path(char *crt_path, int ret, int nb_crt)
Manuel Pégourié-Gonnardfbae2a12013-11-26 16:43:39 +01001136{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001137 mbedtls_x509_crt chain, *cur;
Manuel Pégourié-Gonnardfbae2a12013-11-26 16:43:39 +01001138 int i;
1139
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001140 mbedtls_x509_crt_init(&chain);
Valerio Settie7373a82023-04-19 14:53:36 +02001141 USE_PSA_INIT();
Manuel Pégourié-Gonnardfbae2a12013-11-26 16:43:39 +01001142
Gilles Peskinea4394d42023-04-13 18:14:45 +02001143 TEST_EQUAL(mbedtls_x509_crt_parse_path(&chain, crt_path), ret);
Manuel Pégourié-Gonnardfbae2a12013-11-26 16:43:39 +01001144
1145 /* Check how many certs we got */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001146 for (i = 0, cur = &chain; cur != NULL; cur = cur->next) {
1147 if (cur->raw.p != NULL) {
Manuel Pégourié-Gonnardfbae2a12013-11-26 16:43:39 +01001148 i++;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001149 }
1150 }
Manuel Pégourié-Gonnardfbae2a12013-11-26 16:43:39 +01001151
Gilles Peskinea4394d42023-04-13 18:14:45 +02001152 TEST_EQUAL(i, nb_crt);
Manuel Pégourié-Gonnardfbae2a12013-11-26 16:43:39 +01001153
Paul Bakkerbd51b262014-07-10 15:26:12 +02001154exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001155 mbedtls_x509_crt_free(&chain);
Valerio Settie7373a82023-04-19 14:53:36 +02001156 USE_PSA_DONE();
Manuel Pégourié-Gonnardfbae2a12013-11-26 16:43:39 +01001157}
1158/* END_CASE */
1159
Janos Follath822b2c32015-10-11 10:25:22 +02001160/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001161void mbedtls_x509_crt_verify_max(char *ca_file, char *chain_dir, int nb_int,
1162 int ret_chk, int flags_chk)
Manuel Pégourié-Gonnard1beb0482017-06-05 13:49:44 +02001163{
1164 char file_buf[128];
1165 int ret;
1166 uint32_t flags;
1167 mbedtls_x509_crt trusted, chain;
1168
1169 /*
1170 * We expect chain_dir to contain certificates 00.crt, 01.crt, etc.
1171 * with NN.crt signed by NN-1.crt
1172 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001173 mbedtls_x509_crt_init(&trusted);
1174 mbedtls_x509_crt_init(&chain);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001175 USE_PSA_INIT();
Gilles Peskine9de97e22021-02-02 21:00:11 +01001176
Manuel Pégourié-Gonnard1beb0482017-06-05 13:49:44 +02001177 /* Load trusted root */
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001178 TEST_EQUAL(mbedtls_x509_crt_parse_file(&trusted, ca_file), 0);
Manuel Pégourié-Gonnard1beb0482017-06-05 13:49:44 +02001179
1180 /* Load a chain with nb_int intermediates (from 01 to nb_int),
1181 * plus one "end-entity" cert (nb_int + 1) */
Dave Rodgman18688702023-02-02 12:40:50 +00001182 ret = mbedtls_snprintf(file_buf, sizeof(file_buf), "%s/c%02d.pem", chain_dir,
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001183 nb_int + 1);
Dave Rodgman18688702023-02-02 12:40:50 +00001184 TEST_ASSERT(ret > 0 && (size_t) ret < sizeof(file_buf));
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001185 TEST_EQUAL(mbedtls_x509_crt_parse_file(&chain, file_buf), 0);
Manuel Pégourié-Gonnard1beb0482017-06-05 13:49:44 +02001186
1187 /* Try to verify that chain */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001188 ret = mbedtls_x509_crt_verify(&chain, &trusted, NULL, NULL, &flags,
1189 NULL, NULL);
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001190 TEST_EQUAL(ret, ret_chk);
1191 TEST_EQUAL(flags, (uint32_t) flags_chk);
Manuel Pégourié-Gonnard1beb0482017-06-05 13:49:44 +02001192
1193exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001194 mbedtls_x509_crt_free(&chain);
1195 mbedtls_x509_crt_free(&trusted);
1196 USE_PSA_DONE();
Manuel Pégourié-Gonnard1beb0482017-06-05 13:49:44 +02001197}
1198/* END_CASE */
1199
1200/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001201void mbedtls_x509_crt_verify_chain(char *chain_paths, char *trusted_ca,
1202 int flags_result, int result,
1203 char *profile_name, int vrfy_fatal_lvls)
Janos Follath822b2c32015-10-11 10:25:22 +02001204{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001205 char *act;
Janos Follath822b2c32015-10-11 10:25:22 +02001206 uint32_t flags;
Manuel Pégourié-Gonnarde54931f2017-05-22 12:04:25 +02001207 int res;
Manuel Pégourié-Gonnarde670f902015-10-30 09:23:19 +01001208 mbedtls_x509_crt trusted, chain;
Manuel Pégourié-Gonnarde54931f2017-05-22 12:04:25 +02001209 const mbedtls_x509_crt_profile *profile = NULL;
Janos Follathef4f2582015-10-11 16:17:27 +02001210
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001211 mbedtls_x509_crt_init(&chain);
1212 mbedtls_x509_crt_init(&trusted);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001213 USE_PSA_INIT();
Gilles Peskine9de97e22021-02-02 21:00:11 +01001214
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001215 while ((act = mystrsep(&chain_paths, " ")) != NULL) {
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001216 TEST_EQUAL(mbedtls_x509_crt_parse_file(&chain, act), 0);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001217 }
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001218 TEST_EQUAL(mbedtls_x509_crt_parse_file(&trusted, trusted_ca), 0);
Janos Follath822b2c32015-10-11 10:25:22 +02001219
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001220 if (strcmp(profile_name, "") == 0) {
Manuel Pégourié-Gonnarde54931f2017-05-22 12:04:25 +02001221 profile = &mbedtls_x509_crt_profile_default;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001222 } else if (strcmp(profile_name, "next") == 0) {
Manuel Pégourié-Gonnarde54931f2017-05-22 12:04:25 +02001223 profile = &mbedtls_x509_crt_profile_next;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001224 } else if (strcmp(profile_name, "suiteb") == 0) {
Manuel Pégourié-Gonnarde54931f2017-05-22 12:04:25 +02001225 profile = &mbedtls_x509_crt_profile_suiteb;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001226 } else if (strcmp(profile_name, "rsa3072") == 0) {
Manuel Pégourié-Gonnard6622fed2017-05-23 11:29:29 +02001227 profile = &profile_rsa3072;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001228 } else if (strcmp(profile_name, "sha512") == 0) {
Manuel Pégourié-Gonnard6622fed2017-05-23 11:29:29 +02001229 profile = &profile_sha512;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001230 }
Manuel Pégourié-Gonnarde54931f2017-05-22 12:04:25 +02001231
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001232 res = mbedtls_x509_crt_verify_with_profile(&chain, &trusted, NULL, profile,
1233 NULL, &flags, verify_fatal, &vrfy_fatal_lvls);
Janos Follathef4f2582015-10-11 16:17:27 +02001234
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001235 TEST_EQUAL(res, (result));
1236 TEST_EQUAL(flags, (uint32_t) (flags_result));
Janos Follath822b2c32015-10-11 10:25:22 +02001237
1238exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001239 mbedtls_x509_crt_free(&trusted);
1240 mbedtls_x509_crt_free(&chain);
1241 USE_PSA_DONE();
Janos Follath822b2c32015-10-11 10:25:22 +02001242}
1243/* END_CASE */
1244
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001245/* BEGIN_CASE depends_on:MBEDTLS_X509_USE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001246void x509_oid_desc(data_t *buf, char *ref_desc)
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001247{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001248 mbedtls_x509_buf oid;
Manuel Pégourié-Gonnard48d3cef2015-03-20 18:14:26 +00001249 const char *desc = NULL;
Manuel Pégourié-Gonnard48d3cef2015-03-20 18:14:26 +00001250 int ret;
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001251
Valerio Settie7373a82023-04-19 14:53:36 +02001252 USE_PSA_INIT();
valerio5b5da942023-04-20 11:59:52 +02001253
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001254 oid.tag = MBEDTLS_ASN1_OID;
Azim Khand30ca132017-06-09 04:32:58 +01001255 oid.p = buf->x;
1256 oid.len = buf->len;
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001257
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001258 ret = mbedtls_oid_get_extended_key_usage(&oid, &desc);
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001259
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001260 if (strcmp(ref_desc, "notfound") == 0) {
1261 TEST_ASSERT(ret != 0);
1262 TEST_ASSERT(desc == NULL);
1263 } else {
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001264 TEST_EQUAL(ret, 0);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001265 TEST_ASSERT(desc != NULL);
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001266 TEST_EQUAL(strcmp(desc, ref_desc), 0);
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001267 }
Valerio Settie7373a82023-04-19 14:53:36 +02001268
1269exit:
1270 USE_PSA_DONE();
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001271}
1272/* END_CASE */
1273
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001274/* BEGIN_CASE depends_on:MBEDTLS_X509_USE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001275void x509_oid_numstr(data_t *oid_buf, char *numstr, int blen, int ret)
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001276{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001277 mbedtls_x509_buf oid;
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001278 char num_buf[100];
1279
Valerio Settie7373a82023-04-19 14:53:36 +02001280 USE_PSA_INIT();
valerio5b5da942023-04-20 11:59:52 +02001281
Dave Rodgman18688702023-02-02 12:40:50 +00001282 memset(num_buf, 0x2a, sizeof(num_buf));
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001283
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001284 oid.tag = MBEDTLS_ASN1_OID;
Azim Khand30ca132017-06-09 04:32:58 +01001285 oid.p = oid_buf->x;
1286 oid.len = oid_buf->len;
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001287
Dave Rodgman18688702023-02-02 12:40:50 +00001288 TEST_ASSERT((size_t) blen <= sizeof(num_buf));
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001289
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001290 TEST_EQUAL(mbedtls_oid_get_numeric_string(num_buf, blen, &oid), ret);
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001291
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001292 if (ret >= 0) {
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001293 TEST_EQUAL(num_buf[ret], 0);
1294 TEST_EQUAL(strcmp(num_buf, numstr), 0);
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001295 }
Valerio Settie7373a82023-04-19 14:53:36 +02001296
1297exit:
1298 USE_PSA_DONE();
Manuel Pégourié-Gonnard7afdb882014-03-28 16:06:35 +01001299}
1300/* END_CASE */
1301
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001302/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C:MBEDTLS_X509_CHECK_KEY_USAGE */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001303void x509_check_key_usage(char *crt_file, int usage, int ret)
Manuel Pégourié-Gonnard603116c2014-04-09 09:50:03 +02001304{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001305 mbedtls_x509_crt crt;
Manuel Pégourié-Gonnard603116c2014-04-09 09:50:03 +02001306
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001307 mbedtls_x509_crt_init(&crt);
Valerio Settie7373a82023-04-19 14:53:36 +02001308 USE_PSA_INIT();
Manuel Pégourié-Gonnard603116c2014-04-09 09:50:03 +02001309
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001310 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
Manuel Pégourié-Gonnard603116c2014-04-09 09:50:03 +02001311
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001312 TEST_EQUAL(mbedtls_x509_crt_check_key_usage(&crt, usage), ret);
Manuel Pégourié-Gonnard603116c2014-04-09 09:50:03 +02001313
Paul Bakkerbd51b262014-07-10 15:26:12 +02001314exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001315 mbedtls_x509_crt_free(&crt);
Valerio Settie7373a82023-04-19 14:53:36 +02001316 USE_PSA_DONE();
Manuel Pégourié-Gonnard603116c2014-04-09 09:50:03 +02001317}
1318/* END_CASE */
1319
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001320/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C:MBEDTLS_X509_CHECK_EXTENDED_KEY_USAGE */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001321void x509_check_extended_key_usage(char *crt_file, data_t *oid, int ret
1322 )
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02001323{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001324 mbedtls_x509_crt crt;
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02001325
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001326 mbedtls_x509_crt_init(&crt);
Valerio Settie7373a82023-04-19 14:53:36 +02001327 USE_PSA_INIT();
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02001328
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001329 TEST_EQUAL(mbedtls_x509_crt_parse_file(&crt, crt_file), 0);
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02001330
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001331 TEST_EQUAL(mbedtls_x509_crt_check_extended_key_usage(&crt, (const char *) oid->x, oid->len),
1332 ret);
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02001333
Paul Bakkerbd51b262014-07-10 15:26:12 +02001334exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001335 mbedtls_x509_crt_free(&crt);
Valerio Settie7373a82023-04-19 14:53:36 +02001336 USE_PSA_DONE();
Manuel Pégourié-Gonnard7afb8a02014-04-10 17:53:56 +02001337}
1338/* END_CASE */
1339
Andres AG4b76aec2016-09-23 13:16:02 +01001340/* BEGIN_CASE depends_on:MBEDTLS_X509_USE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001341void x509_get_time(int tag, char *time_str, int ret, int year, int mon,
1342 int day, int hour, int min, int sec)
Andres AG4b76aec2016-09-23 13:16:02 +01001343{
1344 mbedtls_x509_time time;
Janos Follathea7054a2017-02-08 14:13:02 +00001345 unsigned char buf[21];
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001346 unsigned char *start = buf;
1347 unsigned char *end = buf;
Andres AG4b76aec2016-09-23 13:16:02 +01001348
Valerio Settie7373a82023-04-19 14:53:36 +02001349 USE_PSA_INIT();
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001350 memset(&time, 0x00, sizeof(time));
1351 *end = (unsigned char) tag; end++;
1352 *end = strlen(time_str);
1353 TEST_ASSERT(*end < 20);
Andres AG4b76aec2016-09-23 13:16:02 +01001354 end++;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001355 memcpy(end, time_str, (size_t) *(end - 1));
Andres AG4b76aec2016-09-23 13:16:02 +01001356 end += *(end - 1);
1357
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001358 TEST_EQUAL(mbedtls_x509_get_time(&start, end, &time), ret);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001359 if (ret == 0) {
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001360 TEST_EQUAL(year, time.year);
1361 TEST_EQUAL(mon, time.mon);
1362 TEST_EQUAL(day, time.day);
1363 TEST_EQUAL(hour, time.hour);
1364 TEST_EQUAL(min, time.min);
1365 TEST_EQUAL(sec, time.sec);
Andres AG4b76aec2016-09-23 13:16:02 +01001366 }
Valerio Settie7373a82023-04-19 14:53:36 +02001367
1368exit:
1369 USE_PSA_DONE();
Andres AG4b76aec2016-09-23 13:16:02 +01001370}
1371/* END_CASE */
1372
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001373/* BEGIN_CASE depends_on:MBEDTLS_X509_CRT_PARSE_C:MBEDTLS_X509_RSASSA_PSS_SUPPORT */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001374void x509_parse_rsassa_pss_params(data_t *params, int params_tag,
1375 int ref_msg_md, int ref_mgf_md,
1376 int ref_salt_len, int ref_ret)
Manuel Pégourié-Gonnard85403692014-06-06 14:48:38 +02001377{
1378 int my_ret;
Ronald Cronac6ae352020-06-26 14:33:03 +02001379 mbedtls_x509_buf buf;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001380 mbedtls_md_type_t my_msg_md, my_mgf_md;
Manuel Pégourié-Gonnard85403692014-06-06 14:48:38 +02001381 int my_salt_len;
1382
Valerio Settie7373a82023-04-19 14:53:36 +02001383 USE_PSA_INIT();
1384
Ronald Cronac6ae352020-06-26 14:33:03 +02001385 buf.p = params->x;
1386 buf.len = params->len;
1387 buf.tag = params_tag;
Manuel Pégourié-Gonnard85403692014-06-06 14:48:38 +02001388
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001389 my_ret = mbedtls_x509_get_rsassa_pss_params(&buf, &my_msg_md, &my_mgf_md,
1390 &my_salt_len);
Manuel Pégourié-Gonnard85403692014-06-06 14:48:38 +02001391
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001392 TEST_EQUAL(my_ret, ref_ret);
Manuel Pégourié-Gonnard85403692014-06-06 14:48:38 +02001393
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001394 if (ref_ret == 0) {
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001395 TEST_EQUAL(my_msg_md, (mbedtls_md_type_t) ref_msg_md);
1396 TEST_EQUAL(my_mgf_md, (mbedtls_md_type_t) ref_mgf_md);
1397 TEST_EQUAL(my_salt_len, ref_salt_len);
Manuel Pégourié-Gonnard85403692014-06-06 14:48:38 +02001398 }
1399
Paul Bakkerbd51b262014-07-10 15:26:12 +02001400exit:
Valerio Settie7373a82023-04-19 14:53:36 +02001401 USE_PSA_DONE();
Manuel Pégourié-Gonnard85403692014-06-06 14:48:38 +02001402}
1403/* END_CASE */
1404
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001405/* BEGIN_CASE depends_on:MBEDTLS_X509_CRT_PARSE_C:MBEDTLS_SELF_TEST */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001406void x509_selftest()
Paul Bakker37940d9f2009-07-10 22:38:58 +00001407{
Valerio Settie7373a82023-04-19 14:53:36 +02001408 USE_PSA_INIT();
Demi Marie Obenour5d7cd012022-11-26 22:19:48 -05001409 TEST_EQUAL(mbedtls_x509_self_test(1), 0);
Valerio Settie7373a82023-04-19 14:53:36 +02001410
1411exit:
1412 USE_PSA_DONE();
Paul Bakker37940d9f2009-07-10 22:38:58 +00001413}
Paul Bakker33b43f12013-08-20 11:48:36 +02001414/* END_CASE */