blob: f4441d2c3d5a8cd0e0adedbb6b3a5b0b2573903d [file] [log] [blame]
Adam Langleyd9e397b2015-01-22 14:27:53 -08001/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
2 * All rights reserved.
3 *
4 * This package is an SSL implementation written
5 * by Eric Young (eay@cryptsoft.com).
6 * The implementation was written so as to conform with Netscapes SSL.
7 *
8 * This library is free for commercial and non-commercial use as long as
9 * the following conditions are aheared to. The following conditions
10 * apply to all code found in this distribution, be it the RC4, RSA,
11 * lhash, DES, etc., code; not just the SSL code. The SSL documentation
12 * included with this distribution is covered by the same copyright terms
13 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
14 *
15 * Copyright remains Eric Young's, and as such any Copyright notices in
16 * the code are not to be removed.
17 * If this package is used in a product, Eric Young should be given attribution
18 * as the author of the parts of the library used.
19 * This can be in the form of a textual message at program startup or
20 * in documentation (online or textual) provided with the package.
21 *
22 * Redistribution and use in source and binary forms, with or without
23 * modification, are permitted provided that the following conditions
24 * are met:
25 * 1. Redistributions of source code must retain the copyright
26 * notice, this list of conditions and the following disclaimer.
27 * 2. Redistributions in binary form must reproduce the above copyright
28 * notice, this list of conditions and the following disclaimer in the
29 * documentation and/or other materials provided with the distribution.
30 * 3. All advertising materials mentioning features or use of this software
31 * must display the following acknowledgement:
32 * "This product includes cryptographic software written by
33 * Eric Young (eay@cryptsoft.com)"
34 * The word 'cryptographic' can be left out if the rouines from the library
35 * being used are not cryptographic related :-).
36 * 4. If you include any Windows specific code (or a derivative thereof) from
37 * the apps directory (application code) you must include an acknowledgement:
38 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
39 *
40 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
41 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
42 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
43 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
44 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
45 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
46 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
48 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
49 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
50 * SUCH DAMAGE.
51 *
52 * The licence and distribution terms for any publically available version or
53 * derivative of this code cannot be changed. i.e. this code cannot simply be
54 * copied and put under another distribution licence
55 * [including the GNU Public Licence.] */
56
57#include <openssl/asn1.h>
58
59#include <limits.h>
60#include <string.h>
61
62#include <openssl/asn1_mac.h>
63#include <openssl/err.h>
64#include <openssl/mem.h>
65
Robert Sloan69939df2017-01-09 10:53:07 -080066#include "../internal.h"
67
68
David Benjamin4969cc92016-04-22 15:02:23 -040069/* Cross-module errors from crypto/x509/i2d_pr.c. */
David Benjamin7c0d06c2016-08-11 13:26:41 -040070OPENSSL_DECLARE_ERROR_REASON(ASN1, UNSUPPORTED_PUBLIC_KEY_TYPE)
Adam Langleye9ada862015-05-11 17:20:37 -070071
David Benjamin4969cc92016-04-22 15:02:23 -040072/* Cross-module errors from crypto/x509/algorithm.c. */
David Benjamin7c0d06c2016-08-11 13:26:41 -040073OPENSSL_DECLARE_ERROR_REASON(ASN1, CONTEXT_NOT_INITIALISED)
74OPENSSL_DECLARE_ERROR_REASON(ASN1, DIGEST_AND_KEY_TYPE_NOT_SUPPORTED)
75OPENSSL_DECLARE_ERROR_REASON(ASN1, UNKNOWN_MESSAGE_DIGEST_ALGORITHM)
76OPENSSL_DECLARE_ERROR_REASON(ASN1, UNKNOWN_SIGNATURE_ALGORITHM)
77OPENSSL_DECLARE_ERROR_REASON(ASN1, WRONG_PUBLIC_KEY_TYPE)
David Benjamin4969cc92016-04-22 15:02:23 -040078/*
79 * Cross-module errors from crypto/x509/asn1_gen.c. TODO(davidben): Remove
80 * these once asn1_gen.c is gone.
81 */
David Benjamin7c0d06c2016-08-11 13:26:41 -040082OPENSSL_DECLARE_ERROR_REASON(ASN1, DEPTH_EXCEEDED)
83OPENSSL_DECLARE_ERROR_REASON(ASN1, ILLEGAL_BITSTRING_FORMAT)
84OPENSSL_DECLARE_ERROR_REASON(ASN1, ILLEGAL_BOOLEAN)
85OPENSSL_DECLARE_ERROR_REASON(ASN1, ILLEGAL_FORMAT)
86OPENSSL_DECLARE_ERROR_REASON(ASN1, ILLEGAL_HEX)
87OPENSSL_DECLARE_ERROR_REASON(ASN1, ILLEGAL_IMPLICIT_TAG)
88OPENSSL_DECLARE_ERROR_REASON(ASN1, ILLEGAL_INTEGER)
89OPENSSL_DECLARE_ERROR_REASON(ASN1, ILLEGAL_NESTED_TAGGING)
90OPENSSL_DECLARE_ERROR_REASON(ASN1, ILLEGAL_NULL_VALUE)
91OPENSSL_DECLARE_ERROR_REASON(ASN1, ILLEGAL_OBJECT)
92OPENSSL_DECLARE_ERROR_REASON(ASN1, ILLEGAL_TIME_VALUE)
93OPENSSL_DECLARE_ERROR_REASON(ASN1, INTEGER_NOT_ASCII_FORMAT)
94OPENSSL_DECLARE_ERROR_REASON(ASN1, INVALID_MODIFIER)
95OPENSSL_DECLARE_ERROR_REASON(ASN1, INVALID_NUMBER)
96OPENSSL_DECLARE_ERROR_REASON(ASN1, LIST_ERROR)
97OPENSSL_DECLARE_ERROR_REASON(ASN1, MISSING_VALUE)
98OPENSSL_DECLARE_ERROR_REASON(ASN1, NOT_ASCII_FORMAT)
99OPENSSL_DECLARE_ERROR_REASON(ASN1, OBJECT_NOT_ASCII_FORMAT)
100OPENSSL_DECLARE_ERROR_REASON(ASN1, SEQUENCE_OR_SET_NEEDS_CONFIG)
101OPENSSL_DECLARE_ERROR_REASON(ASN1, TIME_NOT_ASCII_FORMAT)
102OPENSSL_DECLARE_ERROR_REASON(ASN1, UNKNOWN_FORMAT)
103OPENSSL_DECLARE_ERROR_REASON(ASN1, UNKNOWN_TAG)
104OPENSSL_DECLARE_ERROR_REASON(ASN1, UNSUPPORTED_TYPE)
Adam Langleyd9e397b2015-01-22 14:27:53 -0800105
David Benjamin4969cc92016-04-22 15:02:23 -0400106static int asn1_get_length(const unsigned char **pp, int *inf, long *rl,
107 long max);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800108static void asn1_put_length(unsigned char **pp, int length);
109
Adam Langleyd9e397b2015-01-22 14:27:53 -0800110int ASN1_get_object(const unsigned char **pp, long *plength, int *ptag,
David Benjamin4969cc92016-04-22 15:02:23 -0400111 int *pclass, long omax)
112{
113 int i, ret;
114 long l;
115 const unsigned char *p = *pp;
116 int tag, xclass, inf;
117 long max = omax;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800118
David Benjamin4969cc92016-04-22 15:02:23 -0400119 if (!max)
120 goto err;
121 ret = (*p & V_ASN1_CONSTRUCTED);
122 xclass = (*p & V_ASN1_PRIVATE);
123 i = *p & V_ASN1_PRIMITIVE_TAG;
124 if (i == V_ASN1_PRIMITIVE_TAG) { /* high-tag */
125 p++;
126 if (--max == 0)
127 goto err;
128 l = 0;
129 while (*p & 0x80) {
130 l <<= 7L;
131 l |= *(p++) & 0x7f;
132 if (--max == 0)
133 goto err;
134 if (l > (INT_MAX >> 7L))
135 goto err;
136 }
137 l <<= 7L;
138 l |= *(p++) & 0x7f;
139 tag = (int)l;
140 if (--max == 0)
141 goto err;
142 } else {
143 tag = i;
144 p++;
145 if (--max == 0)
146 goto err;
147 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800148
David Benjamin4969cc92016-04-22 15:02:23 -0400149 /* To avoid ambiguity with V_ASN1_NEG, impose a limit on universal tags. */
150 if (xclass == V_ASN1_UNIVERSAL && tag > V_ASN1_MAX_UNIVERSAL)
151 goto err;
152
153 *ptag = tag;
154 *pclass = xclass;
155 if (!asn1_get_length(&p, &inf, plength, max))
156 goto err;
157
158 if (inf && !(ret & V_ASN1_CONSTRUCTED))
159 goto err;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800160
161#if 0
David Benjamin4969cc92016-04-22 15:02:23 -0400162 fprintf(stderr, "p=%d + *plength=%ld > omax=%ld + *pp=%d (%d > %d)\n",
163 (int)p, *plength, omax, (int)*pp, (int)(p + *plength),
164 (int)(omax + *pp));
Adam Langleyd9e397b2015-01-22 14:27:53 -0800165
166#endif
David Benjamin4969cc92016-04-22 15:02:23 -0400167 if (*plength > (omax - (p - *pp))) {
168 OPENSSL_PUT_ERROR(ASN1, ASN1_R_TOO_LONG);
169 /*
170 * Set this so that even if things are not long enough the values are
171 * set correctly
172 */
173 ret |= 0x80;
174 }
175 *pp = p;
176 return (ret | inf);
177 err:
178 OPENSSL_PUT_ERROR(ASN1, ASN1_R_HEADER_TOO_LONG);
179 return (0x80);
180}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800181
David Benjamin4969cc92016-04-22 15:02:23 -0400182static int asn1_get_length(const unsigned char **pp, int *inf, long *rl,
183 long max)
184{
185 const unsigned char *p = *pp;
186 unsigned long ret = 0;
187 unsigned long i;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800188
David Benjamin4969cc92016-04-22 15:02:23 -0400189 if (max-- < 1)
190 return 0;
191 if (*p == 0x80) {
192 *inf = 1;
193 ret = 0;
194 p++;
195 } else {
196 *inf = 0;
197 i = *p & 0x7f;
198 if (*(p++) & 0x80) {
199 if (i > sizeof(ret) || max < (long)i)
200 return 0;
201 while (i-- > 0) {
202 ret <<= 8L;
203 ret |= *(p++);
204 }
205 } else
206 ret = i;
207 }
208 if (ret > LONG_MAX)
209 return 0;
210 *pp = p;
211 *rl = (long)ret;
212 return 1;
213}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800214
David Benjamin4969cc92016-04-22 15:02:23 -0400215/*
216 * class 0 is constructed constructed == 2 for indefinite length constructed
217 */
Adam Langleyd9e397b2015-01-22 14:27:53 -0800218void ASN1_put_object(unsigned char **pp, int constructed, int length, int tag,
David Benjamin4969cc92016-04-22 15:02:23 -0400219 int xclass)
220{
221 unsigned char *p = *pp;
222 int i, ttag;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800223
David Benjamin4969cc92016-04-22 15:02:23 -0400224 i = (constructed) ? V_ASN1_CONSTRUCTED : 0;
225 i |= (xclass & V_ASN1_PRIVATE);
226 if (tag < 31)
227 *(p++) = i | (tag & V_ASN1_PRIMITIVE_TAG);
228 else {
229 *(p++) = i | V_ASN1_PRIMITIVE_TAG;
230 for (i = 0, ttag = tag; ttag > 0; i++)
231 ttag >>= 7;
232 ttag = i;
233 while (i-- > 0) {
234 p[i] = tag & 0x7f;
235 if (i != (ttag - 1))
236 p[i] |= 0x80;
237 tag >>= 7;
238 }
239 p += ttag;
240 }
241 if (constructed == 2)
242 *(p++) = 0x80;
243 else
244 asn1_put_length(&p, length);
245 *pp = p;
246}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800247
248int ASN1_put_eoc(unsigned char **pp)
David Benjamin4969cc92016-04-22 15:02:23 -0400249{
250 unsigned char *p = *pp;
251 *p++ = 0;
252 *p++ = 0;
253 *pp = p;
254 return 2;
255}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800256
257static void asn1_put_length(unsigned char **pp, int length)
David Benjamin4969cc92016-04-22 15:02:23 -0400258{
259 unsigned char *p = *pp;
260 int i, l;
261 if (length <= 127)
262 *(p++) = (unsigned char)length;
263 else {
264 l = length;
265 for (i = 0; l > 0; i++)
266 l >>= 8;
267 *(p++) = i | 0x80;
268 l = i;
269 while (i-- > 0) {
270 p[i] = length & 0xff;
271 length >>= 8;
272 }
273 p += l;
274 }
275 *pp = p;
276}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800277
278int ASN1_object_size(int constructed, int length, int tag)
David Benjamin4969cc92016-04-22 15:02:23 -0400279{
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400280 int ret = 1;
281 if (length < 0)
282 return -1;
David Benjamin4969cc92016-04-22 15:02:23 -0400283 if (tag >= 31) {
284 while (tag > 0) {
285 tag >>= 7;
286 ret++;
287 }
288 }
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400289 if (constructed == 2) {
290 ret += 3;
291 } else {
292 ret++;
293 if (length > 127) {
294 int tmplen = length;
295 while (tmplen > 0) {
296 tmplen >>= 8;
297 ret++;
298 }
David Benjamin4969cc92016-04-22 15:02:23 -0400299 }
300 }
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400301 if (ret >= INT_MAX - length)
302 return -1;
303 return ret + length;
David Benjamin4969cc92016-04-22 15:02:23 -0400304}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800305
Adam Langleyd9e397b2015-01-22 14:27:53 -0800306int ASN1_STRING_copy(ASN1_STRING *dst, const ASN1_STRING *str)
David Benjamin4969cc92016-04-22 15:02:23 -0400307{
308 if (str == NULL)
309 return 0;
310 dst->type = str->type;
311 if (!ASN1_STRING_set(dst, str->data, str->length))
312 return 0;
313 dst->flags = str->flags;
314 return 1;
315}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800316
317ASN1_STRING *ASN1_STRING_dup(const ASN1_STRING *str)
David Benjamin4969cc92016-04-22 15:02:23 -0400318{
319 ASN1_STRING *ret;
320 if (!str)
321 return NULL;
322 ret = ASN1_STRING_new();
323 if (!ret)
324 return NULL;
325 if (!ASN1_STRING_copy(ret, str)) {
326 ASN1_STRING_free(ret);
327 return NULL;
328 }
329 return ret;
330}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800331
332int ASN1_STRING_set(ASN1_STRING *str, const void *_data, int len)
David Benjamin4969cc92016-04-22 15:02:23 -0400333{
334 unsigned char *c;
335 const char *data = _data;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800336
David Benjamin4969cc92016-04-22 15:02:23 -0400337 if (len < 0) {
338 if (data == NULL)
339 return (0);
340 else
341 len = strlen(data);
342 }
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400343 if ((str->length <= len) || (str->data == NULL)) {
David Benjamin4969cc92016-04-22 15:02:23 -0400344 c = str->data;
345 if (c == NULL)
346 str->data = OPENSSL_malloc(len + 1);
347 else
348 str->data = OPENSSL_realloc(c, len + 1);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800349
David Benjamin4969cc92016-04-22 15:02:23 -0400350 if (str->data == NULL) {
351 OPENSSL_PUT_ERROR(ASN1, ERR_R_MALLOC_FAILURE);
352 str->data = c;
353 return (0);
354 }
355 }
356 str->length = len;
357 if (data != NULL) {
Robert Sloan69939df2017-01-09 10:53:07 -0800358 OPENSSL_memcpy(str->data, data, len);
David Benjamin4969cc92016-04-22 15:02:23 -0400359 /* an allowance for strings :-) */
360 str->data[len] = '\0';
361 }
362 return (1);
363}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800364
365void ASN1_STRING_set0(ASN1_STRING *str, void *data, int len)
David Benjamin4969cc92016-04-22 15:02:23 -0400366{
367 if (str->data)
368 OPENSSL_free(str->data);
369 str->data = data;
370 str->length = len;
371}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800372
373ASN1_STRING *ASN1_STRING_new(void)
David Benjamin4969cc92016-04-22 15:02:23 -0400374{
375 return (ASN1_STRING_type_new(V_ASN1_OCTET_STRING));
376}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800377
378ASN1_STRING *ASN1_STRING_type_new(int type)
David Benjamin4969cc92016-04-22 15:02:23 -0400379{
380 ASN1_STRING *ret;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800381
David Benjamin4969cc92016-04-22 15:02:23 -0400382 ret = (ASN1_STRING *)OPENSSL_malloc(sizeof(ASN1_STRING));
383 if (ret == NULL) {
384 OPENSSL_PUT_ERROR(ASN1, ERR_R_MALLOC_FAILURE);
385 return (NULL);
386 }
387 ret->length = 0;
388 ret->type = type;
389 ret->data = NULL;
390 ret->flags = 0;
391 return (ret);
392}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800393
394void ASN1_STRING_free(ASN1_STRING *a)
David Benjamin4969cc92016-04-22 15:02:23 -0400395{
396 if (a == NULL)
397 return;
398 if (a->data && !(a->flags & ASN1_STRING_FLAG_NDEF))
399 OPENSSL_free(a->data);
400 OPENSSL_free(a);
401}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800402
403int ASN1_STRING_cmp(const ASN1_STRING *a, const ASN1_STRING *b)
David Benjamin4969cc92016-04-22 15:02:23 -0400404{
405 int i;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800406
David Benjamin4969cc92016-04-22 15:02:23 -0400407 i = (a->length - b->length);
408 if (i == 0) {
Robert Sloan69939df2017-01-09 10:53:07 -0800409 i = OPENSSL_memcmp(a->data, b->data, a->length);
David Benjamin4969cc92016-04-22 15:02:23 -0400410 if (i == 0)
411 return (a->type - b->type);
412 else
413 return (i);
414 } else
415 return (i);
416}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800417
Adam Langleyd9e397b2015-01-22 14:27:53 -0800418int ASN1_STRING_length(const ASN1_STRING *x)
David Benjamin4969cc92016-04-22 15:02:23 -0400419{
420 return M_ASN1_STRING_length(x);
421}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800422
423void ASN1_STRING_length_set(ASN1_STRING *x, int len)
David Benjamin4969cc92016-04-22 15:02:23 -0400424{
425 M_ASN1_STRING_length_set(x, len);
426 return;
427}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800428
429int ASN1_STRING_type(ASN1_STRING *x)
David Benjamin4969cc92016-04-22 15:02:23 -0400430{
431 return M_ASN1_STRING_type(x);
432}
Adam Langleyd9e397b2015-01-22 14:27:53 -0800433
David Benjamin4969cc92016-04-22 15:02:23 -0400434unsigned char *ASN1_STRING_data(ASN1_STRING *x)
435{
436 return M_ASN1_STRING_data(x);
437}