blob: 9652a20c6dffff5ace72fa14e0b7a64664a64dd6 [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
Hanno Beckerd2c90092018-10-08 14:32:55 +010031/* Structure linking OIDs for X.509 DN AttributeTypes to their
32 * string representations and default string encodings used by Mbed TLS. */
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +020033typedef struct {
Gilles Peskine449bd832023-01-11 14:50:10 +010034 const char *name; /* String representation of AttributeType, e.g.
35 * "CN" or "emailAddress". */
36 size_t name_len; /* Length of 'name', without trailing 0 byte. */
37 const char *oid; /* String representation of OID of AttributeType,
Hanno Beckerd2c90092018-10-08 14:32:55 +010038 * as per RFC 5280, Appendix A.1. */
Gilles Peskine449bd832023-01-11 14:50:10 +010039 int default_tag; /* The default character encoding used for the
Hanno Beckerd2c90092018-10-08 14:32:55 +010040 * given attribute type, e.g.
Hanno Beckeree334a32018-10-24 12:33:07 +010041 * MBEDTLS_ASN1_UTF8_STRING for UTF-8. */
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +020042} x509_attr_descriptor_t;
43
Gilles Peskine449bd832023-01-11 14:50:10 +010044#define ADD_STRLEN(s) s, sizeof(s) - 1
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +020045
Hanno Becker35b68542018-10-08 14:47:38 +010046/* X.509 DN attributes from RFC 5280, Appendix A.1. */
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +020047static const x509_attr_descriptor_t x509_attrs[] =
48{
Gilles Peskine449bd832023-01-11 14:50:10 +010049 { ADD_STRLEN("CN"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010050 MBEDTLS_OID_AT_CN, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010051 { ADD_STRLEN("commonName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010052 MBEDTLS_OID_AT_CN, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010053 { ADD_STRLEN("C"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010054 MBEDTLS_OID_AT_COUNTRY, MBEDTLS_ASN1_PRINTABLE_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010055 { ADD_STRLEN("countryName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010056 MBEDTLS_OID_AT_COUNTRY, MBEDTLS_ASN1_PRINTABLE_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010057 { ADD_STRLEN("O"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010058 MBEDTLS_OID_AT_ORGANIZATION, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010059 { ADD_STRLEN("organizationName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010060 MBEDTLS_OID_AT_ORGANIZATION, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010061 { ADD_STRLEN("L"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010062 MBEDTLS_OID_AT_LOCALITY, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010063 { ADD_STRLEN("locality"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010064 MBEDTLS_OID_AT_LOCALITY, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010065 { ADD_STRLEN("R"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010066 MBEDTLS_OID_PKCS9_EMAIL, MBEDTLS_ASN1_IA5_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010067 { ADD_STRLEN("OU"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010068 MBEDTLS_OID_AT_ORG_UNIT, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010069 { ADD_STRLEN("organizationalUnitName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010070 MBEDTLS_OID_AT_ORG_UNIT, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010071 { ADD_STRLEN("ST"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010072 MBEDTLS_OID_AT_STATE, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010073 { ADD_STRLEN("stateOrProvinceName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010074 MBEDTLS_OID_AT_STATE, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010075 { ADD_STRLEN("emailAddress"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010076 MBEDTLS_OID_PKCS9_EMAIL, MBEDTLS_ASN1_IA5_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010077 { ADD_STRLEN("serialNumber"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010078 MBEDTLS_OID_AT_SERIAL_NUMBER, MBEDTLS_ASN1_PRINTABLE_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010079 { ADD_STRLEN("postalAddress"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010080 MBEDTLS_OID_AT_POSTAL_ADDRESS, MBEDTLS_ASN1_PRINTABLE_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010081 { ADD_STRLEN("postalCode"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010082 MBEDTLS_OID_AT_POSTAL_CODE, MBEDTLS_ASN1_PRINTABLE_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010083 { ADD_STRLEN("dnQualifier"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010084 MBEDTLS_OID_AT_DN_QUALIFIER, MBEDTLS_ASN1_PRINTABLE_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010085 { ADD_STRLEN("title"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010086 MBEDTLS_OID_AT_TITLE, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010087 { ADD_STRLEN("surName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010088 MBEDTLS_OID_AT_SUR_NAME, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010089 { ADD_STRLEN("SN"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010090 MBEDTLS_OID_AT_SUR_NAME, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010091 { ADD_STRLEN("givenName"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010092 MBEDTLS_OID_AT_GIVEN_NAME, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010093 { ADD_STRLEN("GN"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010094 MBEDTLS_OID_AT_GIVEN_NAME, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010095 { ADD_STRLEN("initials"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010096 MBEDTLS_OID_AT_INITIALS, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010097 { ADD_STRLEN("pseudonym"),
Hanno Becker1624e2e2018-10-08 14:52:20 +010098 MBEDTLS_OID_AT_PSEUDONYM, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +010099 { ADD_STRLEN("generationQualifier"),
Hanno Becker1624e2e2018-10-08 14:52:20 +0100100 MBEDTLS_OID_AT_GENERATION_QUALIFIER, MBEDTLS_ASN1_UTF8_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +0100101 { ADD_STRLEN("domainComponent"),
Hanno Becker1624e2e2018-10-08 14:52:20 +0100102 MBEDTLS_OID_DOMAIN_COMPONENT, MBEDTLS_ASN1_IA5_STRING },
Gilles Peskine449bd832023-01-11 14:50:10 +0100103 { ADD_STRLEN("DC"),
Hanno Becker1624e2e2018-10-08 14:52:20 +0100104 MBEDTLS_OID_DOMAIN_COMPONENT, MBEDTLS_ASN1_IA5_STRING },
tdoec150f0d2018-05-18 12:12:45 +0200105 { NULL, 0, NULL, MBEDTLS_ASN1_NULL }
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +0200106};
107
Gilles Peskine449bd832023-01-11 14:50:10 +0100108static 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 +0200109{
110 const x509_attr_descriptor_t *cur;
111
Gilles Peskine449bd832023-01-11 14:50:10 +0100112 for (cur = x509_attrs; cur->name != NULL; cur++) {
113 if (cur->name_len == name_len &&
114 strncmp(cur->name, name, name_len) == 0) {
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +0200115 break;
Gilles Peskine449bd832023-01-11 14:50:10 +0100116 }
117 }
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +0200118
Gilles Peskine449bd832023-01-11 14:50:10 +0100119 if (cur->name == NULL) {
120 return NULL;
121 }
Hanno Beckerd2c90092018-10-08 14:32:55 +0100122
Gilles Peskine449bd832023-01-11 14:50:10 +0100123 return cur;
Manuel Pégourié-Gonnardf3e5c222014-06-12 11:06:36 +0200124}
125
Agathiyan Bragadeeshef2decb2023-07-21 15:47:47 +0100126static int x509_is_char_hex(char c)
127{
128 return ('0' <= c && c <= '9') || ('a' <= c && c <= 'f') || ('A' <= c && c <= 'F');
129}
130
131static int x509_hex_to_int(char c)
132{
133 return ((c & 0x40) ? (c + 9) : c) & 0x0F;
134}
135
Gilles Peskine449bd832023-01-11 14:50:10 +0100136int mbedtls_x509_string_to_names(mbedtls_asn1_named_data **head, const char *name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200137{
David Horstmann8fd98d62023-06-27 15:17:44 +0100138 int ret = MBEDTLS_ERR_X509_INVALID_NAME;
Paul Bakker50dc8502013-10-28 21:19:10 +0100139 const char *s = name, *c = s;
Gilles Peskine449bd832023-01-11 14:50:10 +0100140 const char *end = s + strlen(s);
Paul Bakkerfcc17212013-10-11 09:36:52 +0200141 const char *oid = NULL;
Gilles Peskine449bd832023-01-11 14:50:10 +0100142 const x509_attr_descriptor_t *attr_descr = NULL;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200143 int in_tag = 1;
Agathiyan Bragadeeshef2decb2023-07-21 15:47:47 +0100144 int hexpair = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200145 char data[MBEDTLS_X509_MAX_DN_NAME_SIZE];
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200146 char *d = data;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200147
148 /* Clear existing chain if present */
Gilles Peskine449bd832023-01-11 14:50:10 +0100149 mbedtls_asn1_free_named_data_list(head);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200150
Gilles Peskine449bd832023-01-11 14:50:10 +0100151 while (c <= end) {
152 if (in_tag && *c == '=') {
153 if ((attr_descr = x509_attr_descr_from_name(s, c - s)) == NULL) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200154 ret = MBEDTLS_ERR_X509_UNKNOWN_OID;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200155 goto exit;
156 }
157
thomas-deeeba6c9b2018-09-19 09:10:37 +0200158 oid = attr_descr->oid;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200159 s = c + 1;
160 in_tag = 0;
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200161 d = data;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200162 }
163
Gilles Peskine449bd832023-01-11 14:50:10 +0100164 if (!in_tag && *c == '\\' && c != end) {
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200165 c++;
166
Agathiyan Bragadeesh48513b82023-07-20 16:19:05 +0100167 /* Check for valid escaped characters in RFC 4514 in Section 3*/
Agathiyan Bragadeeshef2decb2023-07-21 15:47:47 +0100168 if (c + 1 < end && x509_is_char_hex(*c) && x509_is_char_hex(*(c+1))) {
169 hexpair = 1;
170 *(d++) = (x509_hex_to_int(*c) << 4) + x509_hex_to_int(*(c+1));
171 c++;
172 } else if (c == end || !strchr(" ,=+<>#;\"\\+", *c)) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200173 ret = MBEDTLS_ERR_X509_INVALID_NAME;
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200174 goto exit;
175 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100176 } else if (!in_tag && (*c == ',' || c == end)) {
177 mbedtls_asn1_named_data *cur =
178 mbedtls_asn1_store_named_data(head, oid, strlen(oid),
179 (unsigned char *) data,
180 d - data);
Jaeden Amero23f954d2018-05-17 11:46:13 +0100181
Gilles Peskine449bd832023-01-11 14:50:10 +0100182 if (cur == NULL) {
183 return MBEDTLS_ERR_X509_ALLOC_FAILED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200184 }
185
Jaeden Amero23f954d2018-05-17 11:46:13 +0100186 // set tagType
Hanno Beckerd355e692018-10-08 14:42:47 +0100187 cur->val.tag = attr_descr->default_tag;
Jaeden Amero23f954d2018-05-17 11:46:13 +0100188
Gilles Peskine449bd832023-01-11 14:50:10 +0100189 while (c < end && *(c + 1) == ' ') {
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200190 c++;
Gilles Peskine449bd832023-01-11 14:50:10 +0100191 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200192
193 s = c + 1;
194 in_tag = 1;
David Horstmann8fd98d62023-06-27 15:17:44 +0100195
196 /* Successfully parsed one name, update ret to success */
197 ret = 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200198 }
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200199
Agathiyan Bragadeeshef2decb2023-07-21 15:47:47 +0100200 if (!hexpair && !in_tag && s != c + 1) {
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200201 *(d++) = *c;
202
Gilles Peskine449bd832023-01-11 14:50:10 +0100203 if (d - data == MBEDTLS_X509_MAX_DN_NAME_SIZE) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200204 ret = MBEDTLS_ERR_X509_INVALID_NAME;
Paul Bakker8dcb2d72014-08-08 12:22:30 +0200205 goto exit;
206 }
207 }
208
Agathiyan Bragadeeshef2decb2023-07-21 15:47:47 +0100209 hexpair = 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200210 c++;
211 }
212
213exit:
214
Gilles Peskine449bd832023-01-11 14:50:10 +0100215 return ret;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200216}
217
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200218/* The first byte of the value in the mbedtls_asn1_named_data structure is reserved
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200219 * to store the critical boolean for us
220 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100221int mbedtls_x509_set_extension(mbedtls_asn1_named_data **head, const char *oid, size_t oid_len,
222 int critical, const unsigned char *val, size_t val_len)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200223{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200224 mbedtls_asn1_named_data *cur;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200225
Gilles Peskine449bd832023-01-11 14:50:10 +0100226 if ((cur = mbedtls_asn1_store_named_data(head, oid, oid_len,
227 NULL, val_len + 1)) == NULL) {
228 return MBEDTLS_ERR_X509_ALLOC_FAILED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200229 }
230
231 cur->val.p[0] = critical;
Gilles Peskine449bd832023-01-11 14:50:10 +0100232 memcpy(cur->val.p + 1, val, val_len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200233
Gilles Peskine449bd832023-01-11 14:50:10 +0100234 return 0;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200235}
236
237/*
238 * RelativeDistinguishedName ::=
239 * SET OF AttributeTypeAndValue
240 *
241 * AttributeTypeAndValue ::= SEQUENCE {
242 * type AttributeType,
243 * value AttributeValue }
244 *
245 * AttributeType ::= OBJECT IDENTIFIER
246 *
247 * AttributeValue ::= ANY DEFINED BY AttributeType
248 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100249static int x509_write_name(unsigned char **p,
250 unsigned char *start,
251 mbedtls_asn1_named_data *cur_name)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200252{
Janos Follath865b3eb2019-12-16 11:46:15 +0000253 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200254 size_t len = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100255 const char *oid = (const char *) cur_name->oid.p;
Jaeden Amero23f954d2018-05-17 11:46:13 +0100256 size_t oid_len = cur_name->oid.len;
257 const unsigned char *name = cur_name->val.p;
258 size_t name_len = cur_name->val.len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200259
Jaeden Amero23f954d2018-05-17 11:46:13 +0100260 // Write correct string tag and value
Gilles Peskine449bd832023-01-11 14:50:10 +0100261 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tagged_string(p, start,
262 cur_name->val.tag,
263 (const char *) name,
264 name_len));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200265 // Write OID
266 //
Gilles Peskine449bd832023-01-11 14:50:10 +0100267 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_oid(p, start, oid,
268 oid_len));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200269
Gilles Peskine449bd832023-01-11 14:50:10 +0100270 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
271 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
272 MBEDTLS_ASN1_CONSTRUCTED |
273 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200274
Gilles Peskine449bd832023-01-11 14:50:10 +0100275 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
276 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start,
277 MBEDTLS_ASN1_CONSTRUCTED |
278 MBEDTLS_ASN1_SET));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200279
Gilles Peskine449bd832023-01-11 14:50:10 +0100280 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200281}
282
Gilles Peskine449bd832023-01-11 14:50:10 +0100283int mbedtls_x509_write_names(unsigned char **p, unsigned char *start,
284 mbedtls_asn1_named_data *first)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200285{
Janos Follath865b3eb2019-12-16 11:46:15 +0000286 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200287 size_t len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200288 mbedtls_asn1_named_data *cur = first;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200289
Gilles Peskine449bd832023-01-11 14:50:10 +0100290 while (cur != NULL) {
291 MBEDTLS_ASN1_CHK_ADD(len, x509_write_name(p, start, cur));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200292 cur = cur->next;
293 }
294
Gilles Peskine449bd832023-01-11 14:50:10 +0100295 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
296 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_CONSTRUCTED |
297 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200298
Gilles Peskine449bd832023-01-11 14:50:10 +0100299 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200300}
301
Gilles Peskine449bd832023-01-11 14:50:10 +0100302int mbedtls_x509_write_sig(unsigned char **p, unsigned char *start,
303 const char *oid, size_t oid_len,
Marek Jansta8bde6492022-11-07 12:38:38 +0100304 unsigned char *sig, size_t size,
305 mbedtls_pk_type_t pk_alg)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200306{
Janos Follath865b3eb2019-12-16 11:46:15 +0000307 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Marek Jansta8bde6492022-11-07 12:38:38 +0100308 int write_null_par;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200309 size_t len = 0;
310
Gilles Peskine449bd832023-01-11 14:50:10 +0100311 if (*p < start || (size_t) (*p - start) < size) {
312 return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
313 }
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200314
315 len = size;
316 (*p) -= len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100317 memcpy(*p, sig, len);
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200318
Gilles Peskine449bd832023-01-11 14:50:10 +0100319 if (*p - start < 1) {
320 return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
321 }
Manuel Pégourié-Gonnard4dc9b392015-10-21 12:23:09 +0200322
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200323 *--(*p) = 0;
324 len += 1;
325
Gilles Peskine449bd832023-01-11 14:50:10 +0100326 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
327 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_BIT_STRING));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200328
329 // Write OID
330 //
Marek Jansta8bde6492022-11-07 12:38:38 +0100331 if (pk_alg == MBEDTLS_PK_ECDSA) {
332 /*
333 * The AlgorithmIdentifier's parameters field must be absent for DSA/ECDSA signature
334 * algorithms, see https://www.rfc-editor.org/rfc/rfc5480#page-17 and
335 * https://www.rfc-editor.org/rfc/rfc5758#section-3.
336 */
337 write_null_par = 0;
338 } else {
339 write_null_par = 1;
340 }
341 MBEDTLS_ASN1_CHK_ADD(len,
342 mbedtls_asn1_write_algorithm_identifier_ext(p, start, oid, oid_len,
343 0, write_null_par));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200344
Gilles Peskine449bd832023-01-11 14:50:10 +0100345 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200346}
347
Gilles Peskine449bd832023-01-11 14:50:10 +0100348static int x509_write_extension(unsigned char **p, unsigned char *start,
349 mbedtls_asn1_named_data *ext)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200350{
Janos Follath865b3eb2019-12-16 11:46:15 +0000351 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200352 size_t len = 0;
353
Gilles Peskine449bd832023-01-11 14:50:10 +0100354 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start, ext->val.p + 1,
355 ext->val.len - 1));
356 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, ext->val.len - 1));
357 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_OCTET_STRING));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200358
Gilles Peskine449bd832023-01-11 14:50:10 +0100359 if (ext->val.p[0] != 0) {
360 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_bool(p, start, 1));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200361 }
362
Gilles Peskine449bd832023-01-11 14:50:10 +0100363 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_raw_buffer(p, start, ext->oid.p,
364 ext->oid.len));
365 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, ext->oid.len));
366 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_OID));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200367
Gilles Peskine449bd832023-01-11 14:50:10 +0100368 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_len(p, start, len));
369 MBEDTLS_ASN1_CHK_ADD(len, mbedtls_asn1_write_tag(p, start, MBEDTLS_ASN1_CONSTRUCTED |
370 MBEDTLS_ASN1_SEQUENCE));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200371
Gilles Peskine449bd832023-01-11 14:50:10 +0100372 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200373}
374
375/*
376 * Extension ::= SEQUENCE {
377 * extnID OBJECT IDENTIFIER,
378 * critical BOOLEAN DEFAULT FALSE,
379 * extnValue OCTET STRING
380 * -- contains the DER encoding of an ASN.1 value
381 * -- corresponding to the extension type identified
382 * -- by extnID
383 * }
384 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100385int mbedtls_x509_write_extensions(unsigned char **p, unsigned char *start,
386 mbedtls_asn1_named_data *first)
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200387{
Janos Follath865b3eb2019-12-16 11:46:15 +0000388 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200389 size_t len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200390 mbedtls_asn1_named_data *cur_ext = first;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200391
Gilles Peskine449bd832023-01-11 14:50:10 +0100392 while (cur_ext != NULL) {
393 MBEDTLS_ASN1_CHK_ADD(len, x509_write_extension(p, start, cur_ext));
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200394 cur_ext = cur_ext->next;
395 }
396
Gilles Peskine449bd832023-01-11 14:50:10 +0100397 return (int) len;
Paul Bakker7c6b2c32013-09-16 13:49:26 +0200398}
399
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200400#endif /* MBEDTLS_X509_CREATE_C */