blob: b2b6bcddaaf9d942ef4b0e68a9e3b37f5e389004 [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
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +02005 * SPDX-License-Identifier: Apache-2.0
6 *
7 * Licensed under the Apache License, Version 2.0 (the "License"); you may
8 * not use this file except in compliance with the License.
9 * You may obtain a copy of the License at
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
Paul Bakker7c6b2c32013-09-16 13:49:26 +020018 */
19
Gilles Peskinedb09ef62020-06-03 01:43:33 +020020#include "common.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020021
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020022#if defined(MBEDTLS_X509_CREATE_C)
Paul Bakker7c6b2c32013-09-16 13:49:26 +020023
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000024#include "mbedtls/x509.h"
25#include "mbedtls/asn1write.h"
Janos Follath73c616b2019-12-18 15:07:04 +000026#include "mbedtls/error.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000027#include "mbedtls/oid.h"
Paul Bakker7c6b2c32013-09-16 13:49:26 +020028
Rich Evans00ab4702015-02-06 13:43:58 +000029#include <string.h>
30
Agathiyan Bragadeeshe119f3c2023-07-24 17:21:14 +010031#include "mbedtls/platform.h"
32
Agathiyan Bragadeesh6cbfae52023-07-27 14:34:11 +010033#if defined(MBEDTLS_ASN1_PARSE_C)
34#include "mbedtls/asn1.h"
35#endif
36
Hanno Beckerd2c90092018-10-08 14:32:55 +010037/* Structure linking OIDs for X.509 DN AttributeTypes to their
38 * string representations and default string encodings used by Mbed TLS. */
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +020039typedef struct {
Gilles Peskine449bd832023-01-11 14:50:10 +010040 const char *name; /* String representation of AttributeType, e.g.
41 * "CN" or "emailAddress". */
42 size_t name_len; /* Length of 'name', without trailing 0 byte. */
43 const char *oid; /* String representation of OID of AttributeType,
Agathiyan Bragadeeshe119f3c2023-07-24 17:21:14 +010044 * as per RFC 5280, Appendix A.1. encoded as per
45 * X.690 */
Gilles Peskine449bd832023-01-11 14:50:10 +010046 int default_tag; /* The default character encoding used for the
Hanno Beckerd2c90092018-10-08 14:32:55 +010047 * given attribute type, e.g.
Hanno Beckeree334a32018-10-24 12:33:07 +010048 * MBEDTLS_ASN1_UTF8_STRING for UTF-8. */
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +020049} x509_attr_descriptor_t;
50
Gilles Peskine449bd832023-01-11 14:50:10 +010051#define ADD_STRLEN(s) s, sizeof(s) - 1
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +020052
Hanno Becker35b68542018-10-08 14:47:38 +010053/* X.509 DN attributes from RFC 5280, Appendix A.1. */
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +020054static const x509_attr_descriptor_t x509_attrs[] =
55{
Gilles Peskine449bd832023-01-11 14:50:10 +010056 { ADD_STRLEN("CN"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010057 MBEDTLS_OID_AT_CN, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010058 { ADD_STRLEN("commonName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010059 MBEDTLS_OID_AT_CN, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010060 { ADD_STRLEN("C"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010061 MBEDTLS_OID_AT_COUNTRY, MBEDTLS_ASN1_PRINTABLE_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010062 { ADD_STRLEN("countryName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010063 MBEDTLS_OID_AT_COUNTRY, MBEDTLS_ASN1_PRINTABLE_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010064 { ADD_STRLEN("O"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010065 MBEDTLS_OID_AT_ORGANIZATION, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010066 { ADD_STRLEN("organizationName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010067 MBEDTLS_OID_AT_ORGANIZATION, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010068 { ADD_STRLEN("L"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010069 MBEDTLS_OID_AT_LOCALITY, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010070 { ADD_STRLEN("locality"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010071 MBEDTLS_OID_AT_LOCALITY, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010072 { ADD_STRLEN("R"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010073 MBEDTLS_OID_PKCS9_EMAIL, MBEDTLS_ASN1_IA5_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010074 { ADD_STRLEN("OU"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010075 MBEDTLS_OID_AT_ORG_UNIT, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010076 { ADD_STRLEN("organizationalUnitName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010077 MBEDTLS_OID_AT_ORG_UNIT, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010078 { ADD_STRLEN("ST"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010079 MBEDTLS_OID_AT_STATE, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010080 { ADD_STRLEN("stateOrProvinceName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010081 MBEDTLS_OID_AT_STATE, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010082 { ADD_STRLEN("emailAddress"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010083 MBEDTLS_OID_PKCS9_EMAIL, MBEDTLS_ASN1_IA5_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010084 { ADD_STRLEN("serialNumber"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010085 MBEDTLS_OID_AT_SERIAL_NUMBER, MBEDTLS_ASN1_PRINTABLE_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010086 { ADD_STRLEN("postalAddress"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010087 MBEDTLS_OID_AT_POSTAL_ADDRESS, MBEDTLS_ASN1_PRINTABLE_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010088 { ADD_STRLEN("postalCode"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010089 MBEDTLS_OID_AT_POSTAL_CODE, MBEDTLS_ASN1_PRINTABLE_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010090 { ADD_STRLEN("dnQualifier"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010091 MBEDTLS_OID_AT_DN_QUALIFIER, MBEDTLS_ASN1_PRINTABLE_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010092 { ADD_STRLEN("title"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010093 MBEDTLS_OID_AT_TITLE, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010094 { ADD_STRLEN("surName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010095 MBEDTLS_OID_AT_SUR_NAME, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010096 { ADD_STRLEN("SN"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010097 MBEDTLS_OID_AT_SUR_NAME, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010098 { ADD_STRLEN("givenName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010099 MBEDTLS_OID_AT_GIVEN_NAME, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +0100100 { ADD_STRLEN("GN"),
Hanno Becker1624e2e2018-10-08 14:52:20 +0100101 MBEDTLS_OID_AT_GIVEN_NAME, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +0100102 { ADD_STRLEN("initials"),
Hanno Becker1624e2e2018-10-08 14:52:20 +0100103 MBEDTLS_OID_AT_INITIALS, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +0100104 { ADD_STRLEN("pseudonym"),
Hanno Becker1624e2e2018-10-08 14:52:20 +0100105 MBEDTLS_OID_AT_PSEUDONYM, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +0100106 { ADD_STRLEN("generationQualifier"),
Hanno Becker1624e2e2018-10-08 14:52:20 +0100107 MBEDTLS_OID_AT_GENERATION_QUALIFIER, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +0100108 { ADD_STRLEN("domainComponent"),
Hanno Becker1624e2e2018-10-08 14:52:20 +0100109 MBEDTLS_OID_DOMAIN_COMPONENT, MBEDTLS_ASN1_IA5_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +0100110 { ADD_STRLEN("DC"),
Hanno Becker1624e2e2018-10-08 14:52:20 +0100111 MBEDTLS_OID_DOMAIN_COMPONENT, MBEDTLS_ASN1_IA5_STRING },
tdoec150f0d2018-05-18 12:12:45 +0200112 { NULL, 0, NULL, MBEDTLS_ASN1_NULL }
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +0200113};
114
Gilles Peskine449bd832023-01-11 14:50:10 +0100115static 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 +0200116{
117 const x509_attr_descriptor_t *cur;
118
Gilles Peskine449bd832023-01-11 14:50:10 +0100119 for (cur = x509_attrs; cur->name != NULL; cur++) {
120 if (cur->name_len == name_len &&
121 strncmp(cur->name, name, name_len) == 0) {
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +0200122 break;
Gilles Peskine449bd832023-01-11 14:50:10 +0100123 }
124 }
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +0200125
Gilles Peskine449bd832023-01-11 14:50:10 +0100126 if (cur->name == NULL) {
127 return NULL;
128 }
Hanno Beckerd2c90092018-10-08 14:32:55 +0100129
Gilles Peskine449bd832023-01-11 14:50:10 +0100130 return cur;
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +0200131}
132
Agathiyan Bragadeeshb73778d2023-07-26 11:55:31 +0100133static const x509_attr_descriptor_t *x509_attr_descr_from_numericoid(const char *numericoid,
134 size_t numericoid_len)
Agathiyan Bragadeeshef2decb2023-07-21 15:47:47 +0100135{
Agathiyan Bragadeeshe119f3c2023-07-24 17:21:14 +0100136 const x509_attr_descriptor_t *cur;
Agathiyan Bragadeeshb73778d2023-07-26 11:55:31 +0100137 mbedtls_asn1_buf *oid = mbedtls_calloc(1, sizeof(mbedtls_asn1_buf));
Agathiyan Bragadeeshe119f3c2023-07-24 17:21:14 +0100138 int ret;
139
140 ret = mbedtls_oid_from_numeric_string(oid, numericoid, numericoid_len);
Agathiyan Bragadeeshb73778d2023-07-26 11:55:31 +0100141 if ((ret == MBEDTLS_ERR_X509_ALLOC_FAILED) || (ret == MBEDTLS_ERR_ASN1_INVALID_DATA)) {
142 return NULL;
Agathiyan Bragadeeshe119f3c2023-07-24 17:21:14 +0100143 }
144
145 for (cur = x509_attrs; cur->oid != NULL; cur++) {
Agathiyan Bragadeeshb73778d2023-07-26 11:55:31 +0100146 if (strlen(cur->oid) == oid->len &&
147 strncmp(cur->oid, (const char *) oid->p, oid->len) == 0) {
Agathiyan Bragadeeshe119f3c2023-07-24 17:21:14 +0100148 break;
149 }
150 }
151
152 mbedtls_free(oid->p);
153 if (cur->oid == NULL) {
154 return NULL;
155 }
156
157 return cur;
Agathiyan Bragadeeshef2decb2023-07-21 15:47:47 +0100158}
159
Agathiyan Bragadeeshe119f3c2023-07-24 17:21:14 +0100160static int hex_to_int(char c)
Agathiyan Bragadeeshef2decb2023-07-21 15:47:47 +0100161{
Agathiyan Bragadeeshe119f3c2023-07-24 17:21:14 +0100162 return ('0' <= c && c <= '9') ? (c - '0') :
163 ('a' <= c && c <= 'f') ? (c - 'a' + 10) :
164 ('A' <= c && c <= 'F') ? (c - 'A' + 10) : -1;
165}
166
167static int hexpair_to_int(char c1, char c2)
168{
169 int n1 = hex_to_int(c1);
170 int n2 = hex_to_int(c2);
171 if (n1 != -1 && n2 != -1) {
172 return (n1 << 4) | n2;
173 } else {
174 return -1;
175 }
176}
177
Agathiyan Bragadeesh6cbfae52023-07-27 14:34:11 +0100178static int parse_attribute_value_string(const char *s, int len, unsigned char *data, size_t *data_len)
Agathiyan Bragadeeshb73778d2023-07-26 11:55:31 +0100179{
Agathiyan Bragadeeshe119f3c2023-07-24 17:21:14 +0100180 const char *c = s;
181 const char *end = c + len;
182 int hexpair = 0;
Agathiyan Bragadeesh6cbfae52023-07-27 14:34:11 +0100183 unsigned char *d = data;
Agathiyan Bragadeeshe119f3c2023-07-24 17:21:14 +0100184 int n;
Agathiyan Bragadeeshb73778d2023-07-26 11:55:31 +0100185 while (c < end) {
Agathiyan Bragadeeshe119f3c2023-07-24 17:21:14 +0100186 if (*c == '\\') {
187 c++;
188
189 /* Check for valid escaped characters in RFC 4514 in Section 3*/
190 if (c + 1 < end && (n = hexpair_to_int(*c, *(c+1))) != -1) {
191 hexpair = 1;
192 *(d++) = n;
193 c++;
194 } else if (c == end || !strchr(" ,=+<>#;\"\\+", *c)) {
195 return MBEDTLS_ERR_X509_INVALID_NAME;
196 }
197 }
198 if (!hexpair) {
199 *(d++) = *c;
200 }
201 if (d - data == MBEDTLS_X509_MAX_DN_NAME_SIZE) {
202 return MBEDTLS_ERR_X509_INVALID_NAME;
203 }
204
205 hexpair = 0;
206 c++;
207 }
208 *data_len = d - data;
209 return 0;
210}
211
Agathiyan Bragadeesh6cbfae52023-07-27 14:34:11 +0100212static int parse_attribute_value_ber_encoded(const char *s, int len, unsigned char *data, size_t *data_len, int *tag)
Agathiyan Bragadeeshb73778d2023-07-26 11:55:31 +0100213{
214 const char *c = s;
215 const char *end = c + len;
Agathiyan Bragadeesh6cbfae52023-07-27 14:34:11 +0100216 unsigned char asn1_der_buf[256];
217 unsigned char *asn1_der_end;
218 unsigned char *p;
219 unsigned char *d;
220 int n;
221 /* Converting from hexstring to raw binary so we can use asn1parse.c*/
222 if ((len < 5) || (*c != '#')) {
223 return MBEDTLS_ERR_X509_INVALID_NAME;
224 }
225 c++;
226 if((*tag = hexpair_to_int(*c, *(c+1))) == -1) {
227 return MBEDTLS_ERR_X509_INVALID_NAME;
228 }
229 c += 2;
230 p = asn1_der_buf;
231 for (p = asn1_der_buf; c < end; c += 2) {
Agathiyan Bragadeeshb73778d2023-07-26 11:55:31 +0100232 if ((c + 1 >= end) || (n = hexpair_to_int(*c, *(c+1))) == -1) {
233 return MBEDTLS_ERR_X509_INVALID_NAME;
234 }
Agathiyan Bragadeesh6cbfae52023-07-27 14:34:11 +0100235 *(p++) = n;
Agathiyan Bragadeeshb73778d2023-07-26 11:55:31 +0100236 }
Agathiyan Bragadeesh6cbfae52023-07-27 14:34:11 +0100237 asn1_der_end = p;
238
239 p = asn1_der_buf;
240 if(mbedtls_asn1_get_len(&p, asn1_der_end, data_len) != 0) {
241 return MBEDTLS_ERR_X509_INVALID_NAME;
242 }
243
244 for (d = data; p < asn1_der_end; p++) {
245 *(d++) = *p;
246 }
247
Agathiyan Bragadeeshe119f3c2023-07-24 17:21:14 +0100248 return 0;
Agathiyan Bragadeeshef2decb2023-07-21 15:47:47 +0100249}
250
Gilles Peskine449bd832023-01-11 14:50:10 +0100251int mbedtls_x509_string_to_names(mbedtls_asn1_named_data **head, const char *name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200252{
David Horstmann8fd98d62023-06-27 15:17:44 +0100253 int ret = MBEDTLS_ERR_X509_INVALID_NAME;
Agathiyan Bragadeeshe119f3c2023-07-24 17:21:14 +0100254 int parse_ret = 0;
Paul Bakker50dc8502013-10-28 21:19:10 +0100255 const char *s = name, *c = s;
Gilles Peskine449bd832023-01-11 14:50:10 +0100256 const char *end = s + strlen(s);
Paul Bakkerfcc17212013-10-11 09:36:52 +0200257 const char *oid = NULL;
Gilles Peskine449bd832023-01-11 14:50:10 +0100258 const x509_attr_descriptor_t *attr_descr = NULL;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200259 int in_tag = 1;
Agathiyan Bragadeesh6cbfae52023-07-27 14:34:11 +0100260 int tag;
Agathiyan Bragadeeshe119f3c2023-07-24 17:21:14 +0100261 int numericoid = 0;
Agathiyan Bragadeesh6cbfae52023-07-27 14:34:11 +0100262 unsigned char data[MBEDTLS_X509_MAX_DN_NAME_SIZE];
263 size_t data_len = 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200264
265 /* Clear existing chain if present */
Gilles Peskine449bd832023-01-11 14:50:10 +0100266 mbedtls_asn1_free_named_data_list(head);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200267
Gilles Peskine449bd832023-01-11 14:50:10 +0100268 while (c <= end) {
269 if (in_tag && *c == '=') {
270 if ((attr_descr = x509_attr_descr_from_name(s, c - s)) == NULL) {
Agathiyan Bragadeeshe119f3c2023-07-24 17:21:14 +0100271 if ((attr_descr = x509_attr_descr_from_numericoid(s, c - s)) == NULL) {
272 return MBEDTLS_ERR_X509_UNKNOWN_OID;
273 } else {
274 numericoid = 1;
275 }
276 } else {
277 numericoid = 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200278 }
279
thomas-deeeba6c9b2018-09-19 09:10:37 +0200280 oid = attr_descr->oid;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200281 s = c + 1;
282 in_tag = 0;
283 }
284
Agathiyan Bragadeeshb73778d2023-07-26 11:55:31 +0100285 if (!in_tag && ((*c == ',' && *(c-1) != '\\') || c == end)) {
286 if (!numericoid) {
287 if ((parse_ret = parse_attribute_value_string(s, c - s, data, &data_len)) != 0) {
Agathiyan Bragadeesh6cbfae52023-07-27 14:34:11 +0100288 return parse_ret;
Agathiyan Bragadeeshe119f3c2023-07-24 17:21:14 +0100289 }
Agathiyan Bragadeesh6cbfae52023-07-27 14:34:11 +0100290 tag = attr_descr->default_tag;
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200291 }
Agathiyan Bragadeeshb73778d2023-07-26 11:55:31 +0100292 if (numericoid) {
293 if ((parse_ret =
Agathiyan Bragadeesh6cbfae52023-07-27 14:34:11 +0100294 parse_attribute_value_ber_encoded(s, c - s, data, &data_len, &tag)) != 0) {
295 return parse_ret;
Agathiyan Bragadeeshe119f3c2023-07-24 17:21:14 +0100296 }
297 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100298 mbedtls_asn1_named_data *cur =
299 mbedtls_asn1_store_named_data(head, oid, strlen(oid),
300 (unsigned char *) data,
Agathiyan Bragadeeshe119f3c2023-07-24 17:21:14 +0100301 data_len);
Gilles Peskine449bd832023-01-11 14:50:10 +0100302 if (cur == NULL) {
303 return MBEDTLS_ERR_X509_ALLOC_FAILED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200304 }
305
Jaeden Amero23f954d2018-05-17 11:46:13 +0100306 // set tagType
Agathiyan Bragadeesh6cbfae52023-07-27 14:34:11 +0100307 cur->val.tag = tag;
Jaeden Amero23f954d2018-05-17 11:46:13 +0100308
Gilles Peskine449bd832023-01-11 14:50:10 +0100309 while (c < end && *(c + 1) == ' ') {
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200310 c++;
Gilles Peskine449bd832023-01-11 14:50:10 +0100311 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200312
313 s = c + 1;
314 in_tag = 1;
David Horstmann8fd98d62023-06-27 15:17:44 +0100315
316 /* Successfully parsed one name, update ret to success */
317 ret = 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200318 }
319 c++;
320 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100321 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200322}
323
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200324/* The first byte of the value in the mbedtls_asn1_named_data structure is reserved
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200325 * to store the critical boolean for us
326 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100327int mbedtls_x509_set_extension(mbedtls_asn1_named_data **head, const char *oid, size_t oid_len,
328 int critical, const unsigned char *val, size_t val_len)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200329{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200330 mbedtls_asn1_named_data *cur;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200331
Gilles Peskine449bd832023-01-11 14:50:10 +0100332 if ((cur = mbedtls_asn1_store_named_data(head, oid, oid_len,
333 NULL, val_len + 1)) == NULL) {
334 return MBEDTLS_ERR_X509_ALLOC_FAILED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200335 }
336
337 cur->val.p[0] = critical;
Gilles Peskine449bd832023-01-11 14:50:10 +0100338 memcpy(cur->val.p + 1, val, val_len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200339
Gilles Peskine449bd832023-01-11 14:50:10 +0100340 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200341}
342
343/*
344 * RelativeDistinguishedName ::=
345 * SET OF AttributeTypeAndValue
346 *
347 * AttributeTypeAndValue ::= SEQUENCE {
348 * type AttributeType,
349 * value AttributeValue }
350 *
351 * AttributeType ::= OBJECT IDENTIFIER
352 *
353 * AttributeValue ::= ANY DEFINED BY AttributeType
354 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100355static int x509_write_name(unsigned char **p,
356 unsigned char *start,
357 mbedtls_asn1_named_data *cur_name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200358{
Janos Follath865b3eb2019-12-16 11:46:15 +0000359 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200360 size_t len = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100361 const char *oid = (const char *) cur_name->oid.p;
Jaeden Amero23f954d2018-05-17 11:46:13 +0100362 size_t oid_len = cur_name->oid.len;
363 const unsigned char *name = cur_name->val.p;
364 size_t name_len = cur_name->val.len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200365
Jaeden Amero23f954d2018-05-17 11:46:13 +0100366 // Write correct string tag and value
Gilles Peskine449bd832023-01-11 14:50:10 +0100367 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tagged_string(p, start,
368 cur_name->val.tag,
369 (const char *) name,
370 name_len));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200371 // Write OID
372 //
Gilles Peskine449bd832023-01-11 14:50:10 +0100373 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_oid(p, start, oid,
374 oid_len));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200375
Gilles Peskine449bd832023-01-11 14:50:10 +0100376 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
377 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
378 MBEDTLS_ASN1_CONSTRUCTED |
379 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200380
Gilles Peskine449bd832023-01-11 14:50:10 +0100381 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
382 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
383 MBEDTLS_ASN1_CONSTRUCTED |
384 MBEDTLS_ASN1_SET));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200385
Gilles Peskine449bd832023-01-11 14:50:10 +0100386 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200387}
388
Gilles Peskine449bd832023-01-11 14:50:10 +0100389int mbedtls_x509_write_names(unsigned char **p, unsigned char *start,
390 mbedtls_asn1_named_data *first)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200391{
Janos Follath865b3eb2019-12-16 11:46:15 +0000392 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200393 size_t len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200394 mbedtls_asn1_named_data *cur = first;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200395
Gilles Peskine449bd832023-01-11 14:50:10 +0100396 while (cur != NULL) {
397 MBEDTLS_ASN1_CHK_ADD(len, x509_write_name(p, start, cur));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200398 cur = cur->next;
399 }
400
Gilles Peskine449bd832023-01-11 14:50:10 +0100401 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
402 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_CONSTRUCTED |
403 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200404
Gilles Peskine449bd832023-01-11 14:50:10 +0100405 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200406}
407
Gilles Peskine449bd832023-01-11 14:50:10 +0100408int mbedtls_x509_write_sig(unsigned char **p, unsigned char *start,
409 const char *oid, size_t oid_len,
Marek Jansta8bde6492022-11-07 12:38:38 +0100410 unsigned char *sig, size_t size,
411 mbedtls_pk_type_t pk_alg)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200412{
Janos Follath865b3eb2019-12-16 11:46:15 +0000413 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Marek Jansta8bde6492022-11-07 12:38:38 +0100414 int write_null_par;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200415 size_t len = 0;
416
Gilles Peskine449bd832023-01-11 14:50:10 +0100417 if (*p < start || (size_t) (*p - start) < size) {
418 return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
419 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200420
421 len = size;
422 (*p) -= len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100423 memcpy(*p, sig, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200424
Gilles Peskine449bd832023-01-11 14:50:10 +0100425 if (*p - start < 1) {
426 return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
427 }
Manuel Pégourié-Gonnard4dc9b392015-10-21 12:23:09 +0200428
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200429 *--(*p) = 0;
430 len += 1;
431
Gilles Peskine449bd832023-01-11 14:50:10 +0100432 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
433 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_BIT_STRING));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200434
435 // Write OID
436 //
Marek Jansta8bde6492022-11-07 12:38:38 +0100437 if (pk_alg == MBEDTLS_PK_ECDSA) {
438 /*
439 * The AlgorithmIdentifier's parameters field must be absent for DSA/ECDSA signature
440 * algorithms, see https://www.rfc-editor.org/rfc/rfc5480#page-17 and
441 * https://www.rfc-editor.org/rfc/rfc5758#section-3.
442 */
443 write_null_par = 0;
444 } else {
445 write_null_par = 1;
446 }
447 MBEDTLS_ASN1_CHK_ADD(len,
448 mbedtls_asn1_write_algorithm_identifier_ext(p, start, oid, oid_len,
449 0, write_null_par));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200450
Gilles Peskine449bd832023-01-11 14:50:10 +0100451 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200452}
453
Gilles Peskine449bd832023-01-11 14:50:10 +0100454static int x509_write_extension(unsigned char **p, unsigned char *start,
455 mbedtls_asn1_named_data *ext)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200456{
Janos Follath865b3eb2019-12-16 11:46:15 +0000457 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200458 size_t len = 0;
459
Gilles Peskine449bd832023-01-11 14:50:10 +0100460 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start, ext->val.p + 1,
461 ext->val.len - 1));
462 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, ext->val.len - 1));
463 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_OCTET_STRING));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200464
Gilles Peskine449bd832023-01-11 14:50:10 +0100465 if (ext->val.p[0] != 0) {
466 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_bool(p, start, 1));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200467 }
468
Gilles Peskine449bd832023-01-11 14:50:10 +0100469 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start, ext->oid.p,
470 ext->oid.len));
471 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, ext->oid.len));
472 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_OID));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200473
Gilles Peskine449bd832023-01-11 14:50:10 +0100474 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
475 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_CONSTRUCTED |
476 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200477
Gilles Peskine449bd832023-01-11 14:50:10 +0100478 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200479}
480
481/*
482 * Extension ::= SEQUENCE {
483 * extnID OBJECT IDENTIFIER,
484 * critical BOOLEAN DEFAULT FALSE,
485 * extnValue OCTET STRING
486 * -- contains the DER encoding of an ASN.1 value
487 * -- corresponding to the extension type identified
488 * -- by extnID
489 * }
490 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100491int mbedtls_x509_write_extensions(unsigned char **p, unsigned char *start,
492 mbedtls_asn1_named_data *first)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200493{
Janos Follath865b3eb2019-12-16 11:46:15 +0000494 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200495 size_t len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200496 mbedtls_asn1_named_data *cur_ext = first;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200497
Gilles Peskine449bd832023-01-11 14:50:10 +0100498 while (cur_ext != NULL) {
499 MBEDTLS_ASN1_CHK_ADD(len, x509_write_extension(p, start, cur_ext));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200500 cur_ext = cur_ext->next;
501 }
502
Gilles Peskine449bd832023-01-11 14:50:10 +0100503 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200504}
505
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200506#endif /* MBEDTLS_X509_CREATE_C */