blob: 64b4e9e87a6e0a88fcb612fb21f626a24e5f4746 [file] [log] [blame]
Paul Bakker33b43f12013-08-20 11:48:36 +02001/* BEGIN_HEADER */
Mohammad Azim Khancf32c452017-06-13 14:55:58 +01002#include "mbedtls/bignum.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +00003#include "mbedtls/x509_crt.h"
4#include "mbedtls/x509_csr.h"
Valerio Setti25b282e2024-01-17 10:55:32 +01005#include "x509_internal.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +00006#include "mbedtls/pem.h"
7#include "mbedtls/oid.h"
Hanno Becker418a6222017-09-14 07:51:28 +01008#include "mbedtls/rsa.h"
Sam Berry2bb3f4d2024-07-19 15:14:27 +01009#include "mbedtls/asn1.h"
Valerio Setti48e8fc72022-10-19 15:14:29 +020010#include "mbedtls/asn1write.h"
Valerio Setti178b5bd2023-02-13 10:04:28 +010011#include "mbedtls/pk.h"
Valerio Setti384fbde2024-01-02 13:26:40 +010012#include "mbedtls/psa_util.h"
Manuel Pégourié-Gonnardfeb03962020-08-20 09:59:33 +020013
Michael Schustera3cc4632024-06-07 01:51:54 +020014#if defined(MBEDTLS_PEM_WRITE_C) && \
15 defined(MBEDTLS_X509_CRT_WRITE_C) && \
16 defined(MBEDTLS_X509_CRT_PARSE_C) && \
Elena Uziunaite9fc5be02024-09-04 18:12:59 +010017 defined(PSA_WANT_ALG_SHA_1) && \
Michael Schustera3cc4632024-06-07 01:51:54 +020018 defined(MBEDTLS_RSA_C) && defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Michael Schuster54300d42024-06-04 02:30:22 +020019static int mbedtls_rsa_decrypt_func(void *ctx, size_t *olen,
Michael Schusterbd89b792024-06-04 02:41:10 +020020 const unsigned char *input, unsigned char *output,
21 size_t output_max_len)
Hanno Becker418a6222017-09-14 07:51:28 +010022{
Gilles Peskine449bd832023-01-11 14:50:10 +010023 return mbedtls_rsa_pkcs1_decrypt((mbedtls_rsa_context *) ctx, NULL, NULL,
24 olen, input, output, output_max_len);
Hanno Becker418a6222017-09-14 07:51:28 +010025}
Michael Schuster54300d42024-06-04 02:30:22 +020026static int mbedtls_rsa_sign_func(void *ctx,
Michael Schusterbd89b792024-06-04 02:41:10 +020027 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
28 mbedtls_md_type_t md_alg, unsigned int hashlen,
29 const unsigned char *hash, unsigned char *sig)
Hanno Becker418a6222017-09-14 07:51:28 +010030{
Gilles Peskine449bd832023-01-11 14:50:10 +010031 return mbedtls_rsa_pkcs1_sign((mbedtls_rsa_context *) ctx, f_rng, p_rng,
32 md_alg, hashlen, hash, sig);
Hanno Becker418a6222017-09-14 07:51:28 +010033}
Michael Schuster54300d42024-06-04 02:30:22 +020034static size_t mbedtls_rsa_key_len_func(void *ctx)
Hanno Becker418a6222017-09-14 07:51:28 +010035{
Gilles Peskine449bd832023-01-11 14:50:10 +010036 return ((const mbedtls_rsa_context *) ctx)->len;
Hanno Becker418a6222017-09-14 07:51:28 +010037}
Michael Schustera3cc4632024-06-07 01:51:54 +020038#endif
Hanno Becker418a6222017-09-14 07:51:28 +010039
Gilles Peskinef4e672e2020-01-31 14:22:10 +010040#if defined(MBEDTLS_USE_PSA_CRYPTO) && \
41 defined(MBEDTLS_PEM_WRITE_C) && defined(MBEDTLS_X509_CSR_WRITE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010042static int x509_crt_verifycsr(const unsigned char *buf, size_t buflen)
Andrzej Kurek5f7bad32018-11-19 10:12:37 -050043{
Przemek Stekiel54a54462022-08-01 13:59:12 +020044 unsigned char hash[PSA_HASH_MAX_SIZE];
Andrzej Kurek5f7bad32018-11-19 10:12:37 -050045 mbedtls_x509_csr csr;
Hanno Beckerbf2dacb2019-06-03 16:28:24 +010046 int ret = 0;
47
Gilles Peskine449bd832023-01-11 14:50:10 +010048 mbedtls_x509_csr_init(&csr);
Andrzej Kurek5f7bad32018-11-19 10:12:37 -050049
Gilles Peskine449bd832023-01-11 14:50:10 +010050 if (mbedtls_x509_csr_parse(&csr, buf, buflen) != 0) {
Hanno Beckerbf2dacb2019-06-03 16:28:24 +010051 ret = MBEDTLS_ERR_X509_BAD_INPUT_DATA;
52 goto cleanup;
53 }
Andrzej Kurek5f7bad32018-11-19 10:12:37 -050054
Manuel Pégourié-Gonnard2d6d9932023-03-28 11:38:08 +020055 psa_algorithm_t psa_alg = mbedtls_md_psa_alg_from_type(csr.sig_md);
Przemek Stekiel54a54462022-08-01 13:59:12 +020056 size_t hash_size = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +010057 psa_status_t status = psa_hash_compute(psa_alg, csr.cri.p, csr.cri.len,
58 hash, PSA_HASH_MAX_SIZE, &hash_size);
Przemek Stekiel54a54462022-08-01 13:59:12 +020059
Gilles Peskine449bd832023-01-11 14:50:10 +010060 if (status != PSA_SUCCESS) {
Andrzej Kurek4b114072018-11-19 18:04:01 -050061 /* Note: this can't happen except after an internal error */
Hanno Beckerbf2dacb2019-06-03 16:28:24 +010062 ret = MBEDTLS_ERR_X509_BAD_INPUT_DATA;
63 goto cleanup;
Andrzej Kurek4b114072018-11-19 18:04:01 -050064 }
Andrzej Kurek5f7bad32018-11-19 10:12:37 -050065
Gilles Peskine449bd832023-01-11 14:50:10 +010066 if (mbedtls_pk_verify_ext(csr.sig_pk, csr.sig_opts, &csr.pk,
Manuel Pégourié-Gonnard9b41eb82023-03-28 11:14:24 +020067 csr.sig_md, hash, mbedtls_md_get_size_from_type(csr.sig_md),
Gilles Peskine449bd832023-01-11 14:50:10 +010068 csr.sig.p, csr.sig.len) != 0) {
Hanno Beckerbf2dacb2019-06-03 16:28:24 +010069 ret = MBEDTLS_ERR_X509_CERT_VERIFY_FAILED;
70 goto cleanup;
Andrzej Kurek4b114072018-11-19 18:04:01 -050071 }
Andrzej Kurek5f7bad32018-11-19 10:12:37 -050072
Hanno Beckerbf2dacb2019-06-03 16:28:24 +010073cleanup:
74
Gilles Peskine449bd832023-01-11 14:50:10 +010075 mbedtls_x509_csr_free(&csr);
76 return ret;
Andrzej Kurek5f7bad32018-11-19 10:12:37 -050077}
Gilles Peskinef4e672e2020-01-31 14:22:10 +010078#endif /* MBEDTLS_USE_PSA_CRYPTO && MBEDTLS_PEM_WRITE_C && MBEDTLS_X509_CSR_WRITE_C */
Andrzej Kurek5f7bad32018-11-19 10:12:37 -050079
Valerio Setti48e8fc72022-10-19 15:14:29 +020080#if defined(MBEDTLS_X509_CSR_WRITE_C)
81
82/*
83 * The size of this temporary buffer is given by the sequence of functions
84 * called hereinafter:
85 * - mbedtls_asn1_write_oid()
86 * - 8 bytes for MBEDTLS_OID_EXTENDED_KEY_USAGE raw value
87 * - 1 byte for MBEDTLS_OID_EXTENDED_KEY_USAGE length
88 * - 1 byte for MBEDTLS_ASN1_OID tag
89 * - mbedtls_asn1_write_len()
90 * - 1 byte since we're dealing with sizes which are less than 0x80
91 * - mbedtls_asn1_write_tag()
92 * - 1 byte
93 *
94 * This length is fine as long as this function is called using the
95 * MBEDTLS_OID_SERVER_AUTH OID. If this is changed in the future, then this
96 * buffer's length should be adjusted accordingly.
97 * Unfortunately there's no predefined max size for OIDs which can be used
98 * to set an overall upper boundary which is always guaranteed.
99 */
100#define EXT_KEY_USAGE_TMP_BUF_MAX_LENGTH 12
101
Gilles Peskine449bd832023-01-11 14:50:10 +0100102static int csr_set_extended_key_usage(mbedtls_x509write_csr *ctx,
103 const char *oid, size_t oid_len)
Valerio Setti48e8fc72022-10-19 15:14:29 +0200104{
105 unsigned char buf[EXT_KEY_USAGE_TMP_BUF_MAX_LENGTH] = { 0 };
Gilles Peskine449bd832023-01-11 14:50:10 +0100106 unsigned char *p = buf + sizeof(buf);
Valerio Setti48e8fc72022-10-19 15:14:29 +0200107 int ret;
108 size_t len = 0;
109
110 /*
111 * Following functions fail anyway if the temporary buffer is not large,
112 * but we set an extra check here to emphasize a possible source of errors
113 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100114 if (oid_len > EXT_KEY_USAGE_TMP_BUF_MAX_LENGTH) {
Valerio Setti48e8fc72022-10-19 15:14:29 +0200115 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
116 }
117
Gilles Peskine449bd832023-01-11 14:50:10 +0100118 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_oid(&p, buf, oid, oid_len));
119 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(&p, buf, ret));
120 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(&p, buf,
121 MBEDTLS_ASN1_CONSTRUCTED |
122 MBEDTLS_ASN1_SEQUENCE));
Valerio Setti48e8fc72022-10-19 15:14:29 +0200123
Gilles Peskine449bd832023-01-11 14:50:10 +0100124 ret = mbedtls_x509write_csr_set_extension(ctx,
125 MBEDTLS_OID_EXTENDED_KEY_USAGE,
126 MBEDTLS_OID_SIZE(MBEDTLS_OID_EXTENDED_KEY_USAGE),
127 0,
128 p,
129 len);
Valerio Setti48e8fc72022-10-19 15:14:29 +0200130
131 return ret;
132}
133#endif /* MBEDTLS_X509_CSR_WRITE_C */
Gilles Peskinec94500b2023-09-21 18:01:05 +0200134
135/* Due to inconsistencies in the input size limits applied by different
136 * library functions, some write-parse tests may fail. */
137#define MAY_FAIL_GET_NAME 0x0001
138#define MAY_FAIL_DN_GETS 0x0002
139
Paul Bakker33b43f12013-08-20 11:48:36 +0200140/* END_HEADER */
Paul Bakker6d620502012-02-16 14:09:13 +0000141
Paul Bakker33b43f12013-08-20 11:48:36 +0200142/* BEGIN_DEPENDENCIES
Valerio Setti3580f442023-07-27 10:19:53 +0200143 * depends_on:MBEDTLS_FS_IO:MBEDTLS_PK_PARSE_C
Paul Bakker33b43f12013-08-20 11:48:36 +0200144 * END_DEPENDENCIES
145 */
Paul Bakker6d620502012-02-16 14:09:13 +0000146
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200147/* BEGIN_CASE depends_on:MBEDTLS_PEM_WRITE_C:MBEDTLS_X509_CSR_WRITE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +0100148void x509_csr_check(char *key_file, char *cert_req_check_file, int md_type,
149 int key_usage, int set_key_usage, int cert_type,
150 int set_cert_type, int set_extension)
Paul Bakker6d620502012-02-16 14:09:13 +0000151{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200152 mbedtls_pk_context key;
153 mbedtls_x509write_csr req;
Andres AGe0af9952016-09-07 11:09:44 +0100154 unsigned char buf[4096];
Paul Bakker6d620502012-02-16 14:09:13 +0000155 int ret;
Neil Armstrongc23d2e32022-03-18 15:31:59 +0100156#if !defined(MBEDTLS_USE_PSA_CRYPTO)
157 unsigned char check_buf[4000];
Paul Bakker6d620502012-02-16 14:09:13 +0000158 FILE *f;
Neil Armstrongc23d2e32022-03-18 15:31:59 +0100159 size_t olen = 0;
160#endif /* !MBEDTLS_USE_PSA_CRYPTO */
161 size_t pem_len = 0, buf_index;
162 int der_len = -1;
Paul Bakker3a8cb6f2013-12-30 20:41:54 +0100163 const char *subject_name = "C=NL,O=PolarSSL,CN=PolarSSL Server 1";
Ronald Cron351f0ee2020-06-10 12:12:18 +0200164 mbedtls_test_rnd_pseudo_info rnd_info;
Przemek Stekiel8e83d3a2023-02-14 12:01:16 +0100165 mbedtls_x509_san_list san_ip;
166 mbedtls_x509_san_list san_dns;
167 mbedtls_x509_san_list san_uri;
Andrzej Kurek34ccd8d2023-07-07 06:32:17 -0400168 mbedtls_x509_san_list san_mail;
169 mbedtls_x509_san_list san_dn;
Przemek Stekiel8e83d3a2023-02-14 12:01:16 +0100170 mbedtls_x509_san_list *san_list = NULL;
Andrzej Kurek34ccd8d2023-07-07 06:32:17 -0400171 mbedtls_asn1_named_data *ext_san_dirname = NULL;
172
173 const char san_ip_name[] = { 0x7f, 0x00, 0x00, 0x01 }; // 127.0.0.1
Przemek Stekiel8e83d3a2023-02-14 12:01:16 +0100174 const char *san_dns_name = "example.com";
Andrzej Kurek34ccd8d2023-07-07 06:32:17 -0400175 const char *san_dn_name = "C=UK,O=Mbed TLS,CN=Mbed TLS directoryName SAN";
176 const char *san_mail_name = "mail@example.com";
177 const char *san_uri_name = "http://pki.example.com";
178
179 san_mail.node.type = MBEDTLS_X509_SAN_RFC822_NAME;
180 san_mail.node.san.unstructured_name.p = (unsigned char *) san_mail_name;
181 san_mail.node.san.unstructured_name.len = strlen(san_mail_name);
182 san_mail.next = NULL;
183
184 san_dns.node.type = MBEDTLS_X509_SAN_DNS_NAME;
185 san_dns.node.san.unstructured_name.p = (unsigned char *) san_dns_name;
186 san_dns.node.san.unstructured_name.len = strlen(san_dns_name);
187 san_dns.next = &san_mail;
188
189 san_dn.node.type = MBEDTLS_X509_SAN_DIRECTORY_NAME;
190 TEST_ASSERT(mbedtls_x509_string_to_names(&ext_san_dirname,
191 san_dn_name) == 0);
192 san_dn.node.san.directory_name = *ext_san_dirname;
193 san_dn.next = &san_dns;
194
195 san_ip.node.type = MBEDTLS_X509_SAN_IP_ADDRESS;
196 san_ip.node.san.unstructured_name.p = (unsigned char *) san_ip_name;
197 san_ip.node.san.unstructured_name.len = sizeof(san_ip_name);
198 san_ip.next = &san_dn;
Przemek Stekiel8e83d3a2023-02-14 12:01:16 +0100199
200 san_uri.node.type = MBEDTLS_X509_SAN_UNIFORM_RESOURCE_IDENTIFIER;
Przemek Stekiel5a49d3c2023-02-24 13:12:55 +0100201 san_uri.node.san.unstructured_name.p = (unsigned char *) san_uri_name;
202 san_uri.node.san.unstructured_name.len = strlen(san_uri_name);
Andrzej Kurek34ccd8d2023-07-07 06:32:17 -0400203 san_uri.next = &san_ip;
204
205 san_list = &san_uri;
Paul Bakker6d620502012-02-16 14:09:13 +0000206
Gilles Peskine449bd832023-01-11 14:50:10 +0100207 memset(&rnd_info, 0x2a, sizeof(mbedtls_test_rnd_pseudo_info));
Manuel Pégourié-Gonnardee731792013-09-11 22:48:40 +0200208
Gilles Peskine449bd832023-01-11 14:50:10 +0100209 mbedtls_x509write_csr_init(&req);
Gilles Peskine449bd832023-01-11 14:50:10 +0100210 mbedtls_pk_init(&key);
valerio32f2ac92023-04-20 11:59:52 +0200211 MD_OR_USE_PSA_INIT();
212
Gilles Peskine449bd832023-01-11 14:50:10 +0100213 TEST_ASSERT(mbedtls_pk_parse_keyfile(&key, key_file, NULL,
214 mbedtls_test_rnd_std_rand, NULL) == 0);
Paul Bakker6d620502012-02-16 14:09:13 +0000215
Gilles Peskine449bd832023-01-11 14:50:10 +0100216 mbedtls_x509write_csr_set_md_alg(&req, md_type);
217 mbedtls_x509write_csr_set_key(&req, &key);
218 TEST_ASSERT(mbedtls_x509write_csr_set_subject_name(&req, subject_name) == 0);
219 if (set_key_usage != 0) {
220 TEST_ASSERT(mbedtls_x509write_csr_set_key_usage(&req, key_usage) == 0);
221 }
222 if (set_cert_type != 0) {
223 TEST_ASSERT(mbedtls_x509write_csr_set_ns_cert_type(&req, cert_type) == 0);
224 }
225 if (set_extension != 0) {
226 TEST_ASSERT(csr_set_extended_key_usage(&req, MBEDTLS_OID_SERVER_AUTH,
227 MBEDTLS_OID_SIZE(MBEDTLS_OID_SERVER_AUTH)) == 0);
Przemek Stekiel8e83d3a2023-02-14 12:01:16 +0100228
229 TEST_ASSERT(mbedtls_x509write_csr_set_subject_alternative_name(&req, san_list) == 0);
Gilles Peskine449bd832023-01-11 14:50:10 +0100230 }
Paul Bakker8eabfc12013-08-25 10:18:25 +0200231
Gilles Peskine449bd832023-01-11 14:50:10 +0100232 ret = mbedtls_x509write_csr_pem(&req, buf, sizeof(buf),
233 mbedtls_test_rnd_pseudo_rand, &rnd_info);
234 TEST_ASSERT(ret == 0);
Paul Bakker6d620502012-02-16 14:09:13 +0000235
Gilles Peskine449bd832023-01-11 14:50:10 +0100236 pem_len = strlen((char *) buf);
Paul Bakker6d620502012-02-16 14:09:13 +0000237
Gilles Peskine449bd832023-01-11 14:50:10 +0100238 for (buf_index = pem_len; buf_index < sizeof(buf); ++buf_index) {
239 TEST_ASSERT(buf[buf_index] == 0);
Paul Elliott557b8d62020-11-19 09:46:56 +0000240 }
241
Neil Armstrong5b320382022-02-21 17:22:10 +0100242#if defined(MBEDTLS_USE_PSA_CRYPTO)
243 // When using PSA crypto, RNG isn't controllable, so cert_req_check_file can't be used
Gilles Peskine449bd832023-01-11 14:50:10 +0100244 (void) cert_req_check_file;
Neil Armstrong5b320382022-02-21 17:22:10 +0100245 buf[pem_len] = '\0';
Gilles Peskine449bd832023-01-11 14:50:10 +0100246 TEST_ASSERT(x509_crt_verifycsr(buf, pem_len + 1) == 0);
Neil Armstrong5b320382022-02-21 17:22:10 +0100247#else
Gilles Peskine449bd832023-01-11 14:50:10 +0100248 f = fopen(cert_req_check_file, "r");
249 TEST_ASSERT(f != NULL);
250 olen = fread(check_buf, 1, sizeof(check_buf), f);
251 fclose(f);
Paul Bakker6d620502012-02-16 14:09:13 +0000252
Gilles Peskine449bd832023-01-11 14:50:10 +0100253 TEST_ASSERT(olen >= pem_len - 1);
254 TEST_ASSERT(memcmp(buf, check_buf, pem_len - 1) == 0);
Neil Armstrongc23d2e32022-03-18 15:31:59 +0100255#endif /* MBEDTLS_USE_PSA_CRYPTO */
Paul Bakker58ef6ec2013-01-03 11:33:48 +0100256
Gilles Peskine449bd832023-01-11 14:50:10 +0100257 der_len = mbedtls_x509write_csr_der(&req, buf, sizeof(buf),
258 mbedtls_test_rnd_pseudo_rand,
259 &rnd_info);
260 TEST_ASSERT(der_len >= 0);
Andres AGe0af9952016-09-07 11:09:44 +0100261
Gilles Peskine449bd832023-01-11 14:50:10 +0100262 if (der_len == 0) {
Andres AGe0af9952016-09-07 11:09:44 +0100263 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100264 }
Andres AGe0af9952016-09-07 11:09:44 +0100265
Neil Armstrong5b320382022-02-21 17:22:10 +0100266#if defined(MBEDTLS_USE_PSA_CRYPTO)
267 // When using PSA crypto, RNG isn't controllable, result length isn't
268 // deterministic over multiple runs, removing a single byte isn't enough to
269 // go into the MBEDTLS_ERR_ASN1_BUF_TOO_SMALL error case
270 der_len /= 2;
271#else
272 der_len -= 1;
273#endif
Gilles Peskine449bd832023-01-11 14:50:10 +0100274 ret = mbedtls_x509write_csr_der(&req, buf, (size_t) (der_len),
275 mbedtls_test_rnd_pseudo_rand, &rnd_info);
276 TEST_ASSERT(ret == MBEDTLS_ERR_ASN1_BUF_TOO_SMALL);
Andres AGe0af9952016-09-07 11:09:44 +0100277
Paul Bakkerbd51b262014-07-10 15:26:12 +0200278exit:
Andrzej Kurekbdb41dd2023-07-10 08:09:50 -0400279 mbedtls_asn1_free_named_data_list(&ext_san_dirname);
Gilles Peskine449bd832023-01-11 14:50:10 +0100280 mbedtls_x509write_csr_free(&req);
281 mbedtls_pk_free(&key);
Manuel Pégourié-Gonnard33a13022023-03-17 14:02:49 +0100282 MD_OR_USE_PSA_DONE();
Paul Bakker6d620502012-02-16 14:09:13 +0000283}
Paul Bakker33b43f12013-08-20 11:48:36 +0200284/* END_CASE */
Paul Bakker2397cf32013-09-08 15:58:15 +0200285
Andrzej Kurek5f7bad32018-11-19 10:12:37 -0500286/* BEGIN_CASE depends_on:MBEDTLS_PEM_WRITE_C:MBEDTLS_X509_CSR_WRITE_C:MBEDTLS_USE_PSA_CRYPTO */
Gilles Peskine449bd832023-01-11 14:50:10 +0100287void x509_csr_check_opaque(char *key_file, int md_type, int key_usage,
288 int cert_type)
Andrzej Kurek5f7bad32018-11-19 10:12:37 -0500289{
290 mbedtls_pk_context key;
Ronald Cron5425a212020-08-04 14:58:35 +0200291 mbedtls_svc_key_id_t key_id = MBEDTLS_SVC_KEY_ID_INIT;
Valerio Setti1fa2f6e2024-02-27 08:11:25 +0100292 psa_key_attributes_t key_attr = PSA_KEY_ATTRIBUTES_INIT;
Andrzej Kurek5f7bad32018-11-19 10:12:37 -0500293 mbedtls_x509write_csr req;
294 unsigned char buf[4096];
295 int ret;
296 size_t pem_len = 0;
297 const char *subject_name = "C=NL,O=PolarSSL,CN=PolarSSL Server 1";
Ronald Cron351f0ee2020-06-10 12:12:18 +0200298 mbedtls_test_rnd_pseudo_info rnd_info;
Andrzej Kurek5f7bad32018-11-19 10:12:37 -0500299
valerio32f2ac92023-04-20 11:59:52 +0200300 mbedtls_x509write_csr_init(&req);
Valerio Setti569c1712023-04-19 14:53:36 +0200301 MD_OR_USE_PSA_INIT();
302
Gilles Peskine449bd832023-01-11 14:50:10 +0100303 memset(&rnd_info, 0x2a, sizeof(mbedtls_test_rnd_pseudo_info));
Andrzej Kurek5f7bad32018-11-19 10:12:37 -0500304
Gilles Peskine449bd832023-01-11 14:50:10 +0100305 mbedtls_pk_init(&key);
306 TEST_ASSERT(mbedtls_pk_parse_keyfile(&key, key_file, NULL,
307 mbedtls_test_rnd_std_rand, NULL) == 0);
Neil Armstrong95974972022-04-22 13:57:44 +0200308
Valerio Setti1fa2f6e2024-02-27 08:11:25 +0100309 /* Turn the PK context into an opaque one. */
310 TEST_EQUAL(mbedtls_pk_get_psa_attributes(&key, PSA_KEY_USAGE_SIGN_HASH, &key_attr), 0);
311 TEST_EQUAL(mbedtls_pk_import_into_psa(&key, &key_attr, &key_id), 0);
312 mbedtls_pk_free(&key);
313 mbedtls_pk_init(&key);
314 TEST_EQUAL(mbedtls_pk_setup_opaque(&key, key_id), 0);
Andrzej Kurek5f7bad32018-11-19 10:12:37 -0500315
Gilles Peskine449bd832023-01-11 14:50:10 +0100316 mbedtls_x509write_csr_set_md_alg(&req, md_type);
317 mbedtls_x509write_csr_set_key(&req, &key);
318 TEST_ASSERT(mbedtls_x509write_csr_set_subject_name(&req, subject_name) == 0);
319 if (key_usage != 0) {
320 TEST_ASSERT(mbedtls_x509write_csr_set_key_usage(&req, key_usage) == 0);
321 }
322 if (cert_type != 0) {
323 TEST_ASSERT(mbedtls_x509write_csr_set_ns_cert_type(&req, cert_type) == 0);
324 }
Andrzej Kurek5f7bad32018-11-19 10:12:37 -0500325
Gilles Peskine449bd832023-01-11 14:50:10 +0100326 ret = mbedtls_x509write_csr_pem(&req, buf, sizeof(buf) - 1,
327 mbedtls_test_rnd_pseudo_rand, &rnd_info);
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200328
Gilles Peskine449bd832023-01-11 14:50:10 +0100329 TEST_ASSERT(ret == 0);
Andrzej Kurek5f7bad32018-11-19 10:12:37 -0500330
Gilles Peskine449bd832023-01-11 14:50:10 +0100331 pem_len = strlen((char *) buf);
Andrzej Kurek5f7bad32018-11-19 10:12:37 -0500332 buf[pem_len] = '\0';
Gilles Peskine449bd832023-01-11 14:50:10 +0100333 TEST_ASSERT(x509_crt_verifycsr(buf, pem_len + 1) == 0);
Andrzej Kurek5f7bad32018-11-19 10:12:37 -0500334
Manuel Pégourié-Gonnardfeb03962020-08-20 09:59:33 +0200335
Andrzej Kurek5f7bad32018-11-19 10:12:37 -0500336exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100337 mbedtls_x509write_csr_free(&req);
338 mbedtls_pk_free(&key);
339 psa_destroy_key(key_id);
Valerio Setti569c1712023-04-19 14:53:36 +0200340 MD_OR_USE_PSA_DONE();
Andrzej Kurek5f7bad32018-11-19 10:12:37 -0500341}
342/* END_CASE */
343
Elena Uziunaite9fc5be02024-09-04 18:12:59 +0100344/* BEGIN_CASE depends_on:MBEDTLS_PEM_WRITE_C:MBEDTLS_X509_CRT_WRITE_C:MBEDTLS_X509_CRT_PARSE_C:PSA_WANT_ALG_SHA_1 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100345void x509_crt_check(char *subject_key_file, char *subject_pwd,
346 char *subject_name, char *issuer_key_file,
347 char *issuer_pwd, char *issuer_name,
Valerio Settiaad8dbd2023-01-09 17:20:25 +0100348 data_t *serial_arg, char *not_before, char *not_after,
Gilles Peskine449bd832023-01-11 14:50:10 +0100349 int md_type, int key_usage, int set_key_usage,
350 char *ext_key_usage,
351 int cert_type, int set_cert_type, int auth_ident,
352 int ver, char *cert_check_file, int pk_wrap, int is_ca,
Andrzej Kurek76c96622023-04-04 06:57:08 -0400353 char *cert_verify_file, int set_subjectAltNames)
Paul Bakker2397cf32013-09-08 15:58:15 +0200354{
Hanno Becker418a6222017-09-14 07:51:28 +0100355 mbedtls_pk_context subject_key, issuer_key, issuer_key_alt;
356 mbedtls_pk_context *key = &issuer_key;
357
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200358 mbedtls_x509write_cert crt;
Andres AGe0af9952016-09-07 11:09:44 +0100359 unsigned char buf[4096];
Paul Bakker2397cf32013-09-08 15:58:15 +0200360 unsigned char check_buf[5000];
Werner Lewisacd01e52022-05-10 12:23:13 +0100361 unsigned char *p, *end;
362 unsigned char tag, sz;
Valerio Settiaad8dbd2023-01-09 17:20:25 +0100363#if defined(MBEDTLS_TEST_DEPRECATED) && defined(MBEDTLS_BIGNUM_C)
364 mbedtls_mpi serial_mpi;
365#endif
Werner Lewisacd01e52022-05-10 12:23:13 +0100366 int ret, before_tag, after_tag;
Paul Elliott557b8d62020-11-19 09:46:56 +0000367 size_t olen = 0, pem_len = 0, buf_index = 0;
Andres AGe0af9952016-09-07 11:09:44 +0100368 int der_len = -1;
Paul Bakker2397cf32013-09-08 15:58:15 +0200369 FILE *f;
Ronald Cron351f0ee2020-06-10 12:12:18 +0200370 mbedtls_test_rnd_pseudo_info rnd_info;
Neil Armstrong98f899c2022-03-16 17:42:42 +0100371#if defined(MBEDTLS_USE_PSA_CRYPTO)
372 mbedtls_svc_key_id_t key_id = MBEDTLS_SVC_KEY_ID_INIT;
Valerio Setti1fa2f6e2024-02-27 08:11:25 +0100373 psa_key_attributes_t key_attr = PSA_KEY_ATTRIBUTES_INIT;
Neil Armstrong98f899c2022-03-16 17:42:42 +0100374#endif
Neil Armstrong6ce6dd92022-03-17 09:38:50 +0100375 mbedtls_pk_type_t issuer_key_type;
Andrzej Kurek76c96622023-04-04 06:57:08 -0400376 mbedtls_x509_san_list san_ip;
377 mbedtls_x509_san_list san_dns;
378 mbedtls_x509_san_list san_uri;
379 mbedtls_x509_san_list san_mail;
380 mbedtls_x509_san_list san_dn;
381 mbedtls_asn1_named_data *ext_san_dirname = NULL;
382 const char san_ip_name[] = { 0x01, 0x02, 0x03, 0x04 };
383 const char *san_dns_name = "example.com";
384 const char *san_dn_name = "C=UK,O=Mbed TLS,CN=SubjectAltName test";
385 const char *san_mail_name = "mail@example.com";
386 const char *san_uri_name = "http://pki.example.com";
387 mbedtls_x509_san_list *san_list = NULL;
388
389 if (set_subjectAltNames) {
390 san_mail.node.type = MBEDTLS_X509_SAN_RFC822_NAME;
391 san_mail.node.san.unstructured_name.p = (unsigned char *) san_mail_name;
Andrzej Kurek13c43f62023-04-04 10:43:38 -0400392 san_mail.node.san.unstructured_name.len = strlen(san_mail_name);
Andrzej Kurek76c96622023-04-04 06:57:08 -0400393 san_mail.next = NULL;
394
395 san_dns.node.type = MBEDTLS_X509_SAN_DNS_NAME;
396 san_dns.node.san.unstructured_name.p = (unsigned char *) san_dns_name;
397 san_dns.node.san.unstructured_name.len = strlen(san_dns_name);
398 san_dns.next = &san_mail;
399
400 san_dn.node.type = MBEDTLS_X509_SAN_DIRECTORY_NAME;
401 TEST_ASSERT(mbedtls_x509_string_to_names(&ext_san_dirname,
402 san_dn_name) == 0);
403 san_dn.node.san.directory_name = *ext_san_dirname;
404 san_dn.next = &san_dns;
405
406 san_ip.node.type = MBEDTLS_X509_SAN_IP_ADDRESS;
407 san_ip.node.san.unstructured_name.p = (unsigned char *) san_ip_name;
408 san_ip.node.san.unstructured_name.len = sizeof(san_ip_name);
409 san_ip.next = &san_dn;
410
411 san_uri.node.type = MBEDTLS_X509_SAN_UNIFORM_RESOURCE_IDENTIFIER;
412 san_uri.node.san.unstructured_name.p = (unsigned char *) san_uri_name;
413 san_uri.node.san.unstructured_name.len = strlen(san_uri_name);
414 san_uri.next = &san_ip;
415
416 san_list = &san_uri;
417 }
Paul Bakker2397cf32013-09-08 15:58:15 +0200418
Gilles Peskine449bd832023-01-11 14:50:10 +0100419 memset(&rnd_info, 0x2a, sizeof(mbedtls_test_rnd_pseudo_info));
Valerio Settiaad8dbd2023-01-09 17:20:25 +0100420#if defined(MBEDTLS_TEST_DEPRECATED) && defined(MBEDTLS_BIGNUM_C)
421 mbedtls_mpi_init(&serial_mpi);
422#endif
Hanno Becker418a6222017-09-14 07:51:28 +0100423
Gilles Peskine449bd832023-01-11 14:50:10 +0100424 mbedtls_pk_init(&subject_key);
425 mbedtls_pk_init(&issuer_key);
426 mbedtls_pk_init(&issuer_key_alt);
Gilles Peskine449bd832023-01-11 14:50:10 +0100427 mbedtls_x509write_crt_init(&crt);
valerio32f2ac92023-04-20 11:59:52 +0200428 MD_OR_USE_PSA_INIT();
Paul Bakker2397cf32013-09-08 15:58:15 +0200429
Gilles Peskine449bd832023-01-11 14:50:10 +0100430 TEST_ASSERT(mbedtls_pk_parse_keyfile(&subject_key, subject_key_file,
431 subject_pwd, mbedtls_test_rnd_std_rand, NULL) == 0);
Hanno Becker418a6222017-09-14 07:51:28 +0100432
Gilles Peskine449bd832023-01-11 14:50:10 +0100433 TEST_ASSERT(mbedtls_pk_parse_keyfile(&issuer_key, issuer_key_file,
434 issuer_pwd, mbedtls_test_rnd_std_rand, NULL) == 0);
Hanno Becker418a6222017-09-14 07:51:28 +0100435
Gilles Peskine449bd832023-01-11 14:50:10 +0100436 issuer_key_type = mbedtls_pk_get_type(&issuer_key);
Neil Armstrong6ce6dd92022-03-17 09:38:50 +0100437
Dave Rodgmandc3b1542023-01-20 11:39:00 +0000438#if defined(MBEDTLS_RSA_C) && defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Hanno Becker418a6222017-09-14 07:51:28 +0100439 /* For RSA PK contexts, create a copy as an alternative RSA context. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100440 if (pk_wrap == 1 && issuer_key_type == MBEDTLS_PK_RSA) {
441 TEST_ASSERT(mbedtls_pk_setup_rsa_alt(&issuer_key_alt,
442 mbedtls_pk_rsa(issuer_key),
443 mbedtls_rsa_decrypt_func,
444 mbedtls_rsa_sign_func,
445 mbedtls_rsa_key_len_func) == 0);
Hanno Becker418a6222017-09-14 07:51:28 +0100446
447 key = &issuer_key_alt;
448 }
Manuel Pégourié-Gonnard147b28e2018-03-12 15:26:59 +0100449#endif
Hanno Becker418a6222017-09-14 07:51:28 +0100450
Neil Armstrong98f899c2022-03-16 17:42:42 +0100451#if defined(MBEDTLS_USE_PSA_CRYPTO)
Valerio Setti1fa2f6e2024-02-27 08:11:25 +0100452 /* Turn the issuer PK context into an opaque one. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100453 if (pk_wrap == 2) {
Valerio Setti1fa2f6e2024-02-27 08:11:25 +0100454 TEST_EQUAL(mbedtls_pk_get_psa_attributes(&issuer_key, PSA_KEY_USAGE_SIGN_HASH,
455 &key_attr), 0);
456 TEST_EQUAL(mbedtls_pk_import_into_psa(&issuer_key, &key_attr, &key_id), 0);
457 mbedtls_pk_free(&issuer_key);
458 mbedtls_pk_init(&issuer_key);
459 TEST_EQUAL(mbedtls_pk_setup_opaque(&issuer_key, key_id), 0);
Neil Armstrong98f899c2022-03-16 17:42:42 +0100460 }
461#endif /* MBEDTLS_USE_PSA_CRYPTO */
462
Gilles Peskine449bd832023-01-11 14:50:10 +0100463 if (pk_wrap == 2) {
464 TEST_ASSERT(mbedtls_pk_get_type(&issuer_key) == MBEDTLS_PK_OPAQUE);
465 }
Neil Armstrong98f899c2022-03-16 17:42:42 +0100466
Gilles Peskine449bd832023-01-11 14:50:10 +0100467 if (ver != -1) {
468 mbedtls_x509write_crt_set_version(&crt, ver);
469 }
Hanno Becker418a6222017-09-14 07:51:28 +0100470
Valerio Settiaad8dbd2023-01-09 17:20:25 +0100471#if defined(MBEDTLS_TEST_DEPRECATED) && defined(MBEDTLS_BIGNUM_C)
Valerio Settiaad8dbd2023-01-09 17:20:25 +0100472 TEST_ASSERT(mbedtls_mpi_read_binary(&serial_mpi, serial_arg->x,
473 serial_arg->len) == 0);
474 TEST_ASSERT(mbedtls_x509write_crt_set_serial(&crt, &serial_mpi) == 0);
Valerio Settida0afcc2023-01-05 16:46:59 +0100475#else
Valerio Settiaf4815c2023-01-26 17:43:09 +0100476 TEST_ASSERT(mbedtls_x509write_crt_set_serial_raw(&crt, serial_arg->x,
Valerio Settiaad8dbd2023-01-09 17:20:25 +0100477 serial_arg->len) == 0);
Valerio Settida0afcc2023-01-05 16:46:59 +0100478#endif
Gilles Peskine449bd832023-01-11 14:50:10 +0100479 TEST_ASSERT(mbedtls_x509write_crt_set_validity(&crt, not_before,
480 not_after) == 0);
481 mbedtls_x509write_crt_set_md_alg(&crt, md_type);
482 TEST_ASSERT(mbedtls_x509write_crt_set_issuer_name(&crt, issuer_name) == 0);
483 TEST_ASSERT(mbedtls_x509write_crt_set_subject_name(&crt, subject_name) == 0);
484 mbedtls_x509write_crt_set_subject_key(&crt, &subject_key);
Hanno Becker418a6222017-09-14 07:51:28 +0100485
Gilles Peskine449bd832023-01-11 14:50:10 +0100486 mbedtls_x509write_crt_set_issuer_key(&crt, key);
Paul Bakker2397cf32013-09-08 15:58:15 +0200487
Gilles Peskine449bd832023-01-11 14:50:10 +0100488 if (crt.version >= MBEDTLS_X509_CRT_VERSION_3) {
Darren Krahn9c134ce2021-01-13 22:04:45 -0800489 /* For the CA case, a path length of -1 means unlimited. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100490 TEST_ASSERT(mbedtls_x509write_crt_set_basic_constraints(&crt, is_ca,
491 (is_ca ? -1 : 0)) == 0);
492 TEST_ASSERT(mbedtls_x509write_crt_set_subject_key_identifier(&crt) == 0);
493 if (auth_ident) {
494 TEST_ASSERT(mbedtls_x509write_crt_set_authority_key_identifier(&crt) == 0);
495 }
496 if (set_key_usage != 0) {
497 TEST_ASSERT(mbedtls_x509write_crt_set_key_usage(&crt, key_usage) == 0);
498 }
499 if (set_cert_type != 0) {
500 TEST_ASSERT(mbedtls_x509write_crt_set_ns_cert_type(&crt, cert_type) == 0);
501 }
502 if (strcmp(ext_key_usage, "NULL") != 0) {
Dave Rodgmanec9f6b42022-07-27 14:34:58 +0100503 mbedtls_asn1_sequence exts[2];
Gilles Peskine449bd832023-01-11 14:50:10 +0100504 memset(exts, 0, sizeof(exts));
Dave Rodgman5f3f0d02022-08-11 14:38:26 +0100505
506#define SET_OID(x, oid) \
507 do { \
508 x.len = MBEDTLS_OID_SIZE(oid); \
Gilles Peskine449bd832023-01-11 14:50:10 +0100509 x.p = (unsigned char *) oid; \
Dave Rodgman5f3f0d02022-08-11 14:38:26 +0100510 x.tag = MBEDTLS_ASN1_OID; \
Dave Rodgmane2b772d2022-08-11 16:04:13 +0100511 } \
Gilles Peskine449bd832023-01-11 14:50:10 +0100512 while (0)
Dave Rodgman5f3f0d02022-08-11 14:38:26 +0100513
Gilles Peskine449bd832023-01-11 14:50:10 +0100514 if (strcmp(ext_key_usage, "serverAuth") == 0) {
515 SET_OID(exts[0].buf, MBEDTLS_OID_SERVER_AUTH);
516 } else if (strcmp(ext_key_usage, "codeSigning,timeStamping") == 0) {
517 SET_OID(exts[0].buf, MBEDTLS_OID_CODE_SIGNING);
Dave Rodgman5f3f0d02022-08-11 14:38:26 +0100518 exts[0].next = &exts[1];
Gilles Peskine449bd832023-01-11 14:50:10 +0100519 SET_OID(exts[1].buf, MBEDTLS_OID_TIME_STAMPING);
Nicholas Wilsonca841d32015-11-13 14:22:36 +0000520 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100521 TEST_ASSERT(mbedtls_x509write_crt_set_ext_key_usage(&crt, exts) == 0);
Nicholas Wilsonca841d32015-11-13 14:22:36 +0000522 }
Manuel Pégourié-Gonnard6c1a73e2014-03-28 14:03:22 +0100523 }
Paul Bakker2397cf32013-09-08 15:58:15 +0200524
Andrzej Kurek76c96622023-04-04 06:57:08 -0400525 if (set_subjectAltNames) {
526 TEST_ASSERT(mbedtls_x509write_crt_set_subject_alternative_name(&crt, san_list) == 0);
527 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100528 ret = mbedtls_x509write_crt_pem(&crt, buf, sizeof(buf),
529 mbedtls_test_rnd_pseudo_rand, &rnd_info);
530 TEST_ASSERT(ret == 0);
Paul Bakker2397cf32013-09-08 15:58:15 +0200531
Gilles Peskine449bd832023-01-11 14:50:10 +0100532 pem_len = strlen((char *) buf);
Paul Bakker2397cf32013-09-08 15:58:15 +0200533
Paul Elliott557b8d62020-11-19 09:46:56 +0000534 // check that the rest of the buffer remains clear
Gilles Peskine449bd832023-01-11 14:50:10 +0100535 for (buf_index = pem_len; buf_index < sizeof(buf); ++buf_index) {
536 TEST_ASSERT(buf[buf_index] == 0);
Paul Elliott557b8d62020-11-19 09:46:56 +0000537 }
538
Gilles Peskine449bd832023-01-11 14:50:10 +0100539 if (issuer_key_type != MBEDTLS_PK_RSA) {
Neil Armstrong6ce6dd92022-03-17 09:38:50 +0100540 mbedtls_x509_crt crt_parse, trusted;
541 uint32_t flags;
Paul Bakker2397cf32013-09-08 15:58:15 +0200542
Gilles Peskine449bd832023-01-11 14:50:10 +0100543 mbedtls_x509_crt_init(&crt_parse);
544 mbedtls_x509_crt_init(&trusted);
Neil Armstrong6ce6dd92022-03-17 09:38:50 +0100545
Gilles Peskine449bd832023-01-11 14:50:10 +0100546 TEST_ASSERT(mbedtls_x509_crt_parse_file(&trusted,
547 cert_verify_file) == 0);
548 TEST_ASSERT(mbedtls_x509_crt_parse(&crt_parse,
549 buf, sizeof(buf)) == 0);
Neil Armstrong6ce6dd92022-03-17 09:38:50 +0100550
Gilles Peskine449bd832023-01-11 14:50:10 +0100551 ret = mbedtls_x509_crt_verify(&crt_parse, &trusted, NULL, NULL, &flags,
552 NULL, NULL);
Neil Armstrong6ce6dd92022-03-17 09:38:50 +0100553
Gilles Peskine449bd832023-01-11 14:50:10 +0100554 mbedtls_x509_crt_free(&crt_parse);
555 mbedtls_x509_crt_free(&trusted);
Neil Armstrong6ce6dd92022-03-17 09:38:50 +0100556
Gilles Peskine449bd832023-01-11 14:50:10 +0100557 TEST_EQUAL(flags, 0);
558 TEST_EQUAL(ret, 0);
559 } else if (*cert_check_file != '\0') {
560 f = fopen(cert_check_file, "r");
561 TEST_ASSERT(f != NULL);
562 olen = fread(check_buf, 1, sizeof(check_buf), f);
563 fclose(f);
564 TEST_ASSERT(olen < sizeof(check_buf));
Neil Armstrong6ce6dd92022-03-17 09:38:50 +0100565
Gilles Peskine449bd832023-01-11 14:50:10 +0100566 TEST_EQUAL(olen, pem_len);
567 TEST_ASSERT(olen >= pem_len - 1);
568 TEST_ASSERT(memcmp(buf, check_buf, pem_len - 1) == 0);
Neil Armstrong6ce6dd92022-03-17 09:38:50 +0100569 }
Paul Bakker2397cf32013-09-08 15:58:15 +0200570
Gilles Peskine449bd832023-01-11 14:50:10 +0100571 der_len = mbedtls_x509write_crt_der(&crt, buf, sizeof(buf),
572 mbedtls_test_rnd_pseudo_rand,
573 &rnd_info);
574 TEST_ASSERT(der_len >= 0);
Andres AGe0af9952016-09-07 11:09:44 +0100575
Gilles Peskine449bd832023-01-11 14:50:10 +0100576 if (der_len == 0) {
Andres AGe0af9952016-09-07 11:09:44 +0100577 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100578 }
Andres AGe0af9952016-09-07 11:09:44 +0100579
Werner Lewisacd01e52022-05-10 12:23:13 +0100580 // Not testing against file, check date format
Gilles Peskine449bd832023-01-11 14:50:10 +0100581 if (*cert_check_file == '\0') {
Werner Lewisacd01e52022-05-10 12:23:13 +0100582 // UTC tag if before 2050, 2 digits less for year
Gilles Peskine449bd832023-01-11 14:50:10 +0100583 if (not_before[0] == '2' && (not_before[1] > '0' || not_before[2] > '4')) {
Werner Lewisacd01e52022-05-10 12:23:13 +0100584 before_tag = MBEDTLS_ASN1_GENERALIZED_TIME;
Gilles Peskine449bd832023-01-11 14:50:10 +0100585 } else {
Werner Lewisacd01e52022-05-10 12:23:13 +0100586 before_tag = MBEDTLS_ASN1_UTC_TIME;
587 not_before += 2;
588 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100589 if (not_after[0] == '2' && (not_after[1] > '0' || not_after[2] > '4')) {
Werner Lewisacd01e52022-05-10 12:23:13 +0100590 after_tag = MBEDTLS_ASN1_GENERALIZED_TIME;
Gilles Peskine449bd832023-01-11 14:50:10 +0100591 } else {
Werner Lewisacd01e52022-05-10 12:23:13 +0100592 after_tag = MBEDTLS_ASN1_UTC_TIME;
593 not_after += 2;
594 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100595 end = buf + sizeof(buf);
596 for (p = end - der_len; p < end;) {
Werner Lewisacd01e52022-05-10 12:23:13 +0100597 tag = *p++;
598 sz = *p++;
Gilles Peskine449bd832023-01-11 14:50:10 +0100599 if (tag == MBEDTLS_ASN1_UTC_TIME || tag == MBEDTLS_ASN1_GENERALIZED_TIME) {
Werner Lewisacd01e52022-05-10 12:23:13 +0100600 // Check correct tag and time written
Gilles Peskine449bd832023-01-11 14:50:10 +0100601 TEST_ASSERT(before_tag == tag);
602 TEST_ASSERT(memcmp(p, not_before, sz - 1) == 0);
Werner Lewisacd01e52022-05-10 12:23:13 +0100603 p += sz;
604 tag = *p++;
605 sz = *p++;
Gilles Peskine449bd832023-01-11 14:50:10 +0100606 TEST_ASSERT(after_tag == tag);
607 TEST_ASSERT(memcmp(p, not_after, sz - 1) == 0);
Werner Lewisacd01e52022-05-10 12:23:13 +0100608 break;
609 }
610 // Increment if long form ASN1 length
Gilles Peskine449bd832023-01-11 14:50:10 +0100611 if (sz & 0x80) {
Werner Lewisacd01e52022-05-10 12:23:13 +0100612 p += sz & 0x0F;
Gilles Peskine449bd832023-01-11 14:50:10 +0100613 }
614 if (tag != (MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE)) {
Werner Lewisacd01e52022-05-10 12:23:13 +0100615 p += sz;
Gilles Peskine449bd832023-01-11 14:50:10 +0100616 }
Werner Lewisacd01e52022-05-10 12:23:13 +0100617 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100618 TEST_ASSERT(p < end);
Werner Lewisacd01e52022-05-10 12:23:13 +0100619 }
620
Neil Armstrong6ce6dd92022-03-17 09:38:50 +0100621#if defined(MBEDTLS_USE_PSA_CRYPTO)
Neil Armstronge6ed23c2022-04-22 09:44:04 +0200622 // When using PSA crypto, RNG isn't controllable, result length isn't
Neil Armstrong6ce6dd92022-03-17 09:38:50 +0100623 // deterministic over multiple runs, removing a single byte isn't enough to
624 // go into the MBEDTLS_ERR_ASN1_BUF_TOO_SMALL error case
Gilles Peskine449bd832023-01-11 14:50:10 +0100625 if (issuer_key_type != MBEDTLS_PK_RSA) {
Neil Armstrong6ce6dd92022-03-17 09:38:50 +0100626 der_len /= 2;
Gilles Peskine449bd832023-01-11 14:50:10 +0100627 } else
Neil Armstrong6ce6dd92022-03-17 09:38:50 +0100628#endif
Gilles Peskine449bd832023-01-11 14:50:10 +0100629 der_len -= 1;
Neil Armstrong6ce6dd92022-03-17 09:38:50 +0100630
Gilles Peskine449bd832023-01-11 14:50:10 +0100631 ret = mbedtls_x509write_crt_der(&crt, buf, (size_t) (der_len),
632 mbedtls_test_rnd_pseudo_rand, &rnd_info);
633 TEST_ASSERT(ret == MBEDTLS_ERR_ASN1_BUF_TOO_SMALL);
Andres AGe0af9952016-09-07 11:09:44 +0100634
Paul Bakkerbd51b262014-07-10 15:26:12 +0200635exit:
Andrzej Kurek5da1d752023-04-05 08:30:59 -0400636 mbedtls_asn1_free_named_data_list(&ext_san_dirname);
Gilles Peskine449bd832023-01-11 14:50:10 +0100637 mbedtls_x509write_crt_free(&crt);
638 mbedtls_pk_free(&issuer_key_alt);
639 mbedtls_pk_free(&subject_key);
640 mbedtls_pk_free(&issuer_key);
Valerio Settiaad8dbd2023-01-09 17:20:25 +0100641#if defined(MBEDTLS_TEST_DEPRECATED) && defined(MBEDTLS_BIGNUM_C)
642 mbedtls_mpi_free(&serial_mpi);
643#endif
Neil Armstrong98f899c2022-03-16 17:42:42 +0100644#if defined(MBEDTLS_USE_PSA_CRYPTO)
Gilles Peskine449bd832023-01-11 14:50:10 +0100645 psa_destroy_key(key_id);
Neil Armstrong98f899c2022-03-16 17:42:42 +0100646#endif
Manuel Pégourié-Gonnard33a13022023-03-17 14:02:49 +0100647 MD_OR_USE_PSA_DONE();
Paul Bakker2397cf32013-09-08 15:58:15 +0200648}
649/* END_CASE */
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200650
Valerio Settiaad8dbd2023-01-09 17:20:25 +0100651/* BEGIN_CASE depends_on:MBEDTLS_X509_CRT_WRITE_C */
652void x509_set_serial_check()
653{
654 mbedtls_x509write_cert ctx;
655 uint8_t invalid_serial[MBEDTLS_X509_RFC5280_MAX_SERIAL_LEN + 1];
656
David Horstmanne04a97a2023-12-08 18:27:48 +0000657#if defined(MBEDTLS_TEST_DEPRECATED) && defined(MBEDTLS_BIGNUM_C)
658 mbedtls_mpi serial_mpi;
659 mbedtls_mpi_init(&serial_mpi);
660#endif
661
Valerio Setti569c1712023-04-19 14:53:36 +0200662 USE_PSA_INIT();
Valerio Settiaad8dbd2023-01-09 17:20:25 +0100663 memset(invalid_serial, 0x01, sizeof(invalid_serial));
664
Valerio Settiea19d2d2023-01-09 17:21:17 +0100665#if defined(MBEDTLS_TEST_DEPRECATED) && defined(MBEDTLS_BIGNUM_C)
Valerio Settiaad8dbd2023-01-09 17:20:25 +0100666 TEST_EQUAL(mbedtls_mpi_read_binary(&serial_mpi, invalid_serial,
667 sizeof(invalid_serial)), 0);
668 TEST_EQUAL(mbedtls_x509write_crt_set_serial(&ctx, &serial_mpi),
669 MBEDTLS_ERR_X509_BAD_INPUT_DATA);
Valerio Settiaad8dbd2023-01-09 17:20:25 +0100670#endif
671
Valerio Settiaf4815c2023-01-26 17:43:09 +0100672 TEST_EQUAL(mbedtls_x509write_crt_set_serial_raw(&ctx, invalid_serial,
Valerio Settiaad8dbd2023-01-09 17:20:25 +0100673 sizeof(invalid_serial)),
674 MBEDTLS_ERR_X509_BAD_INPUT_DATA);
675
Valerio Settia87f8392023-01-26 18:00:50 +0100676exit:
677#if defined(MBEDTLS_TEST_DEPRECATED) && defined(MBEDTLS_BIGNUM_C)
678 mbedtls_mpi_free(&serial_mpi);
679#else
680 ;
681#endif
Valerio Setti569c1712023-04-19 14:53:36 +0200682 USE_PSA_DONE();
Valerio Settiaad8dbd2023-01-09 17:20:25 +0100683}
684/* END_CASE */
685
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200686/* BEGIN_CASE depends_on:MBEDTLS_X509_CREATE_C:MBEDTLS_X509_USE_C */
Gilles Peskinec94500b2023-09-21 18:01:05 +0200687void mbedtls_x509_string_to_names(char *name, char *parsed_name,
688 int result, int may_fail)
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200689{
690 int ret;
691 size_t len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200692 mbedtls_asn1_named_data *names = NULL;
Gilles Peskine21e46b32023-10-17 16:35:20 +0200693 mbedtls_x509_name parsed;
694 memset(&parsed, 0, sizeof(parsed));
695 mbedtls_x509_name *parsed_cur = NULL;
696 mbedtls_x509_name *parsed_prv = NULL;
Gilles Peskinef2574202023-10-18 17:39:48 +0200697 unsigned char buf[1024] = { 0 };
698 unsigned char out[1024] = { 0 };
Gilles Peskine21e46b32023-10-17 16:35:20 +0200699 unsigned char *c = buf + sizeof(buf);
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200700
Valerio Setti569c1712023-04-19 14:53:36 +0200701 USE_PSA_INIT();
702
Gilles Peskine449bd832023-01-11 14:50:10 +0100703 ret = mbedtls_x509_string_to_names(&names, name);
Gilles Peskine1c7223b2023-09-21 14:02:05 +0200704 TEST_EQUAL(ret, result);
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200705
Gilles Peskine449bd832023-01-11 14:50:10 +0100706 if (ret != 0) {
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200707 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100708 }
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200709
Gilles Peskine449bd832023-01-11 14:50:10 +0100710 ret = mbedtls_x509_write_names(&c, buf, names);
Gilles Peskine1c7223b2023-09-21 14:02:05 +0200711 TEST_LE_S(1, ret);
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200712
Gilles Peskine1c7223b2023-09-21 14:02:05 +0200713 TEST_EQUAL(mbedtls_asn1_get_tag(&c, buf + sizeof(buf), &len,
Gilles Peskineaa01a032023-09-21 15:57:30 +0200714 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE), 0);
Gilles Peskinec94500b2023-09-21 18:01:05 +0200715 ret = mbedtls_x509_get_name(&c, buf + sizeof(buf), &parsed);
716 if ((may_fail & MAY_FAIL_GET_NAME) && ret < 0) {
717 /* Validation inconsistency between mbedtls_x509_string_to_names() and
718 * mbedtls_x509_get_name(). Accept it for now. */
719 goto exit;
720 }
721 TEST_EQUAL(ret, 0);
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200722
Gilles Peskine449bd832023-01-11 14:50:10 +0100723 ret = mbedtls_x509_dn_gets((char *) out, sizeof(out), &parsed);
Gilles Peskinec94500b2023-09-21 18:01:05 +0200724 if ((may_fail & MAY_FAIL_DN_GETS) && ret < 0) {
725 /* Validation inconsistency between mbedtls_x509_string_to_names() and
726 * mbedtls_x509_dn_gets(). Accept it for now. */
727 goto exit;
728 }
Gilles Peskine1c7223b2023-09-21 14:02:05 +0200729 TEST_LE_S(1, ret);
Gilles Peskine449bd832023-01-11 14:50:10 +0100730 TEST_ASSERT(strcmp((char *) out, parsed_name) == 0);
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200731
732exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100733 mbedtls_asn1_free_named_data_list(&names);
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200734
735 parsed_cur = parsed.next;
Gilles Peskine449bd832023-01-11 14:50:10 +0100736 while (parsed_cur != 0) {
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200737 parsed_prv = parsed_cur;
738 parsed_cur = parsed_cur->next;
Gilles Peskine449bd832023-01-11 14:50:10 +0100739 mbedtls_free(parsed_prv);
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200740 }
Valerio Setti569c1712023-04-19 14:53:36 +0200741 USE_PSA_DONE();
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200742}
743/* END_CASE */
Jonathan Winzig2bd2b782024-01-09 15:19:42 +0100744
Jonathan Winzig315c3ca2024-01-09 18:31:11 +0100745/* BEGIN_CASE depends_on:MBEDTLS_X509_CSR_WRITE_C */
Jonathan Winzig6c9779f2024-01-09 17:47:10 +0100746void x509_set_extension_length_check()
Jonathan Winzig2bd2b782024-01-09 15:19:42 +0100747{
748 int ret = 0;
749
750 mbedtls_x509write_csr ctx;
751 mbedtls_x509write_csr_init(&ctx);
752
753 unsigned char buf[EXT_KEY_USAGE_TMP_BUF_MAX_LENGTH] = { 0 };
754 unsigned char *p = buf + sizeof(buf);
755
756 ret = mbedtls_x509_set_extension(&(ctx.MBEDTLS_PRIVATE(extensions)),
757 MBEDTLS_OID_EXTENDED_KEY_USAGE,
758 MBEDTLS_OID_SIZE(MBEDTLS_OID_EXTENDED_KEY_USAGE),
759 0,
760 p,
Jonathan Winzig6c9779f2024-01-09 17:47:10 +0100761 SIZE_MAX);
762 TEST_ASSERT(MBEDTLS_ERR_X509_BAD_INPUT_DATA == ret);
Jonathan Winzig2bd2b782024-01-09 15:19:42 +0100763}
764/* END_CASE */
Sam Berry2bb3f4d2024-07-19 15:14:27 +0100765
766/* BEGIN_CASE depends_on:MBEDTLS_X509_USE_C */
767void oid_from_numeric_string(char *oid_str, int error_ret,
768 data_t *exp_oid_buf)
769{
770 mbedtls_asn1_buf oid = { 0, 0, NULL };
771 mbedtls_asn1_buf exp_oid = { 0, 0, NULL };
772 int ret;
773
774 exp_oid.tag = MBEDTLS_ASN1_OID;
775 exp_oid.p = exp_oid_buf->x;
776 exp_oid.len = exp_oid_buf->len;
777
778 ret = mbedtls_oid_from_numeric_string(&oid, oid_str, strlen(oid_str));
779
780 if (error_ret == 0) {
781 TEST_EQUAL(oid.len, exp_oid.len);
782 TEST_ASSERT(memcmp(oid.p, exp_oid.p, oid.len) == 0);
783 mbedtls_free(oid.p);
784 oid.p = NULL;
785 oid.len = 0;
786 } else {
787 TEST_EQUAL(ret, error_ret);
788 }
789}
790/* END_CASE */