More complete input validation of X509_check_mumble
[openssl.git] / crypto / x509v3 / v3_utl.c
1 /* v3_utl.c */
2 /* Written by Dr Stephen N Henson (steve@openssl.org) for the OpenSSL
3  * project.
4  */
5 /* ====================================================================
6  * Copyright (c) 1999-2003 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 /* X509 v3 extension utilities */
59
60
61 #include <stdio.h>
62 #include <ctype.h>
63 #include "cryptlib.h"
64 #include <openssl/conf.h>
65 #include <openssl/x509v3.h>
66 #include <openssl/bn.h>
67
68 static char *strip_spaces(char *name);
69 static int sk_strcmp(const char * const *a, const char * const *b);
70 static STACK_OF(OPENSSL_STRING) *get_email(X509_NAME *name, GENERAL_NAMES *gens);
71 static void str_free(OPENSSL_STRING str);
72 static int append_ia5(STACK_OF(OPENSSL_STRING) **sk, ASN1_IA5STRING *email);
73
74 static int ipv4_from_asc(unsigned char *v4, const char *in);
75 static int ipv6_from_asc(unsigned char *v6, const char *in);
76 static int ipv6_cb(const char *elem, int len, void *usr);
77 static int ipv6_hex(unsigned char *out, const char *in, int inlen);
78
79 /* Add a CONF_VALUE name value pair to stack */
80
81 int X509V3_add_value(const char *name, const char *value,
82                                                 STACK_OF(CONF_VALUE) **extlist)
83 {
84         CONF_VALUE *vtmp = NULL;
85         char *tname = NULL, *tvalue = NULL;
86         if(name && !(tname = BUF_strdup(name))) goto err;
87         if(value && !(tvalue = BUF_strdup(value))) goto err;
88         if(!(vtmp = (CONF_VALUE *)OPENSSL_malloc(sizeof(CONF_VALUE)))) goto err;
89         if(!*extlist && !(*extlist = sk_CONF_VALUE_new_null())) goto err;
90         vtmp->section = NULL;
91         vtmp->name = tname;
92         vtmp->value = tvalue;
93         if(!sk_CONF_VALUE_push(*extlist, vtmp)) goto err;
94         return 1;
95         err:
96         X509V3err(X509V3_F_X509V3_ADD_VALUE,ERR_R_MALLOC_FAILURE);
97         if(vtmp) OPENSSL_free(vtmp);
98         if(tname) OPENSSL_free(tname);
99         if(tvalue) OPENSSL_free(tvalue);
100         return 0;
101 }
102
103 int X509V3_add_value_uchar(const char *name, const unsigned char *value,
104                            STACK_OF(CONF_VALUE) **extlist)
105     {
106     return X509V3_add_value(name,(const char *)value,extlist);
107     }
108
109 /* Free function for STACK_OF(CONF_VALUE) */
110
111 void X509V3_conf_free(CONF_VALUE *conf)
112 {
113         if(!conf) return;
114         if(conf->name) OPENSSL_free(conf->name);
115         if(conf->value) OPENSSL_free(conf->value);
116         if(conf->section) OPENSSL_free(conf->section);
117         OPENSSL_free(conf);
118 }
119
120 int X509V3_add_value_bool(const char *name, int asn1_bool,
121                                                 STACK_OF(CONF_VALUE) **extlist)
122 {
123         if(asn1_bool) return X509V3_add_value(name, "TRUE", extlist);
124         return X509V3_add_value(name, "FALSE", extlist);
125 }
126
127 int X509V3_add_value_bool_nf(char *name, int asn1_bool,
128                                                 STACK_OF(CONF_VALUE) **extlist)
129 {
130         if(asn1_bool) return X509V3_add_value(name, "TRUE", extlist);
131         return 1;
132 }
133
134
135 char *i2s_ASN1_ENUMERATED(X509V3_EXT_METHOD *method, ASN1_ENUMERATED *a)
136 {
137         BIGNUM *bntmp = NULL;
138         char *strtmp = NULL;
139         if(!a) return NULL;
140         if(!(bntmp = ASN1_ENUMERATED_to_BN(a, NULL)) ||
141             !(strtmp = BN_bn2dec(bntmp)) )
142                 X509V3err(X509V3_F_I2S_ASN1_ENUMERATED,ERR_R_MALLOC_FAILURE);
143         BN_free(bntmp);
144         return strtmp;
145 }
146
147 char *i2s_ASN1_INTEGER(X509V3_EXT_METHOD *method, ASN1_INTEGER *a)
148 {
149         BIGNUM *bntmp = NULL;
150         char *strtmp = NULL;
151         if(!a) return NULL;
152         if(!(bntmp = ASN1_INTEGER_to_BN(a, NULL)) ||
153             !(strtmp = BN_bn2dec(bntmp)) )
154                 X509V3err(X509V3_F_I2S_ASN1_INTEGER,ERR_R_MALLOC_FAILURE);
155         BN_free(bntmp);
156         return strtmp;
157 }
158
159 ASN1_INTEGER *s2i_ASN1_INTEGER(X509V3_EXT_METHOD *method, char *value)
160 {
161         BIGNUM *bn = NULL;
162         ASN1_INTEGER *aint;
163         int isneg, ishex;
164         int ret;
165         if (!value) {
166                 X509V3err(X509V3_F_S2I_ASN1_INTEGER,X509V3_R_INVALID_NULL_VALUE);
167                 return 0;
168         }
169         bn = BN_new();
170         if (value[0] == '-') {
171                 value++;
172                 isneg = 1;
173         } else isneg = 0;
174
175         if (value[0] == '0' && ((value[1] == 'x') || (value[1] == 'X'))) {
176                 value += 2;
177                 ishex = 1;
178         } else ishex = 0;
179
180         if (ishex) ret = BN_hex2bn(&bn, value);
181         else ret = BN_dec2bn(&bn, value);
182
183         if (!ret || value[ret]) {
184                 BN_free(bn);
185                 X509V3err(X509V3_F_S2I_ASN1_INTEGER,X509V3_R_BN_DEC2BN_ERROR);
186                 return 0;
187         }
188
189         if (isneg && BN_is_zero(bn)) isneg = 0;
190
191         aint = BN_to_ASN1_INTEGER(bn, NULL);
192         BN_free(bn);
193         if (!aint) {
194                 X509V3err(X509V3_F_S2I_ASN1_INTEGER,X509V3_R_BN_TO_ASN1_INTEGER_ERROR);
195                 return 0;
196         }
197         if (isneg) aint->type |= V_ASN1_NEG;
198         return aint;
199 }
200
201 int X509V3_add_value_int(const char *name, ASN1_INTEGER *aint,
202              STACK_OF(CONF_VALUE) **extlist)
203 {
204         char *strtmp;
205         int ret;
206         if(!aint) return 1;
207         if(!(strtmp = i2s_ASN1_INTEGER(NULL, aint))) return 0;
208         ret = X509V3_add_value(name, strtmp, extlist);
209         OPENSSL_free(strtmp);
210         return ret;
211 }
212
213 int X509V3_get_value_bool(CONF_VALUE *value, int *asn1_bool)
214 {
215         char *btmp;
216         if(!(btmp = value->value)) goto err;
217         if(!strcmp(btmp, "TRUE") || !strcmp(btmp, "true")
218                  || !strcmp(btmp, "Y") || !strcmp(btmp, "y")
219                 || !strcmp(btmp, "YES") || !strcmp(btmp, "yes")) {
220                 *asn1_bool = 0xff;
221                 return 1;
222         } else if(!strcmp(btmp, "FALSE") || !strcmp(btmp, "false")
223                  || !strcmp(btmp, "N") || !strcmp(btmp, "n")
224                 || !strcmp(btmp, "NO") || !strcmp(btmp, "no")) {
225                 *asn1_bool = 0;
226                 return 1;
227         }
228         err:
229         X509V3err(X509V3_F_X509V3_GET_VALUE_BOOL,X509V3_R_INVALID_BOOLEAN_STRING);
230         X509V3_conf_err(value);
231         return 0;
232 }
233
234 int X509V3_get_value_int(CONF_VALUE *value, ASN1_INTEGER **aint)
235 {
236         ASN1_INTEGER *itmp;
237         if(!(itmp = s2i_ASN1_INTEGER(NULL, value->value))) {
238                 X509V3_conf_err(value);
239                 return 0;
240         }
241         *aint = itmp;
242         return 1;
243 }
244
245 #define HDR_NAME        1
246 #define HDR_VALUE       2
247
248 /*#define DEBUG*/
249
250 STACK_OF(CONF_VALUE) *X509V3_parse_list(const char *line)
251 {
252         char *p, *q, c;
253         char *ntmp, *vtmp;
254         STACK_OF(CONF_VALUE) *values = NULL;
255         char *linebuf;
256         int state;
257         /* We are going to modify the line so copy it first */
258         linebuf = BUF_strdup(line);
259         state = HDR_NAME;
260         ntmp = NULL;
261         /* Go through all characters */
262         for(p = linebuf, q = linebuf; (c = *p) && (c!='\r') && (c!='\n'); p++) {
263
264                 switch(state) {
265                         case HDR_NAME:
266                         if(c == ':') {
267                                 state = HDR_VALUE;
268                                 *p = 0;
269                                 ntmp = strip_spaces(q);
270                                 if(!ntmp) {
271                                         X509V3err(X509V3_F_X509V3_PARSE_LIST, X509V3_R_INVALID_NULL_NAME);
272                                         goto err;
273                                 }
274                                 q = p + 1;
275                         } else if(c == ',') {
276                                 *p = 0;
277                                 ntmp = strip_spaces(q);
278                                 q = p + 1;
279 #if 0
280                                 printf("%s\n", ntmp);
281 #endif
282                                 if(!ntmp) {
283                                         X509V3err(X509V3_F_X509V3_PARSE_LIST, X509V3_R_INVALID_NULL_NAME);
284                                         goto err;
285                                 }
286                                 X509V3_add_value(ntmp, NULL, &values);
287                         }
288                         break ;
289
290                         case HDR_VALUE:
291                         if(c == ',') {
292                                 state = HDR_NAME;
293                                 *p = 0;
294                                 vtmp = strip_spaces(q);
295 #if 0
296                                 printf("%s\n", ntmp);
297 #endif
298                                 if(!vtmp) {
299                                         X509V3err(X509V3_F_X509V3_PARSE_LIST, X509V3_R_INVALID_NULL_VALUE);
300                                         goto err;
301                                 }
302                                 X509V3_add_value(ntmp, vtmp, &values);
303                                 ntmp = NULL;
304                                 q = p + 1;
305                         }
306
307                 }
308         }
309
310         if(state == HDR_VALUE) {
311                 vtmp = strip_spaces(q);
312 #if 0
313                 printf("%s=%s\n", ntmp, vtmp);
314 #endif
315                 if(!vtmp) {
316                         X509V3err(X509V3_F_X509V3_PARSE_LIST, X509V3_R_INVALID_NULL_VALUE);
317                         goto err;
318                 }
319                 X509V3_add_value(ntmp, vtmp, &values);
320         } else {
321                 ntmp = strip_spaces(q);
322 #if 0
323                 printf("%s\n", ntmp);
324 #endif
325                 if(!ntmp) {
326                         X509V3err(X509V3_F_X509V3_PARSE_LIST, X509V3_R_INVALID_NULL_NAME);
327                         goto err;
328                 }
329                 X509V3_add_value(ntmp, NULL, &values);
330         }
331 OPENSSL_free(linebuf);
332 return values;
333
334 err:
335 OPENSSL_free(linebuf);
336 sk_CONF_VALUE_pop_free(values, X509V3_conf_free);
337 return NULL;
338
339 }
340
341 /* Delete leading and trailing spaces from a string */
342 static char *strip_spaces(char *name)
343 {
344         char *p, *q;
345         /* Skip over leading spaces */
346         p = name;
347         while(*p && isspace((unsigned char)*p)) p++;
348         if(!*p) return NULL;
349         q = p + strlen(p) - 1;
350         while((q != p) && isspace((unsigned char)*q)) q--;
351         if(p != q) q[1] = 0;
352         if(!*p) return NULL;
353         return p;
354 }
355
356 /* hex string utilities */
357
358 /* Given a buffer of length 'len' return a OPENSSL_malloc'ed string with its
359  * hex representation
360  * @@@ (Contents of buffer are always kept in ASCII, also on EBCDIC machines)
361  */
362
363 char *hex_to_string(const unsigned char *buffer, long len)
364 {
365         char *tmp, *q;
366         const unsigned char *p;
367         int i;
368         const static char hexdig[] = "0123456789ABCDEF";
369         if(!buffer || !len) return NULL;
370         if(!(tmp = OPENSSL_malloc(len * 3 + 1))) {
371                 X509V3err(X509V3_F_HEX_TO_STRING,ERR_R_MALLOC_FAILURE);
372                 return NULL;
373         }
374         q = tmp;
375         for(i = 0, p = buffer; i < len; i++,p++) {
376                 *q++ = hexdig[(*p >> 4) & 0xf];
377                 *q++ = hexdig[*p & 0xf];
378                 *q++ = ':';
379         }
380         q[-1] = 0;
381 #ifdef CHARSET_EBCDIC
382         ebcdic2ascii(tmp, tmp, q - tmp - 1);
383 #endif
384
385         return tmp;
386 }
387
388 /* Give a string of hex digits convert to
389  * a buffer
390  */
391
392 unsigned char *string_to_hex(const char *str, long *len)
393 {
394         unsigned char *hexbuf, *q;
395         unsigned char ch, cl, *p;
396         if(!str) {
397                 X509V3err(X509V3_F_STRING_TO_HEX,X509V3_R_INVALID_NULL_ARGUMENT);
398                 return NULL;
399         }
400         if(!(hexbuf = OPENSSL_malloc(strlen(str) >> 1))) goto err;
401         for(p = (unsigned char *)str, q = hexbuf; *p;) {
402                 ch = *p++;
403 #ifdef CHARSET_EBCDIC
404                 ch = os_toebcdic[ch];
405 #endif
406                 if(ch == ':') continue;
407                 cl = *p++;
408 #ifdef CHARSET_EBCDIC
409                 cl = os_toebcdic[cl];
410 #endif
411                 if(!cl) {
412                         X509V3err(X509V3_F_STRING_TO_HEX,X509V3_R_ODD_NUMBER_OF_DIGITS);
413                         OPENSSL_free(hexbuf);
414                         return NULL;
415                 }
416                 if(isupper(ch)) ch = tolower(ch);
417                 if(isupper(cl)) cl = tolower(cl);
418
419                 if((ch >= '0') && (ch <= '9')) ch -= '0';
420                 else if ((ch >= 'a') && (ch <= 'f')) ch -= 'a' - 10;
421                 else goto badhex;
422
423                 if((cl >= '0') && (cl <= '9')) cl -= '0';
424                 else if ((cl >= 'a') && (cl <= 'f')) cl -= 'a' - 10;
425                 else goto badhex;
426
427                 *q++ = (ch << 4) | cl;
428         }
429
430         if(len) *len = q - hexbuf;
431
432         return hexbuf;
433
434         err:
435         if(hexbuf) OPENSSL_free(hexbuf);
436         X509V3err(X509V3_F_STRING_TO_HEX,ERR_R_MALLOC_FAILURE);
437         return NULL;
438
439         badhex:
440         OPENSSL_free(hexbuf);
441         X509V3err(X509V3_F_STRING_TO_HEX,X509V3_R_ILLEGAL_HEX_DIGIT);
442         return NULL;
443
444 }
445
446 /* V2I name comparison function: returns zero if 'name' matches
447  * cmp or cmp.*
448  */
449
450 int name_cmp(const char *name, const char *cmp)
451 {
452         int len, ret;
453         char c;
454         len = strlen(cmp);
455         if((ret = strncmp(name, cmp, len))) return ret;
456         c = name[len];
457         if(!c || (c=='.')) return 0;
458         return 1;
459 }
460
461 static int sk_strcmp(const char * const *a, const char * const *b)
462 {
463         return strcmp(*a, *b);
464 }
465
466 STACK_OF(OPENSSL_STRING) *X509_get1_email(X509 *x)
467 {
468         GENERAL_NAMES *gens;
469         STACK_OF(OPENSSL_STRING) *ret;
470
471         gens = X509_get_ext_d2i(x, NID_subject_alt_name, NULL, NULL);
472         ret = get_email(X509_get_subject_name(x), gens);
473         sk_GENERAL_NAME_pop_free(gens, GENERAL_NAME_free);
474         return ret;
475 }
476
477 STACK_OF(OPENSSL_STRING) *X509_get1_ocsp(X509 *x)
478 {
479         AUTHORITY_INFO_ACCESS *info;
480         STACK_OF(OPENSSL_STRING) *ret = NULL;
481         int i;
482
483         info = X509_get_ext_d2i(x, NID_info_access, NULL, NULL);
484         if (!info)
485                 return NULL;
486         for (i = 0; i < sk_ACCESS_DESCRIPTION_num(info); i++)
487                 {
488                 ACCESS_DESCRIPTION *ad = sk_ACCESS_DESCRIPTION_value(info, i);
489                 if (OBJ_obj2nid(ad->method) == NID_ad_OCSP)
490                         {
491                         if (ad->location->type == GEN_URI)
492                                 {
493                                 if (!append_ia5(&ret, ad->location->d.uniformResourceIdentifier))
494                                         break;
495                                 }
496                         }
497                 }
498         AUTHORITY_INFO_ACCESS_free(info);
499         return ret;
500 }
501
502 STACK_OF(OPENSSL_STRING) *X509_REQ_get1_email(X509_REQ *x)
503 {
504         GENERAL_NAMES *gens;
505         STACK_OF(X509_EXTENSION) *exts;
506         STACK_OF(OPENSSL_STRING) *ret;
507
508         exts = X509_REQ_get_extensions(x);
509         gens = X509V3_get_d2i(exts, NID_subject_alt_name, NULL, NULL);
510         ret = get_email(X509_REQ_get_subject_name(x), gens);
511         sk_GENERAL_NAME_pop_free(gens, GENERAL_NAME_free);
512         sk_X509_EXTENSION_pop_free(exts, X509_EXTENSION_free);
513         return ret;
514 }
515
516
517 static STACK_OF(OPENSSL_STRING) *get_email(X509_NAME *name, GENERAL_NAMES *gens)
518 {
519         STACK_OF(OPENSSL_STRING) *ret = NULL;
520         X509_NAME_ENTRY *ne;
521         ASN1_IA5STRING *email;
522         GENERAL_NAME *gen;
523         int i;
524         /* Now add any email address(es) to STACK */
525         i = -1;
526         /* First supplied X509_NAME */
527         while((i = X509_NAME_get_index_by_NID(name,
528                                          NID_pkcs9_emailAddress, i)) >= 0) {
529                 ne = X509_NAME_get_entry(name, i);
530                 email = X509_NAME_ENTRY_get_data(ne);
531                 if(!append_ia5(&ret, email)) return NULL;
532         }
533         for(i = 0; i < sk_GENERAL_NAME_num(gens); i++)
534         {
535                 gen = sk_GENERAL_NAME_value(gens, i);
536                 if(gen->type != GEN_EMAIL) continue;
537                 if(!append_ia5(&ret, gen->d.ia5)) return NULL;
538         }
539         return ret;
540 }
541
542 static void str_free(OPENSSL_STRING str)
543 {
544         OPENSSL_free(str);
545 }
546
547 static int append_ia5(STACK_OF(OPENSSL_STRING) **sk, ASN1_IA5STRING *email)
548 {
549         char *emtmp;
550         /* First some sanity checks */
551         if(email->type != V_ASN1_IA5STRING) return 1;
552         if(!email->data || !email->length) return 1;
553         if(!*sk) *sk = sk_OPENSSL_STRING_new(sk_strcmp);
554         if(!*sk) return 0;
555         /* Don't add duplicates */
556         if(sk_OPENSSL_STRING_find(*sk, (char *)email->data) != -1) return 1;
557         emtmp = BUF_strdup((char *)email->data);
558         if(!emtmp || !sk_OPENSSL_STRING_push(*sk, emtmp)) {
559                 X509_email_free(*sk);
560                 *sk = NULL;
561                 return 0;
562         }
563         return 1;
564 }
565
566 void X509_email_free(STACK_OF(OPENSSL_STRING) *sk)
567 {
568         sk_OPENSSL_STRING_pop_free(sk, str_free);
569 }
570
571 typedef int (*equal_fn)(const unsigned char *pattern, size_t pattern_len,
572                         const unsigned char *subject, size_t subject_len,
573                         unsigned int flags);
574
575 /* Skip pattern prefix to match "wildcard" subject */
576 static void skip_prefix(const unsigned char **p, size_t *plen,
577                         const unsigned char *subject, size_t subject_len,
578                         unsigned int flags)
579         {
580         const unsigned char *pattern = *p;
581         size_t pattern_len = *plen;
582
583         /*
584          * If subject starts with a leading '.' followed by more octets, and
585          * pattern is longer, compare just an equal-length suffix with the
586          * full subject (starting at the '.'), provided the prefix contains
587          * no NULs.
588          */
589         if ((flags & _X509_CHECK_FLAG_DOT_SUBDOMAINS) == 0)
590                 return;
591
592         while (pattern_len > subject_len && *pattern)
593                 {
594                 if ((flags & X509_CHECK_FLAG_SINGLE_LABEL_SUBDOMAINS) &&
595                     *pattern == '.')
596                         break;
597                 ++pattern;
598                 --pattern_len;
599                 }
600
601         /* Skip if entire prefix acceptable */
602         if (pattern_len == subject_len)
603                 {
604                 *p = pattern;
605                 *plen = pattern_len;
606                 }
607         }
608
609 /* Compare while ASCII ignoring case. */
610 static int equal_nocase(const unsigned char *pattern, size_t pattern_len,
611                         const unsigned char *subject, size_t subject_len,
612                         unsigned int flags)
613         {
614         skip_prefix(&pattern, &pattern_len, subject, subject_len, flags);
615         if (pattern_len != subject_len)
616                 return 0;
617         while (pattern_len)
618                 {
619                 unsigned char l = *pattern;
620                 unsigned char r = *subject;
621                 /* The pattern must not contain NUL characters. */
622                 if (l == 0)
623                         return 0;
624                 if (l != r)
625                         {
626                         if ('A' <= l && l <= 'Z')
627                                 l = (l - 'A') + 'a';
628                         if ('A' <= r && r <= 'Z')
629                                 r = (r - 'A') + 'a';
630                         if (l != r)
631                                 return 0;
632                         }
633                 ++pattern;
634                 ++subject;
635                 --pattern_len;
636                 }
637         return 1;
638         }
639
640 /* Compare using memcmp. */
641 static int equal_case(const unsigned char *pattern, size_t pattern_len,
642                       const unsigned char *subject, size_t subject_len,
643                       unsigned int flags)
644 {
645         skip_prefix(&pattern, &pattern_len, subject, subject_len, flags);
646         if (pattern_len != subject_len)
647                 return 0;
648         return !memcmp(pattern, subject, pattern_len);
649 }
650
651 /* RFC 5280, section 7.5, requires that only the domain is compared in
652    a case-insensitive manner. */
653 static int equal_email(const unsigned char *a, size_t a_len,
654                        const unsigned char *b, size_t b_len,
655                        unsigned int unused_flags)
656         {
657         size_t i = a_len;
658         if (a_len != b_len)
659                 return 0;
660         /* We search backwards for the '@' character, so that we do
661            not have to deal with quoted local-parts.  The domain part
662            is compared in a case-insensitive manner. */
663         while (i > 0)
664                 {
665                 --i;
666                 if (a[i] == '@' || b[i] == '@')
667                         {
668                         if (!equal_nocase(a + i, a_len - i,
669                                           b + i, a_len - i, 0))
670                                 return 0;
671                         break;
672                         }
673                 }
674         if (i == 0)
675                 i = a_len;
676         return equal_case(a, i, b, i, 0);
677         }
678
679 /* Compare the prefix and suffix with the subject, and check that the
680    characters in-between are valid. */
681 static int wildcard_match(const unsigned char *prefix, size_t prefix_len,
682                           const unsigned char *suffix, size_t suffix_len,
683                           const unsigned char *subject, size_t subject_len,
684                           unsigned int flags)
685         {
686         const unsigned char *wildcard_start;
687         const unsigned char *wildcard_end;
688         const unsigned char *p;
689         int allow_multi = 0;
690         int allow_idna = 0;
691
692         if (subject_len < prefix_len + suffix_len)
693                 return 0;
694         if (!equal_nocase(prefix, prefix_len, subject, prefix_len, flags))
695                 return 0;
696         wildcard_start = subject + prefix_len;
697         wildcard_end = subject + (subject_len - suffix_len);
698         if (!equal_nocase(wildcard_end, suffix_len, suffix, suffix_len, flags))
699                 return 0;
700         /*
701          * If the wildcard makes up the entire first label, it must match at
702          * least one character.
703          */
704         if (prefix_len == 0 && *suffix == '.')
705                 {
706                 if (wildcard_start == wildcard_end)
707                         return 0;
708                 allow_idna = 1;
709                 if (flags & X509_CHECK_FLAG_MULTI_LABEL_WILDCARDS)
710                         allow_multi = 1;
711                 }
712         /* IDNA labels cannot match partial wildcards */
713         if (!allow_idna &&
714             subject_len >= 4 && strncasecmp((char *)subject, "xn--", 4) == 0)
715                 return 0;
716         /* The wildcard may match a literal '*' */
717         if (wildcard_end == wildcard_start + 1 && *wildcard_start == '*')
718                 return 1;
719         /*
720          * Check that the part matched by the wildcard contains only
721          * permitted characters and only matches a single label unless
722          * allow_multi is set.
723          */
724         for (p = wildcard_start; p != wildcard_end; ++p)
725                 if (!(('0' <= *p && *p <= '9') ||
726                       ('A' <= *p && *p <= 'Z') ||
727                       ('a' <= *p && *p <= 'z') ||
728                       *p == '-' || (allow_multi && *p == '.')))
729                         return 0;
730         return 1;
731         }
732
733 #define LABEL_START     (1 << 0)
734 #define LABEL_END       (1 << 1)
735 #define LABEL_HYPHEN    (1 << 2)
736 #define LABEL_IDNA      (1 << 3)
737
738 static const unsigned char *valid_star(const unsigned char *p, size_t len,
739                                                 unsigned int flags)
740         {
741         const unsigned char *star = 0;
742         size_t i;
743         int state = LABEL_START;
744         int dots = 0;
745         for (i = 0; i < len; ++i)
746                 {
747                 /*
748                  * Locate first and only legal wildcard, either at the start
749                  * or end of a non-IDNA first and not final label.
750                  */
751                 if (p[i] == '*')
752                         {
753                         int atstart = (state & LABEL_START);
754                         int atend = (i == len - 1 || p[i+i] == '.');
755                         /*
756                          * At most one wildcard per pattern.
757                          * No wildcards in IDNA labels.
758                          * No wildcards after the first label.
759                          */
760                         if (star != NULL || (state & LABEL_IDNA) != 0 || dots)
761                                 return NULL;
762                         /* Only full-label '*.example.com' wildcards? */
763                         if ((flags & X509_CHECK_FLAG_NO_PARTIAL_WILDCARDS)
764                             && (!atstart || !atend))
765                                 return NULL;
766                         /* No 'foo*bar' wildcards */
767                         if (!atstart && !atend)
768                                 return NULL;
769                         star = &p[i];
770                         state &= ~LABEL_START;
771                         }
772                 else if ((state & LABEL_START) != 0)
773                         {
774                         /*
775                          * At the start of a label, skip any "xn--" and
776                          * remain in the LABEL_START state, but set the
777                          * IDNA label state
778                          */
779                         if ((state & LABEL_IDNA) == 0 && len - i >= 4
780                             && strncasecmp((char *)&p[i], "xn--", 4) == 0)
781                                 {
782                                 i += 3;
783                                 state |= LABEL_IDNA;
784                                 continue;
785                                 }
786                         /* Labels must start with a letter or digit */
787                         state &= ~LABEL_START;
788                         if (('a' <= p[i] && p[i] <= 'z')
789                             || ('A' <= p[i] && p[i] <= 'Z')
790                             || ('0' <= p[i] && p[i] <= '9'))
791                                 continue;
792                         return NULL;
793                         }
794                 else if (('a' <= p[i] && p[i] <= 'z')
795                          || ('A' <= p[i] && p[i] <= 'Z')
796                          || ('0' <= p[i] && p[i] <= '9'))
797                         {
798                         state &= LABEL_IDNA;
799                         continue;
800                         }
801                 else if (p[i] == '.')
802                         {
803                         if (state & (LABEL_HYPHEN | LABEL_START))
804                                 return NULL;
805                         state = LABEL_START;
806                         ++dots;
807                         }
808                 else if (p[i] == '-')
809                         {
810                         if (state & LABEL_HYPHEN)
811                                 return NULL;
812                         state |= LABEL_HYPHEN;
813                         }
814                 else
815                         return NULL;
816                 }
817
818         /*
819          * The final label must not end in a hyphen or ".", and
820          * there must be at least two dots after the star.
821          */
822         if ((state & (LABEL_START | LABEL_HYPHEN)) != 0
823             || dots < 2)
824                 return NULL;
825         return star;
826         }
827
828 /* Compare using wildcards. */
829 static int equal_wildcard(const unsigned char *pattern, size_t pattern_len,
830                           const unsigned char *subject, size_t subject_len,
831                           unsigned int flags)
832         {
833         const unsigned char *star = NULL;
834
835         /*
836          * Subject names starting with '.' can only match a wildcard pattern
837          * via a subject sub-domain pattern suffix match.
838          */
839         if (!(subject_len > 1 && subject[0] == '.'))
840                 star = valid_star(pattern, pattern_len, flags);
841         if (star == NULL)
842                 return equal_nocase(pattern, pattern_len,
843                                     subject, subject_len, flags);
844         return wildcard_match(pattern, star - pattern,
845                               star + 1, (pattern + pattern_len) - star - 1,
846                               subject, subject_len, flags);
847         }
848
849 /* Compare an ASN1_STRING to a supplied string. If they match
850  * return 1. If cmp_type > 0 only compare if string matches the
851  * type, otherwise convert it to UTF8.
852  */
853
854 static int do_check_string(ASN1_STRING *a, int cmp_type, equal_fn equal,
855                                 unsigned int flags,
856                                 const unsigned char *b, size_t blen)
857         {
858         if (!a->data || !a->length)
859                 return 0;
860         if (cmp_type > 0)
861                 {
862                 if (cmp_type != a->type)
863                         return 0;
864                 if (cmp_type == V_ASN1_IA5STRING)
865                         return equal(a->data, a->length, b, blen, flags);
866                 if (a->length == (int)blen && !memcmp(a->data, b, blen))
867                         return 1;
868                 else
869                         return 0;
870                 }
871         else
872                 {
873                 int astrlen, rv;
874                 unsigned char *astr;
875                 astrlen = ASN1_STRING_to_UTF8(&astr, a);
876                 if (astrlen < 0)
877                         return -1;
878                 rv = equal(astr, astrlen, b, blen, flags);
879                 OPENSSL_free(astr);
880                 return rv;
881                 }
882         }
883
884 static int do_x509_check(X509 *x, const unsigned char *chk, size_t chklen,
885                                         unsigned int flags, int check_type)
886         {
887         GENERAL_NAMES *gens = NULL;
888         X509_NAME *name = NULL;
889         int i;
890         int cnid;
891         int alt_type;
892         int san_present = 0;
893         equal_fn equal;
894
895         /* See below, this flag is internal-only */
896         flags &= ~_X509_CHECK_FLAG_DOT_SUBDOMAINS;
897         if (check_type == GEN_EMAIL)
898                 {
899                 cnid = NID_pkcs9_emailAddress;
900                 alt_type = V_ASN1_IA5STRING;
901                 equal = equal_email;
902                 }
903         else if (check_type == GEN_DNS)
904                 {
905                 cnid = NID_commonName;
906                 /* Implicit client-side DNS sub-domain pattern */
907                 if (chklen > 1 && chk[0] == '.')
908                         flags |= _X509_CHECK_FLAG_DOT_SUBDOMAINS;
909                 alt_type = V_ASN1_IA5STRING;
910                 if (flags & X509_CHECK_FLAG_NO_WILDCARDS)
911                         equal = equal_nocase;
912                 else
913                         equal = equal_wildcard;
914                 }
915         else
916                 {
917                 cnid = 0;
918                 alt_type = V_ASN1_OCTET_STRING;
919                 equal = equal_case;
920                 }
921
922         if (chklen == 0)
923                 chklen = strlen((const char *)chk);
924
925         gens = X509_get_ext_d2i(x, NID_subject_alt_name, NULL, NULL);
926         if (gens)
927                 {
928                 int rv = 0;
929                 for (i = 0; i < sk_GENERAL_NAME_num(gens); i++)
930                         {
931                         GENERAL_NAME *gen;
932                         ASN1_STRING *cstr;
933                         gen = sk_GENERAL_NAME_value(gens, i);
934                         if (gen->type != check_type)
935                                 continue;
936                         san_present = 1;
937                         if (check_type == GEN_EMAIL)
938                                 cstr = gen->d.rfc822Name;
939                         else if (check_type == GEN_DNS)
940                                 cstr = gen->d.dNSName;
941                         else
942                                 cstr = gen->d.iPAddress;
943                         if (do_check_string(cstr, alt_type, equal, flags,
944                                             chk, chklen))
945                                 {
946                                 rv = 1;
947                                 break;
948                                 }
949                         }
950                 GENERAL_NAMES_free(gens);
951                 if (rv)
952                         return 1;
953                 if (!cnid
954                     || (san_present
955                         && !(flags & X509_CHECK_FLAG_ALWAYS_CHECK_SUBJECT)))
956                         return 0;
957                 }
958         i = -1;
959         name = X509_get_subject_name(x);
960         while((i = X509_NAME_get_index_by_NID(name, cnid, i)) >= 0)
961                 {
962                 X509_NAME_ENTRY *ne;
963                 ASN1_STRING *str;
964                 ne = X509_NAME_get_entry(name, i);
965                 str = X509_NAME_ENTRY_get_data(ne);
966                 if (do_check_string(str, -1, equal, flags, chk, chklen))
967                         return 1;
968                 }
969         return 0;
970         }
971
972 int X509_check_host(X509 *x, const unsigned char *chk, size_t chklen,
973                                         unsigned int flags)
974         {
975         if (chk == NULL)
976                 return -2;
977         /*
978          * Embedded NULs are disallowed, except as the last character of a
979          * string of length 2 or more (tolerate caller including terminating
980          * NUL in string length).
981          */
982         if (chklen == 0)
983                 chklen = strlen((char *)chk);
984         else if (memchr(chk, '\0', chklen > 1 ? chklen-1 : chklen))
985                 return -2;
986         if (chklen > 1 && chk[chklen-1] == '\0')
987                 --chklen;
988         return do_x509_check(x, chk, chklen, flags, GEN_DNS);
989         }
990
991 int X509_check_email(X509 *x, const unsigned char *chk, size_t chklen,
992                                         unsigned int flags)
993         {
994         if (chk == NULL)
995                 return -2;
996         /*
997          * Embedded NULs are disallowed, except as the last character of a
998          * string of length 2 or more (tolerate caller including terminating
999          * NUL in string length).
1000          */
1001         if (chklen == 0)
1002                 chklen = strlen((char *)chk);
1003         else if (memchr(chk, '\0', chklen > 1 ? chklen-1 : chklen))
1004                 return -2;
1005         if (chklen > 1 && chk[chklen-1] == '\0')
1006                 --chklen;
1007         return do_x509_check(x, chk, chklen, flags, GEN_EMAIL);
1008         }
1009
1010 int X509_check_ip(X509 *x, const unsigned char *chk, size_t chklen,
1011                                         unsigned int flags)
1012         {
1013         if (chk == NULL)
1014                 return -2;
1015         return do_x509_check(x, chk, chklen, flags, GEN_IPADD);
1016         }
1017
1018 int X509_check_ip_asc(X509 *x, const char *ipasc, unsigned int flags)
1019         {
1020         unsigned char ipout[16];
1021         int iplen;
1022         if (ipasc == NULL)
1023                 return -2;
1024         iplen = a2i_ipadd(ipout, ipasc);
1025         if (iplen == 0)
1026                 return -2;
1027         return do_x509_check(x, ipout, (size_t)iplen, flags, GEN_IPADD);
1028         }
1029
1030 /* Convert IP addresses both IPv4 and IPv6 into an 
1031  * OCTET STRING compatible with RFC3280.
1032  */
1033
1034 ASN1_OCTET_STRING *a2i_IPADDRESS(const char *ipasc)
1035         {
1036         unsigned char ipout[16];
1037         ASN1_OCTET_STRING *ret;
1038         int iplen;
1039
1040         /* If string contains a ':' assume IPv6 */
1041
1042         iplen = a2i_ipadd(ipout, ipasc);
1043
1044         if (!iplen)
1045                 return NULL;
1046
1047         ret = ASN1_OCTET_STRING_new();
1048         if (!ret)
1049                 return NULL;
1050         if (!ASN1_OCTET_STRING_set(ret, ipout, iplen))
1051                 {
1052                 ASN1_OCTET_STRING_free(ret);
1053                 return NULL;
1054                 }
1055         return ret;
1056         }
1057
1058 ASN1_OCTET_STRING *a2i_IPADDRESS_NC(const char *ipasc)
1059         {
1060         ASN1_OCTET_STRING *ret = NULL;
1061         unsigned char ipout[32];
1062         char *iptmp = NULL, *p;
1063         int iplen1, iplen2;
1064         p = strchr(ipasc,'/');
1065         if (!p)
1066                 return NULL;
1067         iptmp = BUF_strdup(ipasc);
1068         if (!iptmp)
1069                 return NULL;
1070         p = iptmp + (p - ipasc);
1071         *p++ = 0;
1072
1073         iplen1 = a2i_ipadd(ipout, iptmp);
1074
1075         if (!iplen1)
1076                 goto err;
1077
1078         iplen2 = a2i_ipadd(ipout + iplen1, p);
1079
1080         OPENSSL_free(iptmp);
1081         iptmp = NULL;
1082
1083         if (!iplen2 || (iplen1 != iplen2))
1084                 goto err;
1085
1086         ret = ASN1_OCTET_STRING_new();
1087         if (!ret)
1088                 goto err;
1089         if (!ASN1_OCTET_STRING_set(ret, ipout, iplen1 + iplen2))
1090                 goto err;
1091
1092         return ret;
1093
1094         err:
1095         if (iptmp)
1096                 OPENSSL_free(iptmp);
1097         if (ret)
1098                 ASN1_OCTET_STRING_free(ret);
1099         return NULL;
1100         }
1101         
1102
1103 int a2i_ipadd(unsigned char *ipout, const char *ipasc)
1104         {
1105         /* If string contains a ':' assume IPv6 */
1106
1107         if (strchr(ipasc, ':'))
1108                 {
1109                 if (!ipv6_from_asc(ipout, ipasc))
1110                         return 0;
1111                 return 16;
1112                 }
1113         else
1114                 {
1115                 if (!ipv4_from_asc(ipout, ipasc))
1116                         return 0;
1117                 return 4;
1118                 }
1119         }
1120
1121 static int ipv4_from_asc(unsigned char *v4, const char *in)
1122         {
1123         int a0, a1, a2, a3;
1124         if (sscanf(in, "%d.%d.%d.%d", &a0, &a1, &a2, &a3) != 4)
1125                 return 0;
1126         if ((a0 < 0) || (a0 > 255) || (a1 < 0) || (a1 > 255)
1127                 || (a2 < 0) || (a2 > 255) || (a3 < 0) || (a3 > 255))
1128                 return 0;
1129         v4[0] = a0;
1130         v4[1] = a1;
1131         v4[2] = a2;
1132         v4[3] = a3;
1133         return 1;
1134         }
1135
1136 typedef struct {
1137                 /* Temporary store for IPV6 output */
1138                 unsigned char tmp[16];
1139                 /* Total number of bytes in tmp */
1140                 int total;
1141                 /* The position of a zero (corresponding to '::') */
1142                 int zero_pos;
1143                 /* Number of zeroes */
1144                 int zero_cnt;
1145         } IPV6_STAT;
1146
1147
1148 static int ipv6_from_asc(unsigned char *v6, const char *in)
1149         {
1150         IPV6_STAT v6stat;
1151         v6stat.total = 0;
1152         v6stat.zero_pos = -1;
1153         v6stat.zero_cnt = 0;
1154         /* Treat the IPv6 representation as a list of values
1155          * separated by ':'. The presence of a '::' will parse
1156          * as one, two or three zero length elements.
1157          */
1158         if (!CONF_parse_list(in, ':', 0, ipv6_cb, &v6stat))
1159                 return 0;
1160
1161         /* Now for some sanity checks */
1162
1163         if (v6stat.zero_pos == -1)
1164                 {
1165                 /* If no '::' must have exactly 16 bytes */
1166                 if (v6stat.total != 16)
1167                         return 0;
1168                 }
1169         else 
1170                 {
1171                 /* If '::' must have less than 16 bytes */
1172                 if (v6stat.total == 16)
1173                         return 0;
1174                 /* More than three zeroes is an error */
1175                 if (v6stat.zero_cnt > 3)
1176                         return 0;
1177                 /* Can only have three zeroes if nothing else present */
1178                 else if (v6stat.zero_cnt == 3)
1179                         {
1180                         if (v6stat.total > 0)
1181                                 return 0;
1182                         }
1183                 /* Can only have two zeroes if at start or end */
1184                 else if (v6stat.zero_cnt == 2)
1185                         {
1186                         if ((v6stat.zero_pos != 0)
1187                                 && (v6stat.zero_pos != v6stat.total))
1188                                 return 0;
1189                         }
1190                 else 
1191                 /* Can only have one zero if *not* start or end */
1192                         {
1193                         if ((v6stat.zero_pos == 0)
1194                                 || (v6stat.zero_pos == v6stat.total))
1195                                 return 0;
1196                         }
1197                 }
1198
1199         /* Format result */
1200
1201         if (v6stat.zero_pos >= 0)
1202                 {
1203                 /* Copy initial part */
1204                 memcpy(v6, v6stat.tmp, v6stat.zero_pos);
1205                 /* Zero middle */
1206                 memset(v6 + v6stat.zero_pos, 0, 16 - v6stat.total);
1207                 /* Copy final part */
1208                 if (v6stat.total != v6stat.zero_pos)
1209                         memcpy(v6 + v6stat.zero_pos + 16 - v6stat.total,
1210                                 v6stat.tmp + v6stat.zero_pos,
1211                                 v6stat.total - v6stat.zero_pos);
1212                 }
1213         else
1214                 memcpy(v6, v6stat.tmp, 16);
1215
1216         return 1;
1217         }
1218
1219 static int ipv6_cb(const char *elem, int len, void *usr)
1220         {
1221         IPV6_STAT *s = usr;
1222         /* Error if 16 bytes written */
1223         if (s->total == 16)
1224                 return 0;
1225         if (len == 0)
1226                 {
1227                 /* Zero length element, corresponds to '::' */
1228                 if (s->zero_pos == -1)
1229                         s->zero_pos = s->total;
1230                 /* If we've already got a :: its an error */
1231                 else if (s->zero_pos != s->total)
1232                         return 0;
1233                 s->zero_cnt++;
1234                 }
1235         else 
1236                 {
1237                 /* If more than 4 characters could be final a.b.c.d form */
1238                 if (len > 4)
1239                         {
1240                         /* Need at least 4 bytes left */
1241                         if (s->total > 12)
1242                                 return 0;
1243                         /* Must be end of string */
1244                         if (elem[len])
1245                                 return 0;
1246                         if (!ipv4_from_asc(s->tmp + s->total, elem))
1247                                 return 0;
1248                         s->total += 4;
1249                         }
1250                 else
1251                         {
1252                         if (!ipv6_hex(s->tmp + s->total, elem, len))
1253                                 return 0;
1254                         s->total += 2;
1255                         }
1256                 }
1257         return 1;
1258         }
1259
1260 /* Convert a string of up to 4 hex digits into the corresponding
1261  * IPv6 form.
1262  */
1263
1264 static int ipv6_hex(unsigned char *out, const char *in, int inlen)
1265         {
1266         unsigned char c;
1267         unsigned int num = 0;
1268         if (inlen > 4)
1269                 return 0;
1270         while(inlen--)
1271                 {
1272                 c = *in++;
1273                 num <<= 4;
1274                 if ((c >= '0') && (c <= '9'))
1275                         num |= c - '0';
1276                 else if ((c >= 'A') && (c <= 'F'))
1277                         num |= c - 'A' + 10;
1278                 else if ((c >= 'a') && (c <= 'f'))
1279                         num |=  c - 'a' + 10;
1280                 else
1281                         return 0;
1282                 }
1283         out[0] = num >> 8;
1284         out[1] = num & 0xff;
1285         return 1;
1286         }
1287
1288
1289 int X509V3_NAME_from_section(X509_NAME *nm, STACK_OF(CONF_VALUE)*dn_sk,
1290                                                 unsigned long chtype)
1291         {
1292         CONF_VALUE *v;
1293         int i, mval;
1294         char *p, *type;
1295         if (!nm)
1296                 return 0;
1297
1298         for (i = 0; i < sk_CONF_VALUE_num(dn_sk); i++)
1299                 {
1300                 v=sk_CONF_VALUE_value(dn_sk,i);
1301                 type=v->name;
1302                 /* Skip past any leading X. X: X, etc to allow for
1303                  * multiple instances 
1304                  */
1305                 for(p = type; *p ; p++) 
1306 #ifndef CHARSET_EBCDIC
1307                         if ((*p == ':') || (*p == ',') || (*p == '.'))
1308 #else
1309                         if ((*p == os_toascii[':']) || (*p == os_toascii[',']) || (*p == os_toascii['.']))
1310 #endif
1311                                 {
1312                                 p++;
1313                                 if(*p) type = p;
1314                                 break;
1315                                 }
1316 #ifndef CHARSET_EBCDIC
1317                 if (*type == '+')
1318 #else
1319                 if (*type == os_toascii['+'])
1320 #endif
1321                         {
1322                         mval = -1;
1323                         type++;
1324                         }
1325                 else
1326                         mval = 0;
1327                 if (!X509_NAME_add_entry_by_txt(nm,type, chtype,
1328                                 (unsigned char *) v->value,-1,-1,mval))
1329                                         return 0;
1330
1331                 }
1332         return 1;
1333         }