crypto/x509v3/v3_utl.c

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