/src/openssl30/crypto/asn1/tasn_new.c
| Line | Count | Source (jump to first uncovered line) | 
| 1 |  | /* | 
| 2 |  |  * Copyright 2000-2021 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 <openssl/asn1.h> | 
| 12 |  | #include <openssl/objects.h> | 
| 13 |  | #include <openssl/err.h> | 
| 14 |  | #include <openssl/asn1t.h> | 
| 15 |  | #include <string.h> | 
| 16 |  | #include "asn1_local.h" | 
| 17 |  |  | 
| 18 |  | static int asn1_item_embed_new(ASN1_VALUE **pval, const ASN1_ITEM *it, | 
| 19 |  |                                int embed, OSSL_LIB_CTX *libctx, | 
| 20 |  |                                const char *propq); | 
| 21 |  | static int asn1_primitive_new(ASN1_VALUE **pval, const ASN1_ITEM *it, | 
| 22 |  |                               int embed); | 
| 23 |  | static void asn1_item_clear(ASN1_VALUE **pval, const ASN1_ITEM *it); | 
| 24 |  | static int asn1_template_new(ASN1_VALUE **pval, const ASN1_TEMPLATE *tt, | 
| 25 |  |                              OSSL_LIB_CTX *libctx, const char *propq); | 
| 26 |  | static void asn1_template_clear(ASN1_VALUE **pval, const ASN1_TEMPLATE *tt); | 
| 27 |  | static void asn1_primitive_clear(ASN1_VALUE **pval, const ASN1_ITEM *it); | 
| 28 |  |  | 
| 29 |  | ASN1_VALUE *ASN1_item_new(const ASN1_ITEM *it) | 
| 30 | 21.0M | { | 
| 31 | 21.0M |     ASN1_VALUE *ret = NULL; | 
| 32 | 21.0M |     if (ASN1_item_ex_new(&ret, it) > 0) | 
| 33 | 21.0M |         return ret; | 
| 34 | 0 |     return NULL; | 
| 35 | 21.0M | } | 
| 36 |  |  | 
| 37 |  | ASN1_VALUE *ASN1_item_new_ex(const ASN1_ITEM *it, OSSL_LIB_CTX *libctx, | 
| 38 |  |                              const char *propq) | 
| 39 | 21.8k | { | 
| 40 | 21.8k |     ASN1_VALUE *ret = NULL; | 
| 41 | 21.8k |     if (asn1_item_embed_new(&ret, it, 0, libctx, propq) > 0) | 
| 42 | 21.8k |         return ret; | 
| 43 | 0 |     return NULL; | 
| 44 | 21.8k | } | 
| 45 |  |  | 
| 46 |  | /* Allocate an ASN1 structure */ | 
| 47 |  |  | 
| 48 |  |  | 
| 49 |  | int ossl_asn1_item_ex_new_intern(ASN1_VALUE **pval, const ASN1_ITEM *it, | 
| 50 |  |                                  OSSL_LIB_CTX *libctx, const char *propq) | 
| 51 | 10.6M | { | 
| 52 | 10.6M |     return asn1_item_embed_new(pval, it, 0, libctx, propq); | 
| 53 | 10.6M | } | 
| 54 |  |  | 
| 55 |  | int ASN1_item_ex_new(ASN1_VALUE **pval, const ASN1_ITEM *it) | 
| 56 | 27.6M | { | 
| 57 | 27.6M |     return asn1_item_embed_new(pval, it, 0, NULL, NULL); | 
| 58 | 27.6M | } | 
| 59 |  |  | 
| 60 |  | int asn1_item_embed_new(ASN1_VALUE **pval, const ASN1_ITEM *it, int embed, | 
| 61 |  |                         OSSL_LIB_CTX *libctx, const char *propq) | 
| 62 | 24.4M | { | 
| 63 | 24.4M |     const ASN1_TEMPLATE *tt = NULL; | 
| 64 | 24.4M |     const ASN1_EXTERN_FUNCS *ef; | 
| 65 | 24.4M |     const ASN1_AUX *aux = it->funcs; | 
| 66 | 24.4M |     ASN1_aux_cb *asn1_cb; | 
| 67 | 24.4M |     ASN1_VALUE **pseqval; | 
| 68 | 24.4M |     int i; | 
| 69 | 24.4M |     if (aux && aux->asn1_cb) | 
| 70 | 1.25M |         asn1_cb = aux->asn1_cb; | 
| 71 | 23.1M |     else | 
| 72 | 23.1M |         asn1_cb = 0; | 
| 73 |  |  | 
| 74 | 24.4M |     switch (it->itype) { | 
| 75 |  |  | 
| 76 | 714k |     case ASN1_ITYPE_EXTERN: | 
| 77 | 714k |         ef = it->funcs; | 
| 78 | 714k |         if (ef != NULL) { | 
| 79 | 714k |             if (ef->asn1_ex_new_ex != NULL) { | 
| 80 | 215k |                 if (!ef->asn1_ex_new_ex(pval, it, libctx, propq)) | 
| 81 | 0 |                     goto memerr; | 
| 82 | 499k |             } else if (ef->asn1_ex_new != NULL) { | 
| 83 | 499k |                 if (!ef->asn1_ex_new(pval, it)) | 
| 84 | 0 |                     goto memerr; | 
| 85 | 499k |             } | 
| 86 | 714k |         } | 
| 87 | 714k |         break; | 
| 88 |  |  | 
| 89 | 10.6M |     case ASN1_ITYPE_PRIMITIVE: | 
| 90 | 10.6M |         if (it->templates) { | 
| 91 | 18.1k |             if (!asn1_template_new(pval, it->templates, libctx, propq)) | 
| 92 | 0 |                 goto memerr; | 
| 93 | 10.5M |         } else if (!asn1_primitive_new(pval, it, embed)) | 
| 94 | 0 |             goto memerr; | 
| 95 | 10.6M |         break; | 
| 96 |  |  | 
| 97 | 10.6M |     case ASN1_ITYPE_MSTRING: | 
| 98 | 3.94M |         if (!asn1_primitive_new(pval, it, embed)) | 
| 99 | 0 |             goto memerr; | 
| 100 | 3.94M |         break; | 
| 101 |  |  | 
| 102 | 3.94M |     case ASN1_ITYPE_CHOICE: | 
| 103 | 773k |         if (asn1_cb) { | 
| 104 | 67.3k |             i = asn1_cb(ASN1_OP_NEW_PRE, pval, it, NULL); | 
| 105 | 67.3k |             if (!i) | 
| 106 | 0 |                 goto auxerr; | 
| 107 | 67.3k |             if (i == 2) { | 
| 108 | 0 |                 return 1; | 
| 109 | 0 |             } | 
| 110 | 67.3k |         } | 
| 111 | 773k |         if (embed) { | 
| 112 | 19.7k |             memset(*pval, 0, it->size); | 
| 113 | 753k |         } else { | 
| 114 | 753k |             *pval = OPENSSL_zalloc(it->size); | 
| 115 | 753k |             if (*pval == NULL) | 
| 116 | 0 |                 goto memerr; | 
| 117 | 753k |         } | 
| 118 | 773k |         ossl_asn1_set_choice_selector(pval, -1, it); | 
| 119 | 773k |         if (asn1_cb && !asn1_cb(ASN1_OP_NEW_POST, pval, it, NULL)) | 
| 120 | 0 |             goto auxerr2; | 
| 121 | 773k |         break; | 
| 122 |  |  | 
| 123 | 773k |     case ASN1_ITYPE_NDEF_SEQUENCE: | 
| 124 | 8.39M |     case ASN1_ITYPE_SEQUENCE: | 
| 125 | 8.39M |         if (asn1_cb) { | 
| 126 | 903k |             i = asn1_cb(ASN1_OP_NEW_PRE, pval, it, NULL); | 
| 127 | 903k |             if (!i) | 
| 128 | 0 |                 goto auxerr; | 
| 129 | 903k |             if (i == 2) { | 
| 130 | 205k |                 return 1; | 
| 131 | 205k |             } | 
| 132 | 903k |         } | 
| 133 | 8.19M |         if (embed) { | 
| 134 | 958k |             memset(*pval, 0, it->size); | 
| 135 | 7.23M |         } else { | 
| 136 | 7.23M |             *pval = OPENSSL_zalloc(it->size); | 
| 137 | 7.23M |             if (*pval == NULL) | 
| 138 | 0 |                 goto memerr; | 
| 139 | 7.23M |         } | 
| 140 |  |         /* 0 : init. lock */ | 
| 141 | 8.19M |         if (ossl_asn1_do_lock(pval, 0, it) < 0) { | 
| 142 | 0 |             if (!embed) { | 
| 143 | 0 |                 OPENSSL_free(*pval); | 
| 144 | 0 |                 *pval = NULL; | 
| 145 | 0 |             } | 
| 146 | 0 |             goto memerr; | 
| 147 | 0 |         } | 
| 148 | 8.19M |         ossl_asn1_enc_init(pval, it); | 
| 149 | 30.3M |         for (i = 0, tt = it->templates; i < it->tcount; tt++, i++) { | 
| 150 | 22.1M |             pseqval = ossl_asn1_get_field_ptr(pval, tt); | 
| 151 | 22.1M |             if (!asn1_template_new(pseqval, tt, libctx, propq)) | 
| 152 | 0 |                 goto memerr2; | 
| 153 | 22.1M |         } | 
| 154 | 8.19M |         if (asn1_cb && !asn1_cb(ASN1_OP_NEW_POST, pval, it, NULL)) | 
| 155 | 0 |             goto auxerr2; | 
| 156 | 8.19M |         break; | 
| 157 | 24.4M |     } | 
| 158 | 24.2M |     return 1; | 
| 159 |  |  | 
| 160 | 0 |  memerr2: | 
| 161 | 0 |     ossl_asn1_item_embed_free(pval, it, embed); | 
| 162 | 0 |  memerr: | 
| 163 | 0 |     ERR_raise(ERR_LIB_ASN1, ERR_R_MALLOC_FAILURE); | 
| 164 | 0 |     return 0; | 
| 165 |  |  | 
| 166 | 0 |  auxerr2: | 
| 167 | 0 |     ossl_asn1_item_embed_free(pval, it, embed); | 
| 168 | 0 |  auxerr: | 
| 169 | 0 |     ERR_raise(ERR_LIB_ASN1, ASN1_R_AUX_ERROR); | 
| 170 | 0 |     return 0; | 
| 171 |  | 
 | 
| 172 | 0 | } | 
| 173 |  |  | 
| 174 |  | static void asn1_item_clear(ASN1_VALUE **pval, const ASN1_ITEM *it) | 
| 175 | 14.0M | { | 
| 176 | 14.0M |     const ASN1_EXTERN_FUNCS *ef; | 
| 177 |  |  | 
| 178 | 14.0M |     switch (it->itype) { | 
| 179 |  |  | 
| 180 | 434k |     case ASN1_ITYPE_EXTERN: | 
| 181 | 434k |         ef = it->funcs; | 
| 182 | 434k |         if (ef && ef->asn1_ex_clear) | 
| 183 | 0 |             ef->asn1_ex_clear(pval, it); | 
| 184 | 434k |         else | 
| 185 | 434k |             *pval = NULL; | 
| 186 | 434k |         break; | 
| 187 |  |  | 
| 188 | 11.7M |     case ASN1_ITYPE_PRIMITIVE: | 
| 189 | 11.7M |         if (it->templates) | 
| 190 | 142k |             asn1_template_clear(pval, it->templates); | 
| 191 | 11.5M |         else | 
| 192 | 11.5M |             asn1_primitive_clear(pval, it); | 
| 193 | 11.7M |         break; | 
| 194 |  |  | 
| 195 | 283k |     case ASN1_ITYPE_MSTRING: | 
| 196 | 283k |         asn1_primitive_clear(pval, it); | 
| 197 | 283k |         break; | 
| 198 |  |  | 
| 199 | 622k |     case ASN1_ITYPE_CHOICE: | 
| 200 | 1.56M |     case ASN1_ITYPE_SEQUENCE: | 
| 201 | 1.59M |     case ASN1_ITYPE_NDEF_SEQUENCE: | 
| 202 | 1.59M |         *pval = NULL; | 
| 203 | 1.59M |         break; | 
| 204 | 14.0M |     } | 
| 205 | 14.0M | } | 
| 206 |  |  | 
| 207 |  | static int asn1_template_new(ASN1_VALUE **pval, const ASN1_TEMPLATE *tt, | 
| 208 |  |                              OSSL_LIB_CTX *libctx, const char *propq) | 
| 209 | 74.3M | { | 
| 210 | 74.3M |     const ASN1_ITEM *it = ASN1_ITEM_ptr(tt->item); | 
| 211 | 74.3M |     int embed = tt->flags & ASN1_TFLG_EMBED; | 
| 212 | 74.3M |     ASN1_VALUE *tval; | 
| 213 | 74.3M |     int ret; | 
| 214 | 74.3M |     if (embed) { | 
| 215 | 5.89M |         tval = (ASN1_VALUE *)pval; | 
| 216 | 5.89M |         pval = &tval; | 
| 217 | 5.89M |     } | 
| 218 | 74.3M |     if (tt->flags & ASN1_TFLG_OPTIONAL) { | 
| 219 | 17.0M |         asn1_template_clear(pval, tt); | 
| 220 | 17.0M |         return 1; | 
| 221 | 17.0M |     } | 
| 222 |  |     /* If ANY DEFINED BY nothing to do */ | 
| 223 |  |  | 
| 224 | 57.3M |     if (tt->flags & ASN1_TFLG_ADB_MASK) { | 
| 225 | 537k |         *pval = NULL; | 
| 226 | 537k |         return 1; | 
| 227 | 537k |     } | 
| 228 |  |     /* If SET OF or SEQUENCE OF, its a STACK */ | 
| 229 | 56.7M |     if (tt->flags & ASN1_TFLG_SK_MASK) { | 
| 230 | 635k |         STACK_OF(ASN1_VALUE) *skval; | 
| 231 | 635k |         skval = sk_ASN1_VALUE_new_null(); | 
| 232 | 635k |         if (!skval) { | 
| 233 | 0 |             ERR_raise(ERR_LIB_ASN1, ERR_R_MALLOC_FAILURE); | 
| 234 | 0 |             ret = 0; | 
| 235 | 0 |             goto done; | 
| 236 | 0 |         } | 
| 237 | 635k |         *pval = (ASN1_VALUE *)skval; | 
| 238 | 635k |         ret = 1; | 
| 239 | 635k |         goto done; | 
| 240 | 635k |     } | 
| 241 |  |     /* Otherwise pass it back to the item routine */ | 
| 242 | 56.1M |     ret = asn1_item_embed_new(pval, it, embed, libctx, propq); | 
| 243 | 56.7M |  done: | 
| 244 | 56.7M |     return ret; | 
| 245 | 56.1M | } | 
| 246 |  |  | 
| 247 |  | static void asn1_template_clear(ASN1_VALUE **pval, const ASN1_TEMPLATE *tt) | 
| 248 | 17.2M | { | 
| 249 |  |     /* If ADB or STACK just NULL the field */ | 
| 250 | 17.2M |     if (tt->flags & (ASN1_TFLG_ADB_MASK | ASN1_TFLG_SK_MASK)) | 
| 251 | 3.17M |         *pval = NULL; | 
| 252 | 14.0M |     else | 
| 253 | 14.0M |         asn1_item_clear(pval, ASN1_ITEM_ptr(tt->item)); | 
| 254 | 17.2M | } | 
| 255 |  |  | 
| 256 |  | /* | 
| 257 |  |  * NB: could probably combine most of the real XXX_new() behaviour and junk | 
| 258 |  |  * all the old functions. | 
| 259 |  |  */ | 
| 260 |  |  | 
| 261 |  | static int asn1_primitive_new(ASN1_VALUE **pval, const ASN1_ITEM *it, | 
| 262 |  |                               int embed) | 
| 263 | 59.2M | { | 
| 264 | 59.2M |     ASN1_TYPE *typ; | 
| 265 | 59.2M |     ASN1_STRING *str; | 
| 266 | 59.2M |     int utype; | 
| 267 |  |  | 
| 268 | 59.2M |     if (!it) | 
| 269 | 0 |         return 0; | 
| 270 |  |  | 
| 271 | 59.2M |     if (it->funcs) { | 
| 272 | 943k |         const ASN1_PRIMITIVE_FUNCS *pf = it->funcs; | 
| 273 | 943k |         if (embed) { | 
| 274 | 405k |             if (pf->prim_clear) { | 
| 275 | 405k |                 pf->prim_clear(pval, it); | 
| 276 | 405k |                 return 1; | 
| 277 | 405k |             } | 
| 278 | 537k |         } else if (pf->prim_new) { | 
| 279 | 537k |             return pf->prim_new(pval, it); | 
| 280 | 537k |         } | 
| 281 | 943k |     } | 
| 282 |  |  | 
| 283 | 58.3M |     if (it->itype == ASN1_ITYPE_MSTRING) | 
| 284 | 18.3M |         utype = -1; | 
| 285 | 39.9M |     else | 
| 286 | 39.9M |         utype = it->utype; | 
| 287 | 58.3M |     switch (utype) { | 
| 288 | 23.2M |     case V_ASN1_OBJECT: | 
| 289 | 23.2M |         *pval = (ASN1_VALUE *)OBJ_nid2obj(NID_undef); | 
| 290 | 23.2M |         return 1; | 
| 291 |  |  | 
| 292 | 0 |     case V_ASN1_BOOLEAN: | 
| 293 | 0 |         *(ASN1_BOOLEAN *)pval = it->size; | 
| 294 | 0 |         return 1; | 
| 295 |  |  | 
| 296 | 0 |     case V_ASN1_NULL: | 
| 297 | 0 |         *pval = (ASN1_VALUE *)1; | 
| 298 | 0 |         return 1; | 
| 299 |  |  | 
| 300 | 10.3M |     case V_ASN1_ANY: | 
| 301 | 10.3M |         if ((typ = OPENSSL_malloc(sizeof(*typ))) == NULL) { | 
| 302 | 0 |             ERR_raise(ERR_LIB_ASN1, ERR_R_MALLOC_FAILURE); | 
| 303 | 0 |             return 0; | 
| 304 | 0 |         } | 
| 305 | 10.3M |         typ->value.ptr = NULL; | 
| 306 | 10.3M |         typ->type = -1; | 
| 307 | 10.3M |         *pval = (ASN1_VALUE *)typ; | 
| 308 | 10.3M |         break; | 
| 309 |  |  | 
| 310 | 24.7M |     default: | 
| 311 | 24.7M |         if (embed) { | 
| 312 | 2.60M |             str = *(ASN1_STRING **)pval; | 
| 313 | 2.60M |             memset(str, 0, sizeof(*str)); | 
| 314 | 2.60M |             str->type = utype; | 
| 315 | 2.60M |             str->flags = ASN1_STRING_FLAG_EMBED; | 
| 316 | 22.1M |         } else { | 
| 317 | 22.1M |             str = ASN1_STRING_type_new(utype); | 
| 318 | 22.1M |             *pval = (ASN1_VALUE *)str; | 
| 319 | 22.1M |         } | 
| 320 | 24.7M |         if (it->itype == ASN1_ITYPE_MSTRING && str) | 
| 321 | 18.3M |             str->flags |= ASN1_STRING_FLAG_MSTRING; | 
| 322 | 24.7M |         break; | 
| 323 | 58.3M |     } | 
| 324 | 35.0M |     if (*pval) | 
| 325 | 35.0M |         return 1; | 
| 326 | 0 |     return 0; | 
| 327 | 35.0M | } | 
| 328 |  |  | 
| 329 |  | static void asn1_primitive_clear(ASN1_VALUE **pval, const ASN1_ITEM *it) | 
| 330 | 11.8M | { | 
| 331 | 11.8M |     int utype; | 
| 332 | 11.8M |     if (it && it->funcs) { | 
| 333 | 314k |         const ASN1_PRIMITIVE_FUNCS *pf = it->funcs; | 
| 334 | 314k |         if (pf->prim_clear) | 
| 335 | 254k |             pf->prim_clear(pval, it); | 
| 336 | 59.7k |         else | 
| 337 | 59.7k |             *pval = NULL; | 
| 338 | 314k |         return; | 
| 339 | 314k |     } | 
| 340 | 11.5M |     if (!it || (it->itype == ASN1_ITYPE_MSTRING)) | 
| 341 | 283k |         utype = -1; | 
| 342 | 11.2M |     else | 
| 343 | 11.2M |         utype = it->utype; | 
| 344 | 11.5M |     if (utype == V_ASN1_BOOLEAN) | 
| 345 | 2.16M |         *(ASN1_BOOLEAN *)pval = it->size; | 
| 346 | 9.39M |     else | 
| 347 | 9.39M |         *pval = NULL; | 
| 348 | 11.5M | } |