crypto/asn1/asn1_par.c

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