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                 *(ASN1_BOOLEAN *)pval = it->size;
 311                 return 1;
 312
 313                 case V_ASN1_NULL:
 314                 *pval = (ASN1_VALUE *)1;
 315                 return 1;
 316
 317                 case V_ASN1_ANY:
 318                 typ = OPENSSL_malloc(sizeof(ASN1_TYPE));
 319                 if(!typ) return 0;
 320                 typ->value.ptr = NULL;
 321                 typ->type = -1;
 322                 *pval = (ASN1_VALUE *)typ;
 323                 break;
 324
 325                 default:
 326                 *pval = (ASN1_VALUE *)ASN1_STRING_type_new(utype);
 327                 break;
 328         }
 329         if(*pval) return 1;
 330         return 0;
 331 }
 332
 333 void asn1_primitive_clear(ASN1_VALUE **pval, const ASN1_ITEM *it)
 334 {
 335         int utype;
 336         const ASN1_PRIMITIVE_FUNCS *pf;
 337         pf = it->funcs;
 338         if(pf) {
 339                 if(pf->prim_clear)
 340                         pf->prim_clear(pval, it);
 341                 else
 342                         *pval = NULL;
 343                 return;
 344         }
 345         if(!it || (it->itype == ASN1_ITYPE_MSTRING)) utype = -1;
 346         else utype = it->utype;
 347         if(utype == V_ASN1_BOOLEAN)
 348                 *(ASN1_BOOLEAN *)pval = it->size;
 349         else *pval = NULL;
 350 }