xref: /dragonfly/crypto/libressl/crypto/asn1/asn1_par.c (revision 961e30ea7dc61d1112b778ea4981eac68129fb86)
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
asn1_print_info(BIO * bp,int tag,int xclass,int constructed,int indent)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
ASN1_parse(BIO * bp,const unsigned char * pp,long len,int indent)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
ASN1_parse_dump(BIO * bp,const unsigned char * pp,long len,int indent,int dump)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
asn1_parse2(BIO * bp,const unsigned char ** pp,long length,int offset,int depth,int indent,int dump)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 }
385