crypto/libressl/crypto/asn1/asn1_par.c

   1 /* $OpenBSD: asn1_par.c,v 1.34 2022/02/12 03:07:24 jsing Exp $ */
   2 /* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
   3  * All rights reserved.
   4  *
   5  * This package is an SSL implementation written
   6  * by Eric Young (eay@cryptsoft.com).
   7  * The implementation was written so as to conform with Netscapes SSL.
   8  *
   9  * This library is free for commercial and non-commercial use as long as
  10  * the following conditions are aheared to.  The following conditions
  11  * apply to all code found in this distribution, be it the RC4, RSA,
  12  * lhash, DES, etc., code; not just the SSL code.  The SSL documentation
  13  * included with this distribution is covered by the same copyright terms
  14  * except that the holder is Tim Hudson (tjh@cryptsoft.com).
  15  *
  16  * Copyright remains Eric Young's, and as such any Copyright notices in
  17  * the code are not to be removed.
  18  * If this package is used in a product, Eric Young should be given attribution
  19  * as the author of the parts of the library used.
  20  * This can be in the form of a textual message at program startup or
  21  * in documentation (online or textual) provided with the package.
  22  *
  23  * Redistribution and use in source and binary forms, with or without
  24  * modification, are permitted provided that the following conditions
  25  * are met:
  26  * 1. Redistributions of source code must retain the copyright
  27  *    notice, this list of conditions and the following disclaimer.
  28  * 2. Redistributions in binary form must reproduce the above copyright
  29  *    notice, this list of conditions and the following disclaimer in the
  30  *    documentation and/or other materials provided with the distribution.
  31  * 3. All advertising materials mentioning features or use of this software
  32  *    must display the following acknowledgement:
  33  *    "This product includes cryptographic software written by
  34  *     Eric Young (eay@cryptsoft.com)"
  35  *    The word 'cryptographic' can be left out if the rouines from the library
  36  *    being used are not cryptographic related :-).
  37  * 4. If you include any Windows specific code (or a derivative thereof) from
  38  *    the apps directory (application code) you must include an acknowledgement:
  39  *    "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
  40  *
  41  * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
  42  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  43  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  44  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
  45  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  46  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  47  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  48  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  49  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  50  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  51  * SUCH DAMAGE.
  52  *
  53  * The licence and distribution terms for any publically available version or
  54  * derivative of this code cannot be changed.  i.e. this code cannot simply be
  55  * copied and put under another distribution licence
  56  * [including the GNU Public Licence.]
  57  */
  58
  59 #include <stdio.h>
  60
  61 #include <openssl/asn1.h>
  62 #include <openssl/buffer.h>
  63 #include <openssl/objects.h>
  64
  65 static int asn1_print_info(BIO *bp, int tag, int xclass, int constructed,
  66     int indent);
  67 static int asn1_parse2(BIO *bp, const unsigned char **pp, long length,
  68     int offset, int depth, int indent, int dump);
  69
  70 static int
  71 asn1_print_info(BIO *bp, int tag, int xclass, int constructed,
  72     int indent)
  73 {
  74         char str[128];
  75         const char *p;
  76
  77         if (constructed & V_ASN1_CONSTRUCTED)
  78                 p="cons: ";
  79         else
  80                 p="prim: ";
  81         if (BIO_write(bp, p, 6) < 6)
  82                 goto err;
  83         if (!BIO_indent(bp, indent, 128))
  84                 goto err;
  85
  86         p = str;
  87         if ((xclass & V_ASN1_PRIVATE) == V_ASN1_PRIVATE)
  88                 snprintf(str, sizeof str, "priv [ %d ] ", tag);
  89         else if ((xclass & V_ASN1_CONTEXT_SPECIFIC) == V_ASN1_CONTEXT_SPECIFIC)
  90                 snprintf(str, sizeof str, "cont [ %d ]", tag);
  91         else if ((xclass & V_ASN1_APPLICATION) == V_ASN1_APPLICATION)
  92                 snprintf(str, sizeof str, "appl [ %d ]", tag);
  93         else if (tag > 30)
  94                 snprintf(str, sizeof str, "<ASN1 %d>", tag);
  95         else
  96                 p = ASN1_tag2str(tag);
  97
  98         if (BIO_printf(bp, "%-18s", p) <= 0)
  99                 goto err;
 100         return (1);
 101  err:
 102         return (0);
 103 }
 104
 105 int
 106 ASN1_parse(BIO *bp, const unsigned char *pp, long len, int indent)
 107 {
 108         return (asn1_parse2(bp, &pp, len, 0, 0, indent, 0));
 109 }
 110
 111 int
 112 ASN1_parse_dump(BIO *bp, const unsigned char *pp, long len, int indent, int dump)
 113 {
 114         return (asn1_parse2(bp, &pp, len, 0, 0, indent, dump));
 115 }
 116
 117 static int
 118 asn1_parse2(BIO *bp, const unsigned char **pp, long length, int offset,
 119     int depth, int indent, int dump)
 120 {
 121         const unsigned char *p, *ep, *tot, *op, *opp;
 122         long len;
 123         int tag, xclass, ret = 0;
 124         int nl, hl, j, r;
 125         ASN1_OBJECT *o = NULL;
 126         ASN1_OCTET_STRING *os = NULL;
 127         ASN1_INTEGER *ai = NULL;
 128         ASN1_ENUMERATED *ae = NULL;
 129         /* ASN1_BMPSTRING *bmp=NULL;*/
 130         int dump_indent;
 131
 132         dump_indent = 6;        /* Because we know BIO_dump_indent() */
 133         p = *pp;
 134         tot = p + length;
 135         op = p - 1;
 136         if (depth > 128) {
 137                 BIO_printf(bp, "Max depth exceeded\n");
 138                 goto end;
 139         }
 140         while ((p < tot) && (op < p)) {
 141                 op = p;
 142                 j = ASN1_get_object(&p, &len, &tag, &xclass, length);
 143
 144                 if (j & 0x80) {
 145                         if (BIO_write(bp, "Error in encoding\n", 18) <= 0)
 146                                 goto end;
 147                         ret = 0;
 148                         goto end;
 149                 }
 150                 hl = (p - op);
 151                 length -= hl;
 152                 /* if j == 0x21 it is a constructed indefinite length object */
 153                 if (BIO_printf(bp, "%5ld:", (long)offset +
 154                     (long)(op - *pp)) <= 0)
 155                     goto end;
 156
 157                 if (j != (V_ASN1_CONSTRUCTED | 1)) {
 158                         if (BIO_printf(bp, "d=%-2d hl=%ld l=%4ld ",
 159                             depth, (long)hl, len) <= 0)
 160                                 goto end;
 161                 } else {
 162                         if (BIO_printf(bp, "d=%-2d hl=%ld l=inf  ",
 163                             depth, (long)hl) <= 0)
 164                                 goto end;
 165                 }
 166                 if (!asn1_print_info(bp, tag, xclass, j, (indent) ? depth : 0))
 167                         goto end;
 168                 if (j & V_ASN1_CONSTRUCTED) {
 169                         ep = p + len;
 170                         if (BIO_write(bp, "\n", 1) <= 0)
 171                                 goto end;
 172                         if (len > length) {
 173                                 BIO_printf(bp, "length is greater than %ld\n",
 174                                     length);
 175                                 ret = 0;
 176                                 goto end;
 177                         }
 178                         if ((j == 0x21) && (len == 0)) {
 179                                 for (;;) {
 180                                         r = asn1_parse2(bp, &p, (long)(tot - p),
 181                                             offset + (p - *pp), depth + 1,
 182                                             indent, dump);
 183                                         if (r == 0) {
 184                                                 ret = 0;
 185                                                 goto end;
 186                                         }
 187                                         if ((r == 2) || (p >= tot)) {
 188                                                 len = (long)(p - ep);
 189                                                 break;
 190                                         }
 191                                 }
 192                         } else {
 193                                 while (p < ep) {
 194                                         r = asn1_parse2(bp, &p, (long)(ep - p),
 195                                             offset + (p - *pp), depth + 1,
 196                                             indent, dump);
 197                                         if (r == 0) {
 198                                                 ret = 0;
 199                                                 goto end;
 200                                         }
 201                                 }
 202                         }
 203                 } else if (xclass != 0) {
 204                         p += len;
 205                         if (BIO_write(bp, "\n", 1) <= 0)
 206                                 goto end;
 207                 } else {
 208                         nl = 0;
 209                         if ((tag == V_ASN1_PRINTABLESTRING) ||
 210                             (tag == V_ASN1_T61STRING) ||
 211                             (tag == V_ASN1_IA5STRING) ||
 212                             (tag == V_ASN1_VISIBLESTRING) ||
 213                             (tag == V_ASN1_NUMERICSTRING) ||
 214                             (tag == V_ASN1_UTF8STRING) ||
 215                             (tag == V_ASN1_UTCTIME) ||
 216                             (tag == V_ASN1_GENERALIZEDTIME)) {
 217                                 if (BIO_write(bp, ":", 1) <= 0)
 218                                         goto end;
 219                                 if ((len > 0) &&
 220                                     BIO_write(bp, (const char *)p, (int)len) !=
 221                                     (int)len)
 222                                         goto end;
 223                         } else if (tag == V_ASN1_OBJECT) {
 224                                 opp = op;
 225                                 if (d2i_ASN1_OBJECT(&o, &opp, len + hl) !=
 226                                     NULL) {
 227                                         if (BIO_write(bp, ":", 1) <= 0)
 228                                                 goto end;
 229                                         i2a_ASN1_OBJECT(bp, o);
 230                                 } else {
 231                                         if (BIO_write(bp, ":BAD OBJECT",
 232                                             11) <= 0)
 233                                                 goto end;
 234                                 }
 235                         } else if (tag == V_ASN1_BOOLEAN) {
 236                                 if (len == 1 && p < tot) {
 237                                         BIO_printf(bp, ":%u", p[0]);
 238                                 } else {
 239                                         if (BIO_write(bp, "Bad boolean\n",
 240                                             12) <= 0)
 241                                                 goto end;
 242                                 }
 243                         } else if (tag == V_ASN1_BMPSTRING) {
 244                                 /* do the BMP thang */
 245                         } else if (tag == V_ASN1_OCTET_STRING) {
 246                                 int i, printable = 1;
 247
 248                                 opp = op;
 249                                 os = d2i_ASN1_OCTET_STRING(NULL, &opp, len + hl);
 250                                 if (os != NULL && os->length > 0) {
 251                                         opp = os->data;
 252                                         /* testing whether the octet string is
 253                                          * printable */
 254                                         for (i = 0; i < os->length; i++) {
 255                                                 if (((opp[i] < ' ') &&
 256                                                     (opp[i] != '\n') &&
 257                                                     (opp[i] != '\r') &&
 258                                                     (opp[i] != '\t')) ||
 259                                                     (opp[i] > '~')) {
 260                                                         printable = 0;
 261                                                         break;
 262                                                 }
 263                                         }
 264                                         if (printable) {
 265                                                 /* printable string */
 266                                                 if (BIO_write(bp, ":", 1) <= 0)
 267                                                         goto end;
 268                                                 if (BIO_write(bp, (const char *)opp,
 269                                                             os->length) <= 0)
 270                                                         goto end;
 271                                         } else if (!dump) {
 272                                                 /* not printable => print octet string
 273                                                  * as hex dump */
 274                                                 if (BIO_write(bp, "[HEX DUMP]:", 11) <= 0)
 275                                                         goto end;
 276                                                 for (i = 0; i < os->length; i++) {
 277                                                         if (BIO_printf(bp,
 278                                                             "%02X", opp[i]) <= 0)
 279                                                                 goto end;
 280                                                 }
 281                                         } else {
 282                                                 /* print the normal dump */
 283                                                 if (!nl) {
 284                                                         if (BIO_write(bp, "\n", 1) <= 0)
 285                                                                 goto end;
 286                                                 }
 287                                                 if (BIO_dump_indent(bp,
 288                                                     (const char *)opp,
 289                                                     ((dump == -1 || dump >
 290                                                     os->length) ? os->length : dump),
 291                                                     dump_indent) <= 0)
 292                                                         goto end;
 293                                                 nl = 1;
 294                                         }
 295                                 }
 296                                 ASN1_OCTET_STRING_free(os);
 297                                 os = NULL;
 298                         } else if (tag == V_ASN1_INTEGER) {
 299                                 int i;
 300
 301                                 opp = op;
 302                                 ai = d2i_ASN1_INTEGER(NULL, &opp, len + hl);
 303                                 if (ai != NULL) {
 304                                         if (BIO_write(bp, ":", 1) <= 0)
 305                                                 goto end;
 306                                         if (ai->type == V_ASN1_NEG_INTEGER)
 307                                                 if (BIO_write(bp, "-", 1) <= 0)
 308                                                         goto end;
 309                                         for (i = 0; i < ai->length; i++) {
 310                                                 if (BIO_printf(bp, "%02X",
 311                                                     ai->data[i]) <= 0)
 312                                                         goto end;
 313                                         }
 314                                         if (ai->length == 0) {
 315                                                 if (BIO_write(bp, "00", 2) <= 0)
 316                                                         goto end;
 317                                         }
 318                                 } else {
 319                                         if (BIO_write(bp, "BAD INTEGER", 11) <= 0)
 320                                                 goto end;
 321                                 }
 322                                 ASN1_INTEGER_free(ai);
 323                                 ai = NULL;
 324                         } else if (tag == V_ASN1_ENUMERATED) {
 325                                 int i;
 326
 327                                 opp = op;
 328                                 ae = d2i_ASN1_ENUMERATED(NULL, &opp, len + hl);
 329                                 if (ae != NULL) {
 330                                         if (BIO_write(bp, ":", 1) <= 0)
 331                                                 goto end;
 332                                         if (ae->type == V_ASN1_NEG_ENUMERATED)
 333                                                 if (BIO_write(bp, "-", 1) <= 0)
 334                                                         goto end;
 335                                         for (i = 0; i < ae->length; i++) {
 336                                                 if (BIO_printf(bp, "%02X",
 337                                                     ae->data[i]) <= 0)
 338                                                         goto end;
 339                                         }
 340                                         if (ae->length == 0) {
 341                                                 if (BIO_write(bp, "00", 2) <= 0)
 342                                                         goto end;
 343                                         }
 344                                 } else {
 345                                         if (BIO_write(bp, "BAD ENUMERATED", 14) <= 0)
 346                                                 goto end;
 347                                 }
 348                                 ASN1_ENUMERATED_free(ae);
 349                                 ae = NULL;
 350                         } else if (len > 0 && dump) {
 351                                 if (!nl) {
 352                                         if (BIO_write(bp, "\n", 1) <= 0)
 353                                                 goto end;
 354                                 }
 355                                 if (BIO_dump_indent(bp, (const char *)p,
 356                                     ((dump == -1 || dump > len) ? len : dump),
 357                                     dump_indent) <= 0)
 358                                         goto end;
 359                                 nl = 1;
 360                         }
 361
 362                         if (!nl) {
 363                                 if (BIO_write(bp, "\n", 1) <= 0)
 364                                         goto end;
 365                         }
 366                         p += len;
 367                         if ((tag == V_ASN1_EOC) && (xclass == 0)) {
 368                                 ret = 2; /* End of sequence */
 369                                 goto end;
 370                         }
 371                 }
 372                 length -= len;
 373         }
 374         ret = 1;
 375
 376  end:
 377         if (o != NULL)
 378                 ASN1_OBJECT_free(o);
 379         ASN1_OCTET_STRING_free(os);
 380         ASN1_INTEGER_free(ai);
 381         ASN1_ENUMERATED_free(ae);
 382         *pp = p;
 383         return (ret);
 384 }