/src/openssl/crypto/asn1/asn1_lib.c
Line  | Count  | Source  | 
1  |  | /*  | 
2  |  |  * Copyright 1995-2025 The OpenSSL Project Authors. All Rights Reserved.  | 
3  |  |  *  | 
4  |  |  * Licensed under the Apache License 2.0 (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/asn1.h>  | 
14  |  | #include "asn1_local.h"  | 
15  |  |  | 
16  |  | static int asn1_get_length(const unsigned char **pp, int *inf, long *rl,  | 
17  |  |                            long max);  | 
18  |  | static void asn1_put_length(unsigned char **pp, int length);  | 
19  |  |  | 
20  |  | static int _asn1_check_infinite_end(const unsigned char **p, long len)  | 
21  | 0  | { | 
22  |  |     /*  | 
23  |  |      * If there is 0 or 1 byte left, the length check should pick things up  | 
24  |  |      */  | 
25  | 0  |     if (len <= 0) { | 
26  | 0  |         return 1;  | 
27  | 0  |     } else { | 
28  | 0  |         if ((len >= 2) && ((*p)[0] == 0) && ((*p)[1] == 0)) { | 
29  | 0  |             (*p) += 2;  | 
30  | 0  |             return 1;  | 
31  | 0  |         }  | 
32  | 0  |     }  | 
33  | 0  |     return 0;  | 
34  | 0  | }  | 
35  |  |  | 
36  |  | int ASN1_check_infinite_end(unsigned char **p, long len)  | 
37  | 0  | { | 
38  | 0  |     return _asn1_check_infinite_end((const unsigned char **)p, len);  | 
39  | 0  | }  | 
40  |  |  | 
41  |  | int ASN1_const_check_infinite_end(const unsigned char **p, long len)  | 
42  | 0  | { | 
43  | 0  |     return _asn1_check_infinite_end(p, len);  | 
44  | 0  | }  | 
45  |  |  | 
46  |  | int ASN1_get_object(const unsigned char **pp, long *plength, int *ptag,  | 
47  |  |                     int *pclass, long omax)  | 
48  | 175k  | { | 
49  | 175k  |     int i, ret;  | 
50  | 175k  |     long len;  | 
51  | 175k  |     const unsigned char *p = *pp;  | 
52  | 175k  |     int tag, xclass, inf;  | 
53  | 175k  |     long max = omax;  | 
54  |  |  | 
55  | 175k  |     if (omax <= 0) { | 
56  | 0  |         ERR_raise(ERR_LIB_ASN1, ASN1_R_TOO_SMALL);  | 
57  | 0  |         return 0x80;  | 
58  | 0  |     }  | 
59  | 175k  |     ret = (*p & V_ASN1_CONSTRUCTED);  | 
60  | 175k  |     xclass = (*p & V_ASN1_PRIVATE);  | 
61  | 175k  |     i = *p & V_ASN1_PRIMITIVE_TAG;  | 
62  | 175k  |     if (i == V_ASN1_PRIMITIVE_TAG) { /* high-tag */ | 
63  | 6.44k  |         p++;  | 
64  | 6.44k  |         if (--max == 0)  | 
65  | 451  |             goto err;  | 
66  | 5.99k  |         len = 0;  | 
67  | 12.5k  |         while (*p & 0x80) { | 
68  | 7.65k  |             len <<= 7L;  | 
69  | 7.65k  |             len |= *(p++) & 0x7f;  | 
70  | 7.65k  |             if (--max == 0)  | 
71  | 634  |                 goto err;  | 
72  | 7.02k  |             if (len > (INT_MAX >> 7L))  | 
73  | 434  |                 goto err;  | 
74  | 7.02k  |         }  | 
75  | 4.92k  |         len <<= 7L;  | 
76  | 4.92k  |         len |= *(p++) & 0x7f;  | 
77  | 4.92k  |         tag = (int)len;  | 
78  | 4.92k  |         if (--max == 0)  | 
79  | 547  |             goto err;  | 
80  | 169k  |     } else { | 
81  | 169k  |         tag = i;  | 
82  | 169k  |         p++;  | 
83  | 169k  |         if (--max == 0)  | 
84  | 2.35k  |             goto err;  | 
85  | 169k  |     }  | 
86  | 171k  |     *ptag = tag;  | 
87  | 171k  |     *pclass = xclass;  | 
88  | 171k  |     if (!asn1_get_length(&p, &inf, plength, max))  | 
89  | 2.46k  |         goto err;  | 
90  |  |  | 
91  | 168k  |     if (inf && !(ret & V_ASN1_CONSTRUCTED))  | 
92  | 483  |         goto err;  | 
93  |  |  | 
94  | 168k  |     if (*plength > (omax - (p - *pp))) { | 
95  | 2.35k  |         ERR_raise(ERR_LIB_ASN1, ASN1_R_TOO_LONG);  | 
96  |  |         /*  | 
97  |  |          * Set this so that even if things are not long enough the values are  | 
98  |  |          * set correctly  | 
99  |  |          */  | 
100  | 2.35k  |         ret |= 0x80;  | 
101  | 2.35k  |     }  | 
102  | 168k  |     *pp = p;  | 
103  | 168k  |     return ret | inf;  | 
104  | 7.37k  |  err:  | 
105  | 7.37k  |     ERR_raise(ERR_LIB_ASN1, ASN1_R_HEADER_TOO_LONG);  | 
106  | 7.37k  |     return 0x80;  | 
107  | 168k  | }  | 
108  |  |  | 
109  |  | /*  | 
110  |  |  * Decode a length field.  | 
111  |  |  * The short form is a single byte defining a length 0 - 127.  | 
112  |  |  * The long form is a byte 0 - 127 with the top bit set and this indicates  | 
113  |  |  * the number of following octets that contain the length.  These octets  | 
114  |  |  * are stored most significant digit first.  | 
115  |  |  */  | 
116  |  | static int asn1_get_length(const unsigned char **pp, int *inf, long *rl,  | 
117  |  |                            long max)  | 
118  | 171k  | { | 
119  | 171k  |     const unsigned char *p = *pp;  | 
120  | 171k  |     unsigned long ret = 0;  | 
121  | 171k  |     int i;  | 
122  |  |  | 
123  | 171k  |     if (max-- < 1)  | 
124  | 0  |         return 0;  | 
125  | 171k  |     if (*p == 0x80) { | 
126  | 28.3k  |         *inf = 1;  | 
127  | 28.3k  |         p++;  | 
128  | 142k  |     } else { | 
129  | 142k  |         *inf = 0;  | 
130  | 142k  |         i = *p & 0x7f;  | 
131  | 142k  |         if (*p++ & 0x80) { | 
132  | 31.1k  |             if (max < i + 1)  | 
133  | 690  |                 return 0;  | 
134  |  |             /* Skip leading zeroes */  | 
135  | 49.3k  |             while (i > 0 && *p == 0) { | 
136  | 18.8k  |                 p++;  | 
137  | 18.8k  |                 i--;  | 
138  | 18.8k  |             }  | 
139  | 30.4k  |             if (i > (int)sizeof(long))  | 
140  | 703  |                 return 0;  | 
141  | 74.5k  |             while (i > 0) { | 
142  | 44.7k  |                 ret <<= 8;  | 
143  | 44.7k  |                 ret |= *p++;  | 
144  | 44.7k  |                 i--;  | 
145  | 44.7k  |             }  | 
146  | 29.7k  |             if (ret > LONG_MAX)  | 
147  | 1.07k  |                 return 0;  | 
148  | 111k  |         } else { | 
149  | 111k  |             ret = i;  | 
150  | 111k  |         }  | 
151  | 142k  |     }  | 
152  | 168k  |     *pp = p;  | 
153  | 168k  |     *rl = (long)ret;  | 
154  | 168k  |     return 1;  | 
155  | 171k  | }  | 
156  |  |  | 
157  |  | /*  | 
158  |  |  * constructed == 2 for indefinite length constructed  | 
159  |  |  */  | 
160  |  | void ASN1_put_object(unsigned char **pp, int constructed, int length, int tag,  | 
161  |  |                      int xclass)  | 
162  | 17.5k  | { | 
163  | 17.5k  |     unsigned char *p = *pp;  | 
164  | 17.5k  |     int i, ttag;  | 
165  |  |  | 
166  | 17.5k  |     i = (constructed) ? V_ASN1_CONSTRUCTED : 0;  | 
167  | 17.5k  |     i |= (xclass & V_ASN1_PRIVATE);  | 
168  | 17.5k  |     if (tag < 31) { | 
169  | 17.5k  |         *(p++) = i | (tag & V_ASN1_PRIMITIVE_TAG);  | 
170  | 17.5k  |     } else { | 
171  | 0  |         *(p++) = i | V_ASN1_PRIMITIVE_TAG;  | 
172  | 0  |         for (i = 0, ttag = tag; ttag > 0; i++)  | 
173  | 0  |             ttag >>= 7;  | 
174  | 0  |         ttag = i;  | 
175  | 0  |         while (i-- > 0) { | 
176  | 0  |             p[i] = tag & 0x7f;  | 
177  | 0  |             if (i != (ttag - 1))  | 
178  | 0  |                 p[i] |= 0x80;  | 
179  | 0  |             tag >>= 7;  | 
180  | 0  |         }  | 
181  | 0  |         p += ttag;  | 
182  | 0  |     }  | 
183  | 17.5k  |     if (constructed == 2)  | 
184  | 0  |         *(p++) = 0x80;  | 
185  | 17.5k  |     else  | 
186  | 17.5k  |         asn1_put_length(&p, length);  | 
187  | 17.5k  |     *pp = p;  | 
188  | 17.5k  | }  | 
189  |  |  | 
190  |  | int ASN1_put_eoc(unsigned char **pp)  | 
191  | 0  | { | 
192  | 0  |     unsigned char *p = *pp;  | 
193  |  | 
  | 
194  | 0  |     *p++ = 0;  | 
195  | 0  |     *p++ = 0;  | 
196  | 0  |     *pp = p;  | 
197  | 0  |     return 2;  | 
198  | 0  | }  | 
199  |  |  | 
200  |  | static void asn1_put_length(unsigned char **pp, int length)  | 
201  | 17.5k  | { | 
202  | 17.5k  |     unsigned char *p = *pp;  | 
203  | 17.5k  |     int i, len;  | 
204  |  |  | 
205  | 17.5k  |     if (length <= 127) { | 
206  | 7.92k  |         *(p++) = (unsigned char)length;  | 
207  | 9.63k  |     } else { | 
208  | 9.63k  |         len = length;  | 
209  | 21.4k  |         for (i = 0; len > 0; i++)  | 
210  | 11.8k  |             len >>= 8;  | 
211  | 9.63k  |         *(p++) = i | 0x80;  | 
212  | 9.63k  |         len = i;  | 
213  | 21.4k  |         while (i-- > 0) { | 
214  | 11.8k  |             p[i] = length & 0xff;  | 
215  | 11.8k  |             length >>= 8;  | 
216  | 11.8k  |         }  | 
217  | 9.63k  |         p += len;  | 
218  | 9.63k  |     }  | 
219  | 17.5k  |     *pp = p;  | 
220  | 17.5k  | }  | 
221  |  |  | 
222  |  | int ASN1_object_size(int constructed, int length, int tag)  | 
223  | 46.8k  | { | 
224  | 46.8k  |     int ret = 1;  | 
225  |  |  | 
226  | 46.8k  |     if (length < 0)  | 
227  | 0  |         return -1;  | 
228  | 46.8k  |     if (tag >= 31) { | 
229  | 0  |         while (tag > 0) { | 
230  | 0  |             tag >>= 7;  | 
231  | 0  |             ret++;  | 
232  | 0  |         }  | 
233  | 0  |     }  | 
234  | 46.8k  |     if (constructed == 2) { | 
235  | 0  |         ret += 3;  | 
236  | 46.8k  |     } else { | 
237  | 46.8k  |         ret++;  | 
238  | 46.8k  |         if (length > 127) { | 
239  | 24.0k  |             int tmplen = length;  | 
240  | 53.7k  |             while (tmplen > 0) { | 
241  | 29.6k  |                 tmplen >>= 8;  | 
242  | 29.6k  |                 ret++;  | 
243  | 29.6k  |             }  | 
244  | 24.0k  |         }  | 
245  | 46.8k  |     }  | 
246  | 46.8k  |     if (ret >= INT_MAX - length)  | 
247  | 0  |         return -1;  | 
248  | 46.8k  |     return ret + length;  | 
249  | 46.8k  | }  | 
250  |  |  | 
251  |  | void ossl_asn1_string_set_bits_left(ASN1_STRING *str, unsigned int num)  | 
252  | 0  | { | 
253  | 0  |     str->flags &= ~0x07;  | 
254  | 0  |     str->flags |= ASN1_STRING_FLAG_BITS_LEFT | (num & 0x07);  | 
255  | 0  | }  | 
256  |  |  | 
257  |  | int ASN1_STRING_copy(ASN1_STRING *dst, const ASN1_STRING *str)  | 
258  | 0  | { | 
259  | 0  |     if (str == NULL)  | 
260  | 0  |         return 0;  | 
261  | 0  |     dst->type = str->type;  | 
262  | 0  |     if (!ASN1_STRING_set(dst, str->data, str->length))  | 
263  | 0  |         return 0;  | 
264  |  |     /* Copy flags but preserve embed value */  | 
265  | 0  |     dst->flags &= ASN1_STRING_FLAG_EMBED;  | 
266  | 0  |     dst->flags |= str->flags & ~ASN1_STRING_FLAG_EMBED;  | 
267  | 0  |     return 1;  | 
268  | 0  | }  | 
269  |  |  | 
270  |  | ASN1_STRING *ASN1_STRING_dup(const ASN1_STRING *str)  | 
271  | 0  | { | 
272  | 0  |     ASN1_STRING *ret;  | 
273  |  | 
  | 
274  | 0  |     if (!str)  | 
275  | 0  |         return NULL;  | 
276  | 0  |     ret = ASN1_STRING_new();  | 
277  | 0  |     if (ret == NULL)  | 
278  | 0  |         return NULL;  | 
279  | 0  |     if (!ASN1_STRING_copy(ret, str)) { | 
280  | 0  |         ASN1_STRING_free(ret);  | 
281  | 0  |         return NULL;  | 
282  | 0  |     }  | 
283  | 0  |     return ret;  | 
284  | 0  | }  | 
285  |  |  | 
286  |  | int ASN1_STRING_set(ASN1_STRING *str, const void *_data, int len_in)  | 
287  | 0  | { | 
288  | 0  |     unsigned char *c;  | 
289  | 0  |     const char *data = _data;  | 
290  | 0  |     size_t len;  | 
291  |  | 
  | 
292  | 0  |     if (len_in < 0) { | 
293  | 0  |         if (data == NULL)  | 
294  | 0  |             return 0;  | 
295  | 0  |         len = strlen(data);  | 
296  | 0  |     } else { | 
297  | 0  |         len = (size_t)len_in;  | 
298  | 0  |     }  | 
299  |  |     /*  | 
300  |  |      * Verify that the length fits within an integer for assignment to  | 
301  |  |      * str->length below.  The additional 1 is subtracted to allow for the  | 
302  |  |      * '\0' terminator even though this isn't strictly necessary.  | 
303  |  |      */  | 
304  | 0  |     if (len > INT_MAX - 1) { | 
305  | 0  |         ERR_raise(ERR_LIB_ASN1, ASN1_R_TOO_LARGE);  | 
306  | 0  |         return 0;  | 
307  | 0  |     }  | 
308  | 0  |     if ((size_t)str->length <= len || str->data == NULL) { | 
309  | 0  |         c = str->data;  | 
310  | 0  | #ifdef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION  | 
311  |  |         /* No NUL terminator in fuzzing builds */  | 
312  | 0  |         str->data = OPENSSL_realloc(c, len != 0 ? len : 1);  | 
313  |  | #else  | 
314  |  |         str->data = OPENSSL_realloc(c, len + 1);  | 
315  |  | #endif  | 
316  | 0  |         if (str->data == NULL) { | 
317  | 0  |             str->data = c;  | 
318  | 0  |             return 0;  | 
319  | 0  |         }  | 
320  | 0  |     }  | 
321  | 0  |     str->length = (int)len;  | 
322  | 0  |     if (data != NULL) { | 
323  | 0  |         memcpy(str->data, data, len);  | 
324  | 0  | #ifdef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION  | 
325  |  |         /* Set the unused byte to something non NUL and printable. */  | 
326  | 0  |         if (len == 0)  | 
327  | 0  |             str->data[len] = '~';  | 
328  |  | #else  | 
329  |  |         /*  | 
330  |  |          * Add a NUL terminator. This should not be necessary - but we add it as  | 
331  |  |          * a safety precaution  | 
332  |  |          */  | 
333  |  |         str->data[len] = '\0';  | 
334  |  | #endif  | 
335  | 0  |     }  | 
336  | 0  |     return 1;  | 
337  | 0  | }  | 
338  |  |  | 
339  |  | void ASN1_STRING_set0(ASN1_STRING *str, void *data, int len)  | 
340  | 0  | { | 
341  | 0  |     OPENSSL_free(str->data);  | 
342  | 0  |     str->data = data;  | 
343  | 0  |     str->length = len;  | 
344  | 0  | }  | 
345  |  |  | 
346  |  | ASN1_STRING *ASN1_STRING_new(void)  | 
347  | 0  | { | 
348  | 0  |     return ASN1_STRING_type_new(V_ASN1_OCTET_STRING);  | 
349  | 0  | }  | 
350  |  |  | 
351  |  | ASN1_STRING *ASN1_STRING_type_new(int type)  | 
352  | 0  | { | 
353  | 0  |     ASN1_STRING *ret;  | 
354  |  | 
  | 
355  | 0  |     ret = OPENSSL_zalloc(sizeof(*ret));  | 
356  | 0  |     if (ret == NULL)  | 
357  | 0  |         return NULL;  | 
358  | 0  |     ret->type = type;  | 
359  | 0  |     return ret;  | 
360  | 0  | }  | 
361  |  |  | 
362  |  | void ossl_asn1_string_embed_free(ASN1_STRING *a, int embed)  | 
363  | 0  | { | 
364  | 0  |     if (a == NULL)  | 
365  | 0  |         return;  | 
366  | 0  |     if (!(a->flags & ASN1_STRING_FLAG_NDEF))  | 
367  | 0  |         OPENSSL_free(a->data);  | 
368  | 0  |     if (embed == 0)  | 
369  | 0  |         OPENSSL_free(a);  | 
370  | 0  | }  | 
371  |  |  | 
372  |  | void ASN1_STRING_free(ASN1_STRING *a)  | 
373  | 0  | { | 
374  | 0  |     if (a == NULL)  | 
375  | 0  |         return;  | 
376  | 0  |     ossl_asn1_string_embed_free(a, a->flags & ASN1_STRING_FLAG_EMBED);  | 
377  | 0  | }  | 
378  |  |  | 
379  |  | void ASN1_STRING_clear_free(ASN1_STRING *a)  | 
380  | 0  | { | 
381  | 0  |     if (a == NULL)  | 
382  | 0  |         return;  | 
383  | 0  |     if (a->data && !(a->flags & ASN1_STRING_FLAG_NDEF))  | 
384  | 0  |         OPENSSL_cleanse(a->data, a->length);  | 
385  | 0  |     ASN1_STRING_free(a);  | 
386  | 0  | }  | 
387  |  |  | 
388  |  | int ASN1_STRING_cmp(const ASN1_STRING *a, const ASN1_STRING *b)  | 
389  | 0  | { | 
390  | 0  |     int i;  | 
391  |  | 
  | 
392  | 0  |     i = (a->length - b->length);  | 
393  | 0  |     if (i == 0) { | 
394  | 0  |         if (a->length != 0)  | 
395  | 0  |             i = memcmp(a->data, b->data, a->length);  | 
396  | 0  |         if (i == 0)  | 
397  | 0  |             return a->type - b->type;  | 
398  | 0  |         else  | 
399  | 0  |             return i;  | 
400  | 0  |     } else { | 
401  | 0  |         return i;  | 
402  | 0  |     }  | 
403  | 0  | }  | 
404  |  |  | 
405  |  | int ASN1_STRING_length(const ASN1_STRING *x)  | 
406  | 0  | { | 
407  | 0  |     return x->length;  | 
408  | 0  | }  | 
409  |  |  | 
410  |  | #ifndef OPENSSL_NO_DEPRECATED_3_0  | 
411  |  | void ASN1_STRING_length_set(ASN1_STRING *x, int len)  | 
412  | 0  | { | 
413  | 0  |     x->length = len;  | 
414  | 0  | }  | 
415  |  | #endif  | 
416  |  |  | 
417  |  | int ASN1_STRING_type(const ASN1_STRING *x)  | 
418  | 0  | { | 
419  | 0  |     return x->type;  | 
420  | 0  | }  | 
421  |  |  | 
422  |  | const unsigned char *ASN1_STRING_get0_data(const ASN1_STRING *x)  | 
423  | 0  | { | 
424  | 0  |     return x->data;  | 
425  | 0  | }  | 
426  |  |  | 
427  |  | #ifndef OPENSSL_NO_DEPRECATED_1_1_0  | 
428  |  | unsigned char *ASN1_STRING_data(ASN1_STRING *x)  | 
429  | 0  | { | 
430  | 0  |     return x->data;  | 
431  | 0  | }  | 
432  |  | #endif  | 
433  |  |  | 
434  |  | /* |max_len| excludes NUL terminator and may be 0 to indicate no restriction */  | 
435  |  | char *ossl_sk_ASN1_UTF8STRING2text(STACK_OF(ASN1_UTF8STRING) *text,  | 
436  |  |                                    const char *sep, size_t max_len)  | 
437  | 0  | { | 
438  | 0  |     int i;  | 
439  | 0  |     ASN1_UTF8STRING *current;  | 
440  | 0  |     size_t length = 0, sep_len;  | 
441  | 0  |     char *result = NULL;  | 
442  | 0  |     char *p;  | 
443  |  | 
  | 
444  | 0  |     if (sep == NULL)  | 
445  | 0  |         sep = "";  | 
446  | 0  |     sep_len = strlen(sep);  | 
447  |  | 
  | 
448  | 0  |     for (i = 0; i < sk_ASN1_UTF8STRING_num(text); i++) { | 
449  | 0  |         current = sk_ASN1_UTF8STRING_value(text, i);  | 
450  | 0  |         if (i > 0)  | 
451  | 0  |             length += sep_len;  | 
452  | 0  |         length += ASN1_STRING_length(current);  | 
453  | 0  |         if (max_len != 0 && length > max_len)  | 
454  | 0  |             return NULL;  | 
455  | 0  |     }  | 
456  | 0  |     if ((result = OPENSSL_malloc(length + 1)) == NULL)  | 
457  | 0  |         return NULL;  | 
458  |  |  | 
459  | 0  |     p = result;  | 
460  | 0  |     for (i = 0; i < sk_ASN1_UTF8STRING_num(text); i++) { | 
461  | 0  |         current = sk_ASN1_UTF8STRING_value(text, i);  | 
462  | 0  |         length = ASN1_STRING_length(current);  | 
463  | 0  |         if (i > 0 && sep_len > 0) { | 
464  | 0  |             strncpy(p, sep, sep_len + 1); /* using + 1 to silence gcc warning */  | 
465  | 0  |             p += sep_len;  | 
466  | 0  |         }  | 
467  | 0  |         strncpy(p, (const char *)ASN1_STRING_get0_data(current), length);  | 
468  | 0  |         p += length;  | 
469  | 0  |     }  | 
470  | 0  |     *p = '\0';  | 
471  |  | 
  | 
472  | 0  |     return result;  | 
473  | 0  | }  |