Check for overflows in ASN1_object_size().
[openssl.git] / crypto / asn1 / a_object.c
1 /*
2  * Copyright 1995-2016 The OpenSSL Project Authors. All Rights Reserved.
3  *
4  * Licensed under the OpenSSL license (the "License").  You may not use
5  * this file except in compliance with the License.  You can obtain a copy
6  * in the file LICENSE in the source distribution or at
7  * https://www.openssl.org/source/license.html
8  */
9
10 #include <stdio.h>
11 #include <limits.h>
12 #include "internal/cryptlib.h"
13 #include <openssl/buffer.h>
14 #include <openssl/asn1.h>
15 #include <openssl/objects.h>
16 #include <openssl/bn.h>
17 #include "internal/asn1_int.h"
18 #include "asn1_locl.h"
19
20 int i2d_ASN1_OBJECT(const ASN1_OBJECT *a, unsigned char **pp)
21 {
22     unsigned char *p;
23     int objsize;
24
25     if ((a == NULL) || (a->data == NULL))
26         return (0);
27
28     objsize = ASN1_object_size(0, a->length, V_ASN1_OBJECT);
29     if (pp == NULL)
30         return objsize;
31
32     p = *pp;
33     ASN1_put_object(&p, 0, a->length, V_ASN1_OBJECT, V_ASN1_UNIVERSAL);
34     memcpy(p, a->data, a->length);
35     p += a->length;
36
37     *pp = p;
38     return (objsize);
39 }
40
41 int a2d_ASN1_OBJECT(unsigned char *out, int olen, const char *buf, int num)
42 {
43     int i, first, len = 0, c, use_bn;
44     char ftmp[24], *tmp = ftmp;
45     int tmpsize = sizeof ftmp;
46     const char *p;
47     unsigned long l;
48     BIGNUM *bl = NULL;
49
50     if (num == 0)
51         return (0);
52     else if (num == -1)
53         num = strlen(buf);
54
55     p = buf;
56     c = *(p++);
57     num--;
58     if ((c >= '0') && (c <= '2')) {
59         first = c - '0';
60     } else {
61         ASN1err(ASN1_F_A2D_ASN1_OBJECT, ASN1_R_FIRST_NUM_TOO_LARGE);
62         goto err;
63     }
64
65     if (num <= 0) {
66         ASN1err(ASN1_F_A2D_ASN1_OBJECT, ASN1_R_MISSING_SECOND_NUMBER);
67         goto err;
68     }
69     c = *(p++);
70     num--;
71     for (;;) {
72         if (num <= 0)
73             break;
74         if ((c != '.') && (c != ' ')) {
75             ASN1err(ASN1_F_A2D_ASN1_OBJECT, ASN1_R_INVALID_SEPARATOR);
76             goto err;
77         }
78         l = 0;
79         use_bn = 0;
80         for (;;) {
81             if (num <= 0)
82                 break;
83             num--;
84             c = *(p++);
85             if ((c == ' ') || (c == '.'))
86                 break;
87             if ((c < '0') || (c > '9')) {
88                 ASN1err(ASN1_F_A2D_ASN1_OBJECT, ASN1_R_INVALID_DIGIT);
89                 goto err;
90             }
91             if (!use_bn && l >= ((ULONG_MAX - 80) / 10L)) {
92                 use_bn = 1;
93                 if (bl == NULL)
94                     bl = BN_new();
95                 if (bl == NULL || !BN_set_word(bl, l))
96                     goto err;
97             }
98             if (use_bn) {
99                 if (!BN_mul_word(bl, 10L)
100                     || !BN_add_word(bl, c - '0'))
101                     goto err;
102             } else
103                 l = l * 10L + (long)(c - '0');
104         }
105         if (len == 0) {
106             if ((first < 2) && (l >= 40)) {
107                 ASN1err(ASN1_F_A2D_ASN1_OBJECT,
108                         ASN1_R_SECOND_NUMBER_TOO_LARGE);
109                 goto err;
110             }
111             if (use_bn) {
112                 if (!BN_add_word(bl, first * 40))
113                     goto err;
114             } else
115                 l += (long)first *40;
116         }
117         i = 0;
118         if (use_bn) {
119             int blsize;
120             blsize = BN_num_bits(bl);
121             blsize = (blsize + 6) / 7;
122             if (blsize > tmpsize) {
123                 if (tmp != ftmp)
124                     OPENSSL_free(tmp);
125                 tmpsize = blsize + 32;
126                 tmp = OPENSSL_malloc(tmpsize);
127                 if (tmp == NULL)
128                     goto err;
129             }
130             while (blsize--)
131                 tmp[i++] = (unsigned char)BN_div_word(bl, 0x80L);
132         } else {
133
134             for (;;) {
135                 tmp[i++] = (unsigned char)l & 0x7f;
136                 l >>= 7L;
137                 if (l == 0L)
138                     break;
139             }
140
141         }
142         if (out != NULL) {
143             if (len + i > olen) {
144                 ASN1err(ASN1_F_A2D_ASN1_OBJECT, ASN1_R_BUFFER_TOO_SMALL);
145                 goto err;
146             }
147             while (--i > 0)
148                 out[len++] = tmp[i] | 0x80;
149             out[len++] = tmp[0];
150         } else
151             len += i;
152     }
153     if (tmp != ftmp)
154         OPENSSL_free(tmp);
155     BN_free(bl);
156     return (len);
157  err:
158     if (tmp != ftmp)
159         OPENSSL_free(tmp);
160     BN_free(bl);
161     return (0);
162 }
163
164 int i2t_ASN1_OBJECT(char *buf, int buf_len, const ASN1_OBJECT *a)
165 {
166     return OBJ_obj2txt(buf, buf_len, a, 0);
167 }
168
169 int i2a_ASN1_OBJECT(BIO *bp, const ASN1_OBJECT *a)
170 {
171     char buf[80], *p = buf;
172     int i;
173
174     if ((a == NULL) || (a->data == NULL))
175         return (BIO_write(bp, "NULL", 4));
176     i = i2t_ASN1_OBJECT(buf, sizeof buf, a);
177     if (i > (int)(sizeof(buf) - 1)) {
178         p = OPENSSL_malloc(i + 1);
179         if (p == NULL)
180             return -1;
181         i2t_ASN1_OBJECT(p, i + 1, a);
182     }
183     if (i <= 0) {
184         i = BIO_write(bp, "<INVALID>", 9);
185         i += BIO_dump(bp, (const char *)a->data, a->length);
186         return i;
187     }
188     BIO_write(bp, p, i);
189     if (p != buf)
190         OPENSSL_free(p);
191     return (i);
192 }
193
194 ASN1_OBJECT *d2i_ASN1_OBJECT(ASN1_OBJECT **a, const unsigned char **pp,
195                              long length)
196 {
197     const unsigned char *p;
198     long len;
199     int tag, xclass;
200     int inf, i;
201     ASN1_OBJECT *ret = NULL;
202     p = *pp;
203     inf = ASN1_get_object(&p, &len, &tag, &xclass, length);
204     if (inf & 0x80) {
205         i = ASN1_R_BAD_OBJECT_HEADER;
206         goto err;
207     }
208
209     if (tag != V_ASN1_OBJECT) {
210         i = ASN1_R_EXPECTING_AN_OBJECT;
211         goto err;
212     }
213     ret = c2i_ASN1_OBJECT(a, &p, len);
214     if (ret)
215         *pp = p;
216     return ret;
217  err:
218     ASN1err(ASN1_F_D2I_ASN1_OBJECT, i);
219     return (NULL);
220 }
221
222 ASN1_OBJECT *c2i_ASN1_OBJECT(ASN1_OBJECT **a, const unsigned char **pp,
223                              long len)
224 {
225     ASN1_OBJECT *ret = NULL, tobj;
226     const unsigned char *p;
227     unsigned char *data;
228     int i, length;
229
230     /*
231      * Sanity check OID encoding. Need at least one content octet. MSB must
232      * be clear in the last octet. can't have leading 0x80 in subidentifiers,
233      * see: X.690 8.19.2
234      */
235     if (len <= 0 || len > INT_MAX || pp == NULL || (p = *pp) == NULL ||
236         p[len - 1] & 0x80) {
237         ASN1err(ASN1_F_C2I_ASN1_OBJECT, ASN1_R_INVALID_OBJECT_ENCODING);
238         return NULL;
239     }
240     /* Now 0 < len <= INT_MAX, so the cast is safe. */
241     length = (int)len;
242     /*
243      * Try to lookup OID in table: these are all valid encodings so if we get
244      * a match we know the OID is valid.
245      */
246     tobj.nid = NID_undef;
247     tobj.data = p;
248     tobj.length = length;
249     tobj.flags = 0;
250     i = OBJ_obj2nid(&tobj);
251     if (i != NID_undef) {
252         /*
253          * Return shared registered OID object: this improves efficiency
254          * because we don't have to return a dynamically allocated OID
255          * and NID lookups can use the cached value.
256          */
257         ret = OBJ_nid2obj(i);
258         if (a) {
259             ASN1_OBJECT_free(*a);
260             *a = ret;
261         }
262         *pp += len;
263         return ret;
264     }
265     for (i = 0; i < length; i++, p++) {
266         if (*p == 0x80 && (!i || !(p[-1] & 0x80))) {
267             ASN1err(ASN1_F_C2I_ASN1_OBJECT, ASN1_R_INVALID_OBJECT_ENCODING);
268             return NULL;
269         }
270     }
271
272     /*
273      * only the ASN1_OBJECTs from the 'table' will have values for ->sn or
274      * ->ln
275      */
276     if ((a == NULL) || ((*a) == NULL) ||
277         !((*a)->flags & ASN1_OBJECT_FLAG_DYNAMIC)) {
278         if ((ret = ASN1_OBJECT_new()) == NULL)
279             return (NULL);
280     } else
281         ret = (*a);
282
283     p = *pp;
284     /* detach data from object */
285     data = (unsigned char *)ret->data;
286     ret->data = NULL;
287     /* once detached we can change it */
288     if ((data == NULL) || (ret->length < length)) {
289         ret->length = 0;
290         OPENSSL_free(data);
291         data = OPENSSL_malloc(length);
292         if (data == NULL) {
293             i = ERR_R_MALLOC_FAILURE;
294             goto err;
295         }
296         ret->flags |= ASN1_OBJECT_FLAG_DYNAMIC_DATA;
297     }
298     memcpy(data, p, length);
299     /* reattach data to object, after which it remains const */
300     ret->data = data;
301     ret->length = length;
302     ret->sn = NULL;
303     ret->ln = NULL;
304     /* ret->flags=ASN1_OBJECT_FLAG_DYNAMIC; we know it is dynamic */
305     p += length;
306
307     if (a != NULL)
308         (*a) = ret;
309     *pp = p;
310     return (ret);
311  err:
312     ASN1err(ASN1_F_C2I_ASN1_OBJECT, i);
313     if ((a == NULL) || (*a != ret))
314         ASN1_OBJECT_free(ret);
315     return (NULL);
316 }
317
318 ASN1_OBJECT *ASN1_OBJECT_new(void)
319 {
320     ASN1_OBJECT *ret;
321
322     ret = OPENSSL_zalloc(sizeof(*ret));
323     if (ret == NULL) {
324         ASN1err(ASN1_F_ASN1_OBJECT_NEW, ERR_R_MALLOC_FAILURE);
325         return (NULL);
326     }
327     ret->flags = ASN1_OBJECT_FLAG_DYNAMIC;
328     return (ret);
329 }
330
331 void ASN1_OBJECT_free(ASN1_OBJECT *a)
332 {
333     if (a == NULL)
334         return;
335     if (a->flags & ASN1_OBJECT_FLAG_DYNAMIC_STRINGS) {
336 #ifndef CONST_STRICT            /* disable purely for compile-time strict
337                                  * const checking. Doing this on a "real"
338                                  * compile will cause memory leaks */
339         OPENSSL_free((void*)a->sn);
340         OPENSSL_free((void*)a->ln);
341 #endif
342         a->sn = a->ln = NULL;
343     }
344     if (a->flags & ASN1_OBJECT_FLAG_DYNAMIC_DATA) {
345         OPENSSL_free((void*)a->data);
346         a->data = NULL;
347         a->length = 0;
348     }
349     if (a->flags & ASN1_OBJECT_FLAG_DYNAMIC)
350         OPENSSL_free(a);
351 }
352
353 ASN1_OBJECT *ASN1_OBJECT_create(int nid, unsigned char *data, int len,
354                                 const char *sn, const char *ln)
355 {
356     ASN1_OBJECT o;
357
358     o.sn = sn;
359     o.ln = ln;
360     o.data = data;
361     o.nid = nid;
362     o.length = len;
363     o.flags = ASN1_OBJECT_FLAG_DYNAMIC | ASN1_OBJECT_FLAG_DYNAMIC_STRINGS |
364         ASN1_OBJECT_FLAG_DYNAMIC_DATA;
365     return (OBJ_dup(&o));
366 }