/src/openssl/crypto/asn1/tasn_utl.c
Line  | Count  | Source (jump to first uncovered line)  | 
1  |  | /*  | 
2  |  |  * Copyright 2000-2023 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 <stddef.h>  | 
11  |  | #include <string.h>  | 
12  |  | #include "internal/cryptlib.h"  | 
13  |  | #include "internal/refcount.h"  | 
14  |  | #include <openssl/asn1.h>  | 
15  |  | #include <openssl/asn1t.h>  | 
16  |  | #include <openssl/objects.h>  | 
17  |  | #include <openssl/err.h>  | 
18  |  | #include "asn1_local.h"  | 
19  |  |  | 
20  |  | /* Utility functions for manipulating fields and offsets */  | 
21  |  |  | 
22  |  | /* Add 'offset' to 'addr' */  | 
23  | 0  | #define offset2ptr(addr, offset) (void *)(((char *) addr) + offset)  | 
24  |  |  | 
25  |  | /*  | 
26  |  |  * Given an ASN1_ITEM CHOICE type return the selector value  | 
27  |  |  */  | 
28  |  |  | 
29  |  | int ossl_asn1_get_choice_selector(ASN1_VALUE **pval, const ASN1_ITEM *it)  | 
30  | 0  | { | 
31  | 0  |     int *sel = offset2ptr(*pval, it->utype);  | 
32  |  | 
  | 
33  | 0  |     return *sel;  | 
34  | 0  | }  | 
35  |  |  | 
36  |  | int ossl_asn1_get_choice_selector_const(const ASN1_VALUE **pval,  | 
37  |  |                                         const ASN1_ITEM *it)  | 
38  | 0  | { | 
39  | 0  |     int *sel = offset2ptr(*pval, it->utype);  | 
40  |  | 
  | 
41  | 0  |     return *sel;  | 
42  | 0  | }  | 
43  |  |  | 
44  |  | /*  | 
45  |  |  * Given an ASN1_ITEM CHOICE type set the selector value, return old value.  | 
46  |  |  */  | 
47  |  |  | 
48  |  | int ossl_asn1_set_choice_selector(ASN1_VALUE **pval, int value,  | 
49  |  |                                   const ASN1_ITEM *it)  | 
50  | 0  | { | 
51  | 0  |     int *sel, ret;  | 
52  |  | 
  | 
53  | 0  |     sel = offset2ptr(*pval, it->utype);  | 
54  | 0  |     ret = *sel;  | 
55  | 0  |     *sel = value;  | 
56  | 0  |     return ret;  | 
57  | 0  | }  | 
58  |  |  | 
59  |  | /*  | 
60  |  |  * Do atomic reference counting. The value 'op' decides what to do.  | 
61  |  |  * If it is +1 then the count is incremented.  | 
62  |  |  * If |op| is 0, count is initialised and set to 1.  | 
63  |  |  * If |op| is -1, count is decremented and the return value is the current  | 
64  |  |  * reference count or 0 if no reference count is active.  | 
65  |  |  * It returns -1 on initialisation error.  | 
66  |  |  * Used by ASN1_SEQUENCE construct of X509, X509_REQ, X509_CRL objects  | 
67  |  |  */  | 
68  |  | int ossl_asn1_do_lock(ASN1_VALUE **pval, int op, const ASN1_ITEM *it)  | 
69  | 0  | { | 
70  | 0  |     const ASN1_AUX *aux;  | 
71  | 0  |     CRYPTO_RWLOCK **lock;  | 
72  | 0  |     CRYPTO_REF_COUNT *refcnt;  | 
73  | 0  |     int ret = -1;  | 
74  |  | 
  | 
75  | 0  |     if ((it->itype != ASN1_ITYPE_SEQUENCE)  | 
76  | 0  |         && (it->itype != ASN1_ITYPE_NDEF_SEQUENCE))  | 
77  | 0  |         return 0;  | 
78  | 0  |     aux = it->funcs;  | 
79  | 0  |     if (aux == NULL || (aux->flags & ASN1_AFLG_REFCOUNT) == 0)  | 
80  | 0  |         return 0;  | 
81  | 0  |     lock = offset2ptr(*pval, aux->ref_lock);  | 
82  | 0  |     refcnt = offset2ptr(*pval, aux->ref_offset);  | 
83  |  | 
  | 
84  | 0  |     switch (op) { | 
85  | 0  |     case 0:  | 
86  | 0  |         if (!CRYPTO_NEW_REF(refcnt, 1))  | 
87  | 0  |             return -1;  | 
88  | 0  |         *lock = CRYPTO_THREAD_lock_new();  | 
89  | 0  |         if (*lock == NULL) { | 
90  | 0  |             CRYPTO_FREE_REF(refcnt);  | 
91  | 0  |             ERR_raise(ERR_LIB_ASN1, ERR_R_CRYPTO_LIB);  | 
92  | 0  |             return -1;  | 
93  | 0  |         }  | 
94  | 0  |         ret = 1;  | 
95  | 0  |         break;  | 
96  | 0  |     case 1:  | 
97  | 0  |         if (!CRYPTO_UP_REF(refcnt, &ret))  | 
98  | 0  |             return -1;  | 
99  | 0  |         break;  | 
100  | 0  |     case -1:  | 
101  | 0  |         if (!CRYPTO_DOWN_REF(refcnt, &ret))  | 
102  | 0  |             return -1;  /* failed */  | 
103  | 0  |         REF_PRINT_EX(it->sname, ret, (void *)it);  | 
104  | 0  |         REF_ASSERT_ISNT(ret < 0);  | 
105  | 0  |         if (ret == 0) { | 
106  | 0  |             CRYPTO_THREAD_lock_free(*lock);  | 
107  | 0  |             *lock = NULL;  | 
108  | 0  |             CRYPTO_FREE_REF(refcnt);  | 
109  | 0  |         }  | 
110  | 0  |         break;  | 
111  | 0  |     }  | 
112  |  |  | 
113  | 0  |     return ret;  | 
114  | 0  | }  | 
115  |  |  | 
116  |  | static ASN1_ENCODING *asn1_get_enc_ptr(ASN1_VALUE **pval, const ASN1_ITEM *it)  | 
117  | 0  | { | 
118  | 0  |     const ASN1_AUX *aux;  | 
119  |  | 
  | 
120  | 0  |     if (pval == NULL || *pval == NULL)  | 
121  | 0  |         return NULL;  | 
122  | 0  |     aux = it->funcs;  | 
123  | 0  |     if (aux == NULL || (aux->flags & ASN1_AFLG_ENCODING) == 0)  | 
124  | 0  |         return NULL;  | 
125  | 0  |     return offset2ptr(*pval, aux->enc_offset);  | 
126  | 0  | }  | 
127  |  |  | 
128  |  | static const ASN1_ENCODING *asn1_get_const_enc_ptr(const ASN1_VALUE **pval,  | 
129  |  |                                                    const ASN1_ITEM *it)  | 
130  | 0  | { | 
131  | 0  |     const ASN1_AUX *aux;  | 
132  |  | 
  | 
133  | 0  |     if (pval == NULL || *pval == NULL)  | 
134  | 0  |         return NULL;  | 
135  | 0  |     aux = it->funcs;  | 
136  | 0  |     if (aux == NULL || (aux->flags & ASN1_AFLG_ENCODING) == 0)  | 
137  | 0  |         return NULL;  | 
138  | 0  |     return offset2ptr(*pval, aux->enc_offset);  | 
139  | 0  | }  | 
140  |  |  | 
141  |  | void ossl_asn1_enc_init(ASN1_VALUE **pval, const ASN1_ITEM *it)  | 
142  | 0  | { | 
143  | 0  |     ASN1_ENCODING *enc = asn1_get_enc_ptr(pval, it);  | 
144  |  | 
  | 
145  | 0  |     if (enc != NULL) { | 
146  | 0  |         enc->enc = NULL;  | 
147  | 0  |         enc->len = 0;  | 
148  | 0  |         enc->modified = 1;  | 
149  | 0  |     }  | 
150  | 0  | }  | 
151  |  |  | 
152  |  | void ossl_asn1_enc_free(ASN1_VALUE **pval, const ASN1_ITEM *it)  | 
153  | 0  | { | 
154  | 0  |     ASN1_ENCODING *enc = asn1_get_enc_ptr(pval, it);  | 
155  |  | 
  | 
156  | 0  |     if (enc != NULL) { | 
157  | 0  |         OPENSSL_free(enc->enc);  | 
158  | 0  |         enc->enc = NULL;  | 
159  | 0  |         enc->len = 0;  | 
160  | 0  |         enc->modified = 1;  | 
161  | 0  |     }  | 
162  | 0  | }  | 
163  |  |  | 
164  |  | int ossl_asn1_enc_save(ASN1_VALUE **pval, const unsigned char *in, int inlen,  | 
165  |  |                        const ASN1_ITEM *it)  | 
166  | 0  | { | 
167  | 0  |     ASN1_ENCODING *enc = asn1_get_enc_ptr(pval, it);  | 
168  |  | 
  | 
169  | 0  |     if (enc == NULL)  | 
170  | 0  |         return 1;  | 
171  |  |  | 
172  | 0  |     OPENSSL_free(enc->enc);  | 
173  | 0  |     if (inlen <= 0)  | 
174  | 0  |         return 0;  | 
175  | 0  |     if ((enc->enc = OPENSSL_malloc(inlen)) == NULL)  | 
176  | 0  |         return 0;  | 
177  | 0  |     memcpy(enc->enc, in, inlen);  | 
178  | 0  |     enc->len = inlen;  | 
179  | 0  |     enc->modified = 0;  | 
180  |  | 
  | 
181  | 0  |     return 1;  | 
182  | 0  | }  | 
183  |  |  | 
184  |  | int ossl_asn1_enc_restore(int *len, unsigned char **out, const ASN1_VALUE **pval,  | 
185  |  |                           const ASN1_ITEM *it)  | 
186  | 0  | { | 
187  | 0  |     const ASN1_ENCODING *enc = asn1_get_const_enc_ptr(pval, it);  | 
188  |  | 
  | 
189  | 0  |     if (enc == NULL || enc->modified)  | 
190  | 0  |         return 0;  | 
191  | 0  |     if (out) { | 
192  | 0  |         memcpy(*out, enc->enc, enc->len);  | 
193  | 0  |         *out += enc->len;  | 
194  | 0  |     }  | 
195  | 0  |     if (len != NULL)  | 
196  | 0  |         *len = enc->len;  | 
197  | 0  |     return 1;  | 
198  | 0  | }  | 
199  |  |  | 
200  |  | /* Given an ASN1_TEMPLATE get a pointer to a field */  | 
201  |  | ASN1_VALUE **ossl_asn1_get_field_ptr(ASN1_VALUE **pval, const ASN1_TEMPLATE *tt)  | 
202  | 0  | { | 
203  | 0  |     ASN1_VALUE **pvaltmp = offset2ptr(*pval, tt->offset);  | 
204  |  |  | 
205  |  |     /*  | 
206  |  |      * NOTE for BOOLEAN types the field is just a plain int so we can't  | 
207  |  |      * return int **, so settle for (int *).  | 
208  |  |      */  | 
209  | 0  |     return pvaltmp;  | 
210  | 0  | }  | 
211  |  |  | 
212  |  | /* Given an ASN1_TEMPLATE get a const pointer to a field */  | 
213  |  | const ASN1_VALUE **ossl_asn1_get_const_field_ptr(const ASN1_VALUE **pval,  | 
214  |  |                                                  const ASN1_TEMPLATE *tt)  | 
215  | 0  | { | 
216  | 0  |     return offset2ptr(*pval, tt->offset);  | 
217  | 0  | }  | 
218  |  |  | 
219  |  | /*  | 
220  |  |  * Handle ANY DEFINED BY template, find the selector, look up the relevant  | 
221  |  |  * ASN1_TEMPLATE in the table and return it.  | 
222  |  |  */  | 
223  |  |  | 
224  |  | const ASN1_TEMPLATE *ossl_asn1_do_adb(const ASN1_VALUE *val,  | 
225  |  |                                       const ASN1_TEMPLATE *tt,  | 
226  |  |                                       int nullerr)  | 
227  | 0  | { | 
228  | 0  |     const ASN1_ADB *adb;  | 
229  | 0  |     const ASN1_ADB_TABLE *atbl;  | 
230  | 0  |     long selector;  | 
231  | 0  |     const ASN1_VALUE **sfld;  | 
232  | 0  |     int i;  | 
233  |  | 
  | 
234  | 0  |     if ((tt->flags & ASN1_TFLG_ADB_MASK) == 0)  | 
235  | 0  |         return tt;  | 
236  |  |  | 
237  |  |     /* Else ANY DEFINED BY ... get the table */  | 
238  | 0  |     adb = ASN1_ADB_ptr(tt->item);  | 
239  |  |  | 
240  |  |     /* Get the selector field */  | 
241  | 0  |     sfld = offset2ptr(val, adb->offset);  | 
242  |  |  | 
243  |  |     /* Check if NULL */  | 
244  | 0  |     if (*sfld == NULL) { | 
245  | 0  |         if (adb->null_tt == NULL)  | 
246  | 0  |             goto err;  | 
247  | 0  |         return adb->null_tt;  | 
248  | 0  |     }  | 
249  |  |  | 
250  |  |     /*  | 
251  |  |      * Convert type to a long: NB: don't check for NID_undef here because it  | 
252  |  |      * might be a legitimate value in the table  | 
253  |  |      */  | 
254  | 0  |     if ((tt->flags & ASN1_TFLG_ADB_OID) != 0)  | 
255  | 0  |         selector = OBJ_obj2nid((ASN1_OBJECT *)*sfld);  | 
256  | 0  |     else  | 
257  | 0  |         selector = ASN1_INTEGER_get((ASN1_INTEGER *)*sfld);  | 
258  |  |  | 
259  |  |     /* Let application callback translate value */  | 
260  | 0  |     if (adb->adb_cb != NULL && adb->adb_cb(&selector) == 0) { | 
261  | 0  |         ERR_raise(ERR_LIB_ASN1, ASN1_R_UNSUPPORTED_ANY_DEFINED_BY_TYPE);  | 
262  | 0  |         return NULL;  | 
263  | 0  |     }  | 
264  |  |  | 
265  |  |     /*  | 
266  |  |      * Try to find matching entry in table Maybe should check application  | 
267  |  |      * types first to allow application override? Might also be useful to  | 
268  |  |      * have a flag which indicates table is sorted and we can do a binary  | 
269  |  |      * search. For now stick to a linear search.  | 
270  |  |      */  | 
271  |  |  | 
272  | 0  |     for (atbl = adb->tbl, i = 0; i < adb->tblcount; i++, atbl++)  | 
273  | 0  |         if (atbl->value == selector)  | 
274  | 0  |             return &atbl->tt;  | 
275  |  |  | 
276  |  |     /* FIXME: need to search application table too */  | 
277  |  |  | 
278  |  |     /* No match, return default type */  | 
279  | 0  |     if (!adb->default_tt)  | 
280  | 0  |         goto err;  | 
281  | 0  |     return adb->default_tt;  | 
282  |  |  | 
283  | 0  |  err:  | 
284  |  |     /* FIXME: should log the value or OID of unsupported type */  | 
285  | 0  |     if (nullerr)  | 
286  | 0  |         ERR_raise(ERR_LIB_ASN1, ASN1_R_UNSUPPORTED_ANY_DEFINED_BY_TYPE);  | 
287  | 0  |     return NULL;  | 
288  | 0  | }  |