blob: 4ffd3b6a8030d3a31c8c054a3af30ef066f75917 [file] [log] [blame]
Paul Bakker7c6b2c32013-09-16 13:49:26 +02001/*
2 * X.509 base functions for creating certificates / CSRs
3 *
Bence Szépkúti1e148272020-08-07 13:07:28 +02004 * Copyright The Mbed TLS Contributors
Dave Rodgman7ff79652023-11-03 12:04:52 +00005 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Paul Bakker7c6b2c32013-09-16 13:49:26 +02006 */
7
Gilles Peskinedb09ef62020-06-03 01:43:33 +02008#include "common.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +02009
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020010#if defined(MBEDTLS_X509_CREATE_C)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020011
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000012#include "mbedtls/x509.h"
13#include "mbedtls/asn1write.h"
Janos Follath73c616b2019-12-18 15:07:04 +000014#include "mbedtls/error.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000015#include "mbedtls/oid.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020016
Rich Evans00ab4702015-02-06 13:43:58 +000017#include <string.h>
18
Hanno Beckerd2c90092018-10-08 14:32:55 +010019/* Structure linking OIDs for X.509 DN AttributeTypes to their
20 * string representations and default string encodings used by Mbed TLS. */
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +020021typedef struct {
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010022 const char *name; /* String representation of AttributeType, e.g.
23 * "CN" or "emailAddress". */
24 size_t name_len; /* Length of 'name', without trailing 0 byte. */
25 const char *oid; /* String representation of OID of AttributeType,
Hanno Beckerd2c90092018-10-08 14:32:55 +010026 * as per RFC 5280, Appendix A.1. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010027 int default_tag; /* The default character encoding used for the
Hanno Beckerd2c90092018-10-08 14:32:55 +010028 * given attribute type, e.g.
Hanno Beckeree334a32018-10-24 12:33:07 +010029 * MBEDTLS_ASN1_UTF8_STRING for UTF-8. */
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +020030} x509_attr_descriptor_t;
31
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010032#define ADD_STRLEN(s) s, sizeof(s) - 1
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +020033
Hanno Becker35b68542018-10-08 14:47:38 +010034/* X.509 DN attributes from RFC 5280, Appendix A.1. */
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +020035static const x509_attr_descriptor_t x509_attrs[] =
36{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010037 { ADD_STRLEN("CN"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010038 MBEDTLS_OID_AT_CN, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010039 { ADD_STRLEN("commonName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010040 MBEDTLS_OID_AT_CN, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010041 { ADD_STRLEN("C"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010042 MBEDTLS_OID_AT_COUNTRY, MBEDTLS_ASN1_PRINTABLE_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010043 { ADD_STRLEN("countryName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010044 MBEDTLS_OID_AT_COUNTRY, MBEDTLS_ASN1_PRINTABLE_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010045 { ADD_STRLEN("O"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010046 MBEDTLS_OID_AT_ORGANIZATION, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010047 { ADD_STRLEN("organizationName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010048 MBEDTLS_OID_AT_ORGANIZATION, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010049 { ADD_STRLEN("L"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010050 MBEDTLS_OID_AT_LOCALITY, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010051 { ADD_STRLEN("locality"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010052 MBEDTLS_OID_AT_LOCALITY, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010053 { ADD_STRLEN("R"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010054 MBEDTLS_OID_PKCS9_EMAIL, MBEDTLS_ASN1_IA5_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010055 { ADD_STRLEN("OU"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010056 MBEDTLS_OID_AT_ORG_UNIT, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010057 { ADD_STRLEN("organizationalUnitName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010058 MBEDTLS_OID_AT_ORG_UNIT, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010059 { ADD_STRLEN("ST"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010060 MBEDTLS_OID_AT_STATE, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010061 { ADD_STRLEN("stateOrProvinceName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010062 MBEDTLS_OID_AT_STATE, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010063 { ADD_STRLEN("emailAddress"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010064 MBEDTLS_OID_PKCS9_EMAIL, MBEDTLS_ASN1_IA5_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010065 { ADD_STRLEN("serialNumber"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010066 MBEDTLS_OID_AT_SERIAL_NUMBER, MBEDTLS_ASN1_PRINTABLE_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010067 { ADD_STRLEN("postalAddress"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010068 MBEDTLS_OID_AT_POSTAL_ADDRESS, MBEDTLS_ASN1_PRINTABLE_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010069 { ADD_STRLEN("postalCode"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010070 MBEDTLS_OID_AT_POSTAL_CODE, MBEDTLS_ASN1_PRINTABLE_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010071 { ADD_STRLEN("dnQualifier"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010072 MBEDTLS_OID_AT_DN_QUALIFIER, MBEDTLS_ASN1_PRINTABLE_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010073 { ADD_STRLEN("title"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010074 MBEDTLS_OID_AT_TITLE, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010075 { ADD_STRLEN("surName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010076 MBEDTLS_OID_AT_SUR_NAME, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010077 { ADD_STRLEN("SN"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010078 MBEDTLS_OID_AT_SUR_NAME, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010079 { ADD_STRLEN("givenName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010080 MBEDTLS_OID_AT_GIVEN_NAME, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010081 { ADD_STRLEN("GN"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010082 MBEDTLS_OID_AT_GIVEN_NAME, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010083 { ADD_STRLEN("initials"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010084 MBEDTLS_OID_AT_INITIALS, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010085 { ADD_STRLEN("pseudonym"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010086 MBEDTLS_OID_AT_PSEUDONYM, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010087 { ADD_STRLEN("generationQualifier"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010088 MBEDTLS_OID_AT_GENERATION_QUALIFIER, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010089 { ADD_STRLEN("domainComponent"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010090 MBEDTLS_OID_DOMAIN_COMPONENT, MBEDTLS_ASN1_IA5_STRING },
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010091 { ADD_STRLEN("DC"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010092 MBEDTLS_OID_DOMAIN_COMPONENT, MBEDTLS_ASN1_IA5_STRING },
tdoec150f0d2018-05-18 12:12:45 +020093 { NULL, 0, NULL, MBEDTLS_ASN1_NULL }
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +020094};
95
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010096static const x509_attr_descriptor_t *x509_attr_descr_from_name(const char *name, size_t name_len)
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +020097{
98 const x509_attr_descriptor_t *cur;
99
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100100 for (cur = x509_attrs; cur->name != NULL; cur++) {
101 if (cur->name_len == name_len &&
102 strncmp(cur->name, name, name_len) == 0) {
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +0200103 break;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100104 }
105 }
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +0200106
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100107 if (cur->name == NULL) {
108 return NULL;
109 }
Hanno Beckerd2c90092018-10-08 14:32:55 +0100110
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100111 return cur;
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +0200112}
113
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100114int mbedtls_x509_string_to_names(mbedtls_asn1_named_data **head, const char *name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200115{
David Horstmannabaea612023-06-27 15:17:44 +0100116 int ret = MBEDTLS_ERR_X509_INVALID_NAME;
Paul Bakker50dc8502013-10-28 21:19:10 +0100117 const char *s = name, *c = s;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100118 const char *end = s + strlen(s);
Paul Bakkerfcc17212013-10-11 09:36:52 +0200119 const char *oid = NULL;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100120 const x509_attr_descriptor_t *attr_descr = NULL;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200121 int in_tag = 1;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200122 char data[MBEDTLS_X509_MAX_DN_NAME_SIZE];
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200123 char *d = data;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200124
125 /* Clear existing chain if present */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100126 mbedtls_asn1_free_named_data_list(head);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200127
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100128 while (c <= end) {
129 if (in_tag && *c == '=') {
130 if ((attr_descr = x509_attr_descr_from_name(s, c - s)) == NULL) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200131 ret = MBEDTLS_ERR_X509_UNKNOWN_OID;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200132 goto exit;
133 }
134
thomas-deeeba6c9b2018-09-19 09:10:37 +0200135 oid = attr_descr->oid;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200136 s = c + 1;
137 in_tag = 0;
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200138 d = data;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200139 }
140
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100141 if (!in_tag && *c == '\\' && c != end) {
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200142 c++;
143
144 /* Check for valid escaped characters */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100145 if (c == end || *c != ',') {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200146 ret = MBEDTLS_ERR_X509_INVALID_NAME;
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200147 goto exit;
148 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100149 } else if (!in_tag && (*c == ',' || c == end)) {
150 mbedtls_asn1_named_data *cur =
151 mbedtls_asn1_store_named_data(head, oid, strlen(oid),
152 (unsigned char *) data,
153 d - data);
Jaeden Amero23f954d2018-05-17 11:46:13 +0100154
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100155 if (cur == NULL) {
156 return MBEDTLS_ERR_X509_ALLOC_FAILED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200157 }
158
Jaeden Amero23f954d2018-05-17 11:46:13 +0100159 // set tagType
Hanno Beckerd355e692018-10-08 14:42:47 +0100160 cur->val.tag = attr_descr->default_tag;
Jaeden Amero23f954d2018-05-17 11:46:13 +0100161
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100162 while (c < end && *(c + 1) == ' ') {
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200163 c++;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100164 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200165
166 s = c + 1;
167 in_tag = 1;
David Horstmannabaea612023-06-27 15:17:44 +0100168
169 /* Successfully parsed one name, update ret to success */
170 ret = 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200171 }
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200172
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100173 if (!in_tag && s != c + 1) {
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200174 *(d++) = *c;
175
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100176 if (d - data == MBEDTLS_X509_MAX_DN_NAME_SIZE) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200177 ret = MBEDTLS_ERR_X509_INVALID_NAME;
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200178 goto exit;
179 }
180 }
181
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200182 c++;
183 }
184
185exit:
186
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100187 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200188}
189
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200190/* The first byte of the value in the mbedtls_asn1_named_data structure is reserved
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200191 * to store the critical boolean for us
192 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100193int mbedtls_x509_set_extension(mbedtls_asn1_named_data **head, const char *oid, size_t oid_len,
194 int critical, const unsigned char *val, size_t val_len)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200195{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200196 mbedtls_asn1_named_data *cur;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200197
Jonathan Winziga836a842024-01-10 13:26:36 +0100198 if (val_len > (SIZE_MAX - 1)) {
199 return MBEDTLS_ERR_X509_BAD_INPUT_DATA;
200 }
201
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100202 if ((cur = mbedtls_asn1_store_named_data(head, oid, oid_len,
203 NULL, val_len + 1)) == NULL) {
204 return MBEDTLS_ERR_X509_ALLOC_FAILED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200205 }
206
207 cur->val.p[0] = critical;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100208 memcpy(cur->val.p + 1, val, val_len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200209
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100210 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200211}
212
213/*
214 * RelativeDistinguishedName ::=
215 * SET OF AttributeTypeAndValue
216 *
217 * AttributeTypeAndValue ::= SEQUENCE {
218 * type AttributeType,
219 * value AttributeValue }
220 *
221 * AttributeType ::= OBJECT IDENTIFIER
222 *
223 * AttributeValue ::= ANY DEFINED BY AttributeType
224 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100225static int x509_write_name(unsigned char **p,
226 unsigned char *start,
227 mbedtls_asn1_named_data *cur_name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200228{
Janos Follath865b3eb2019-12-16 11:46:15 +0000229 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200230 size_t len = 0;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100231 const char *oid = (const char *) cur_name->oid.p;
Jaeden Amero23f954d2018-05-17 11:46:13 +0100232 size_t oid_len = cur_name->oid.len;
233 const unsigned char *name = cur_name->val.p;
234 size_t name_len = cur_name->val.len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200235
Jaeden Amero23f954d2018-05-17 11:46:13 +0100236 // Write correct string tag and value
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100237 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tagged_string(p, start,
238 cur_name->val.tag,
239 (const char *) name,
240 name_len));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200241 // Write OID
242 //
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100243 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_oid(p, start, oid,
244 oid_len));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200245
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100246 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
247 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
248 MBEDTLS_ASN1_CONSTRUCTED |
249 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200250
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100251 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
252 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
253 MBEDTLS_ASN1_CONSTRUCTED |
254 MBEDTLS_ASN1_SET));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200255
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100256 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200257}
258
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100259int mbedtls_x509_write_names(unsigned char **p, unsigned char *start,
260 mbedtls_asn1_named_data *first)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200261{
Janos Follath865b3eb2019-12-16 11:46:15 +0000262 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200263 size_t len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200264 mbedtls_asn1_named_data *cur = first;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200265
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100266 while (cur != NULL) {
267 MBEDTLS_ASN1_CHK_ADD(len, x509_write_name(p, start, cur));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200268 cur = cur->next;
269 }
270
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100271 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
272 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_CONSTRUCTED |
273 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200274
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100275 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200276}
277
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100278int mbedtls_x509_write_sig(unsigned char **p, unsigned char *start,
279 const char *oid, size_t oid_len,
Marek Jansta0a6743b2022-11-07 12:38:38 +0100280 unsigned char *sig, size_t size,
281 mbedtls_pk_type_t pk_alg)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200282{
Janos Follath865b3eb2019-12-16 11:46:15 +0000283 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Marek Jansta0a6743b2022-11-07 12:38:38 +0100284 int write_null_par;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200285 size_t len = 0;
286
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100287 if (*p < start || (size_t) (*p - start) < size) {
288 return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
289 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200290
291 len = size;
292 (*p) -= len;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100293 memcpy(*p, sig, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200294
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100295 if (*p - start < 1) {
296 return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
297 }
Manuel Pégourié-Gonnard4dc9b392015-10-21 12:23:09 +0200298
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200299 *--(*p) = 0;
300 len += 1;
301
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100302 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
303 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_BIT_STRING));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200304
305 // Write OID
306 //
Marek Jansta0a6743b2022-11-07 12:38:38 +0100307 if (pk_alg == MBEDTLS_PK_ECDSA) {
308 /*
309 * The AlgorithmIdentifier's parameters field must be absent for DSA/ECDSA signature
310 * algorithms, see https://www.rfc-editor.org/rfc/rfc5480#page-17 and
311 * https://www.rfc-editor.org/rfc/rfc5758#section-3.
312 */
313 write_null_par = 0;
314 } else {
315 write_null_par = 1;
316 }
317 MBEDTLS_ASN1_CHK_ADD(len,
318 mbedtls_asn1_write_algorithm_identifier_ext(p, start, oid, oid_len,
319 0, write_null_par));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200320
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100321 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200322}
323
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100324static int x509_write_extension(unsigned char **p, unsigned char *start,
325 mbedtls_asn1_named_data *ext)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200326{
Janos Follath865b3eb2019-12-16 11:46:15 +0000327 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200328 size_t len = 0;
329
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100330 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start, ext->val.p + 1,
331 ext->val.len - 1));
332 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, ext->val.len - 1));
333 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_OCTET_STRING));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200334
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100335 if (ext->val.p[0] != 0) {
336 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_bool(p, start, 1));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200337 }
338
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100339 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start, ext->oid.p,
340 ext->oid.len));
341 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, ext->oid.len));
342 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_OID));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200343
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100344 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
345 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_CONSTRUCTED |
346 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200347
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100348 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200349}
350
351/*
352 * Extension ::= SEQUENCE {
353 * extnID OBJECT IDENTIFIER,
354 * critical BOOLEAN DEFAULT FALSE,
355 * extnValue OCTET STRING
356 * -- contains the DER encoding of an ASN.1 value
357 * -- corresponding to the extension type identified
358 * -- by extnID
359 * }
360 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100361int mbedtls_x509_write_extensions(unsigned char **p, unsigned char *start,
362 mbedtls_asn1_named_data *first)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200363{
Janos Follath865b3eb2019-12-16 11:46:15 +0000364 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200365 size_t len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200366 mbedtls_asn1_named_data *cur_ext = first;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200367
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100368 while (cur_ext != NULL) {
369 MBEDTLS_ASN1_CHK_ADD(len, x509_write_extension(p, start, cur_ext));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200370 cur_ext = cur_ext->next;
371 }
372
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100373 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200374}
375
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200376#endif /* MBEDTLS_X509_CREATE_C */