Check for NULL ASN1_ITEM when initializeing
[openssl.git] / crypto / asn1 / tasn_new.c
1 /* tasn_new.c */
2 /* Written by Dr Stephen N Henson (shenson@bigfoot.com) for the OpenSSL
3  * project 2000.
4  */
5 /* ====================================================================
6  * Copyright (c) 2000 The OpenSSL Project.  All rights reserved.
7  *
8  * Redistribution and use in source and binary forms, with or without
9  * modification, are permitted provided that the following conditions
10  * are met:
11  *
12  * 1. Redistributions of source code must retain the above copyright
13  *    notice, this list of conditions and the following disclaimer. 
14  *
15  * 2. Redistributions in binary form must reproduce the above copyright
16  *    notice, this list of conditions and the following disclaimer in
17  *    the documentation and/or other materials provided with the
18  *    distribution.
19  *
20  * 3. All advertising materials mentioning features or use of this
21  *    software must display the following acknowledgment:
22  *    "This product includes software developed by the OpenSSL Project
23  *    for use in the OpenSSL Toolkit. (http://www.OpenSSL.org/)"
24  *
25  * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
26  *    endorse or promote products derived from this software without
27  *    prior written permission. For written permission, please contact
28  *    licensing@OpenSSL.org.
29  *
30  * 5. Products derived from this software may not be called "OpenSSL"
31  *    nor may "OpenSSL" appear in their names without prior written
32  *    permission of the OpenSSL Project.
33  *
34  * 6. Redistributions of any form whatsoever must retain the following
35  *    acknowledgment:
36  *    "This product includes software developed by the OpenSSL Project
37  *    for use in the OpenSSL Toolkit (http://www.OpenSSL.org/)"
38  *
39  * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
40  * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
41  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
42  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE OpenSSL PROJECT OR
43  * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
44  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
45  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
46  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
48  * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
49  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
50  * OF THE POSSIBILITY OF SUCH DAMAGE.
51  * ====================================================================
52  *
53  * This product includes cryptographic software written by Eric Young
54  * (eay@cryptsoft.com).  This product includes software written by Tim
55  * Hudson (tjh@cryptsoft.com).
56  *
57  */
58
59
60 #include <stddef.h>
61 #include <openssl/asn1.h>
62 #include <openssl/objects.h>
63 #include <openssl/err.h>
64 #include <openssl/asn1t.h>
65 #include <string.h>
66
67 static int asn1_item_ex_combine_new(ASN1_VALUE **pval, const ASN1_ITEM *it, int combine);
68 static void asn1_item_clear(ASN1_VALUE **pval, const ASN1_ITEM *it);
69 static void asn1_template_clear(ASN1_VALUE **pval, const ASN1_TEMPLATE *tt);
70 void asn1_primitive_clear(ASN1_VALUE **pval, const ASN1_ITEM *it);
71
72 ASN1_VALUE *ASN1_item_new(const ASN1_ITEM *it)
73 {
74         ASN1_VALUE *ret = NULL;
75         if(ASN1_item_ex_new(&ret, it) > 0) return ret;
76         return NULL;
77 }
78
79 /* Allocate an ASN1 structure */
80
81 int ASN1_item_ex_new(ASN1_VALUE **pval, const ASN1_ITEM *it)
82 {
83         return asn1_item_ex_combine_new(pval, it, 0);
84 }
85
86 static int asn1_item_ex_combine_new(ASN1_VALUE **pval, const ASN1_ITEM *it, int combine)
87 {
88         const ASN1_TEMPLATE *tt = NULL;
89         const ASN1_COMPAT_FUNCS *cf;
90         const ASN1_EXTERN_FUNCS *ef;
91         const ASN1_AUX *aux = it->funcs;
92         ASN1_aux_cb *asn1_cb;
93         ASN1_VALUE **pseqval;
94         int i;
95         if(aux && aux->asn1_cb) asn1_cb = aux->asn1_cb;
96         else asn1_cb = 0;
97
98         if(!combine) *pval = NULL;
99
100 #ifdef CRYPTO_MDEBUG
101         if(it->sname) CRYPTO_push_info(it->sname);
102 #endif
103
104         switch(it->itype) {
105
106                 case ASN1_ITYPE_EXTERN:
107                 ef = it->funcs;
108                 if(ef && ef->asn1_ex_new) {
109                         if(!ef->asn1_ex_new(pval, it))
110                                 goto memerr;
111                 }
112                 break;
113
114                 case ASN1_ITYPE_COMPAT:
115                 cf = it->funcs;
116                 if(cf && cf->asn1_new) {
117                         *pval = cf->asn1_new();
118                         if(!*pval) goto memerr;
119                 }
120                 break;
121
122                 case ASN1_ITYPE_PRIMITIVE:
123                 if(it->templates) {
124                         if(!ASN1_template_new(pval, it->templates))
125                                 goto memerr;
126                 } else {
127                         if(!ASN1_primitive_new(pval, it))
128                                 goto memerr;
129                 }
130                 break;
131
132                 case ASN1_ITYPE_MSTRING:
133                 if(!ASN1_primitive_new(pval, it))
134                                 goto memerr;
135                 break;
136
137                 case ASN1_ITYPE_CHOICE:
138                 if(asn1_cb) {
139                         i = asn1_cb(ASN1_OP_NEW_PRE, pval, it);
140                         if(!i) goto auxerr;
141                         if(i==2) {
142 #ifdef CRYPTO_MDEBUG
143                                 if(it->sname) CRYPTO_pop_info();
144 #endif
145                                 return 1;
146                         }
147                 }
148                 if(!combine) {
149                         *pval = OPENSSL_malloc(it->size);
150                         if(!*pval) goto memerr;
151                         memset(*pval, 0, it->size);
152                 }
153                 asn1_set_choice_selector(pval, -1, it);
154                 if(asn1_cb && !asn1_cb(ASN1_OP_NEW_POST, pval, it))
155                                 goto auxerr;
156                 break;
157
158                 case ASN1_ITYPE_NDEF_SEQUENCE:
159                 case ASN1_ITYPE_SEQUENCE:
160                 if(asn1_cb) {
161                         i = asn1_cb(ASN1_OP_NEW_PRE, pval, it);
162                         if(!i) goto auxerr;
163                         if(i==2) {
164 #ifdef CRYPTO_MDEBUG
165                                 if(it->sname) CRYPTO_pop_info();
166 #endif
167                                 return 1;
168                         }
169                 }
170                 if(!combine) {
171                         *pval = OPENSSL_malloc(it->size);
172                         if(!*pval) goto memerr;
173                         memset(*pval, 0, it->size);
174                         asn1_do_lock(pval, 0, it);
175                         asn1_enc_init(pval, it);
176                 }
177                 for(i = 0, tt = it->templates; i < it->tcount; tt++, i++) {
178                         pseqval = asn1_get_field_ptr(pval, tt);
179                         if(!ASN1_template_new(pseqval, tt)) goto memerr;
180                 }
181                 if(asn1_cb && !asn1_cb(ASN1_OP_NEW_POST, pval, it))
182                                 goto auxerr;
183                 break;
184         }
185 #ifdef CRYPTO_MDEBUG
186         if(it->sname) CRYPTO_pop_info();
187 #endif
188         return 1;
189
190         memerr:
191         ASN1err(ASN1_F_ASN1_ITEM_NEW, ERR_R_MALLOC_FAILURE);
192 #ifdef CRYPTO_MDEBUG
193         if(it->sname) CRYPTO_pop_info();
194 #endif
195         return 0;
196
197         auxerr:
198         ASN1err(ASN1_F_ASN1_ITEM_NEW, ASN1_R_AUX_ERROR);
199         ASN1_item_ex_free(pval, it);
200 #ifdef CRYPTO_MDEBUG
201         if(it->sname) CRYPTO_pop_info();
202 #endif
203         return 0;
204
205 }
206
207 static void asn1_item_clear(ASN1_VALUE **pval, const ASN1_ITEM *it)
208 {
209         const ASN1_EXTERN_FUNCS *ef;
210
211         switch(it->itype) {
212
213                 case ASN1_ITYPE_EXTERN:
214                 ef = it->funcs;
215                 if(ef && ef->asn1_ex_clear) 
216                         ef->asn1_ex_clear(pval, it);
217                 else *pval = NULL;
218                 break;
219
220
221                 case ASN1_ITYPE_PRIMITIVE:
222                 if(it->templates) 
223                         asn1_template_clear(pval, it->templates);
224                 else
225                         asn1_primitive_clear(pval, it);
226                 break;
227
228                 case ASN1_ITYPE_MSTRING:
229                 asn1_primitive_clear(pval, it);
230                 break;
231
232                 case ASN1_ITYPE_COMPAT:
233                 case ASN1_ITYPE_CHOICE:
234                 case ASN1_ITYPE_SEQUENCE:
235                 case ASN1_ITYPE_NDEF_SEQUENCE:
236                 *pval = NULL;
237                 break;
238         }
239 }
240
241
242 int ASN1_template_new(ASN1_VALUE **pval, const ASN1_TEMPLATE *tt)
243 {
244         const ASN1_ITEM *it = ASN1_ITEM_ptr(tt->item);
245         int ret;
246         if(tt->flags & ASN1_TFLG_OPTIONAL) {
247                 asn1_template_clear(pval, tt);
248                 return 1;
249         }
250         /* If ANY DEFINED BY nothing to do */
251
252         if(tt->flags & ASN1_TFLG_ADB_MASK) {
253                 *pval = NULL;
254                 return 1;
255         }
256 #ifdef CRYPTO_MDEBUG
257         if(tt->field_name) CRYPTO_push_info(tt->field_name);
258 #endif
259         /* If SET OF or SEQUENCE OF, its a STACK */
260         if(tt->flags & ASN1_TFLG_SK_MASK) {
261                 STACK_OF(ASN1_VALUE) *skval;
262                 skval = sk_ASN1_VALUE_new_null();
263                 if(!skval) {
264                         ASN1err(ASN1_F_ASN1_TEMPLATE_NEW, ERR_R_MALLOC_FAILURE);
265                         ret = 0;
266                         goto done;
267                 }
268                 *pval = (ASN1_VALUE *)skval;
269                 ret = 1;
270                 goto done;
271         }
272         /* Otherwise pass it back to the item routine */
273         ret = asn1_item_ex_combine_new(pval, it, tt->flags & ASN1_TFLG_COMBINE);
274         done:
275 #ifdef CRYPTO_MDEBUG
276         if(it->sname) CRYPTO_pop_info();
277 #endif
278         return ret;
279 }
280
281 static void asn1_template_clear(ASN1_VALUE **pval, const ASN1_TEMPLATE *tt)
282 {
283         /* If ADB or STACK just NULL the field */
284         if(tt->flags & (ASN1_TFLG_ADB_MASK|ASN1_TFLG_SK_MASK)) 
285                 *pval = NULL;
286         else
287                 asn1_item_clear(pval, ASN1_ITEM_ptr(tt->item));
288 }
289
290
291 /* NB: could probably combine most of the real XXX_new() behaviour and junk all the old
292  * functions.
293  */
294
295 int ASN1_primitive_new(ASN1_VALUE **pval, const ASN1_ITEM *it)
296 {
297         ASN1_TYPE *typ;
298         int utype;
299         const ASN1_PRIMITIVE_FUNCS *pf;
300         pf = it->funcs;
301         if(pf && pf->prim_new) return pf->prim_new(pval, it);
302         if(!it || (it->itype == ASN1_ITYPE_MSTRING)) utype = -1;
303         else utype = it->utype;
304         switch(utype) {
305                 case V_ASN1_OBJECT:
306                 *pval = (ASN1_VALUE *)OBJ_nid2obj(NID_undef);
307                 return 1;
308
309                 case V_ASN1_BOOLEAN:
310                 if (it)
311                         *(ASN1_BOOLEAN *)pval = it->size;
312                 else
313                         *(ASN1_BOOLEAN *)pval = -1;
314                 return 1;
315
316                 case V_ASN1_NULL:
317                 *pval = (ASN1_VALUE *)1;
318                 return 1;
319
320                 case V_ASN1_ANY:
321                 typ = OPENSSL_malloc(sizeof(ASN1_TYPE));
322                 if(!typ) return 0;
323                 typ->value.ptr = NULL;
324                 typ->type = -1;
325                 *pval = (ASN1_VALUE *)typ;
326                 break;
327
328                 default:
329                 *pval = (ASN1_VALUE *)ASN1_STRING_type_new(utype);
330                 break;
331         }
332         if(*pval) return 1;
333         return 0;
334 }
335
336 void asn1_primitive_clear(ASN1_VALUE **pval, const ASN1_ITEM *it)
337 {
338         int utype;
339         const ASN1_PRIMITIVE_FUNCS *pf;
340         pf = it->funcs;
341         if(pf) {
342                 if(pf->prim_clear)
343                         pf->prim_clear(pval, it);
344                 else 
345                         *pval = NULL;
346                 return;
347         }
348         if(!it || (it->itype == ASN1_ITYPE_MSTRING)) utype = -1;
349         else utype = it->utype;
350         if(utype == V_ASN1_BOOLEAN)
351                 *(ASN1_BOOLEAN *)pval = it->size;
352         else *pval = NULL;
353 }