lib/openssl/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     ASN1_IA5STRING *email;
 428     GENERAL_NAME *gen;
 429     int i;
 430     /* Now add any email address(es) to STACK */
 431     i = -1;
 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         X509_email_free(*sk);
 473         *sk = NULL;
 474         return 0;
 475     }
 476     return 1;
 477 }
 478
 479 void X509_email_free(STACK_OF(OPENSSL_STRING) *sk)
 480 {
 481     sk_OPENSSL_STRING_pop_free(sk, str_free);
 482 }
 483
 484 typedef int (*equal_fn) (const unsigned char *pattern, size_t pattern_len,
 485                          const unsigned char *subject, size_t subject_len,
 486                          unsigned int flags);
 487
 488 /* Skip pattern prefix to match "wildcard" subject */
 489 static void skip_prefix(const unsigned char **p, size_t *plen,
 490                         size_t subject_len,
 491                         unsigned int flags)
 492 {
 493     const unsigned char *pattern = *p;
 494     size_t pattern_len = *plen;
 495
 496     /*
 497      * If subject starts with a leading '.' followed by more octets, and
 498      * pattern is longer, compare just an equal-length suffix with the
 499      * full subject (starting at the '.'), provided the prefix contains
 500      * no NULs.
 501      */
 502     if ((flags & _X509_CHECK_FLAG_DOT_SUBDOMAINS) == 0)
 503         return;
 504
 505     while (pattern_len > subject_len && *pattern) {
 506         if ((flags & X509_CHECK_FLAG_SINGLE_LABEL_SUBDOMAINS) &&
 507             *pattern == '.')
 508             break;
 509         ++pattern;
 510         --pattern_len;
 511     }
 512
 513     /* Skip if entire prefix acceptable */
 514     if (pattern_len == subject_len) {
 515         *p = pattern;
 516         *plen = pattern_len;
 517     }
 518 }
 519
 520 /* Compare while ASCII ignoring case. */
 521 static int equal_nocase(const unsigned char *pattern, size_t pattern_len,
 522                         const unsigned char *subject, size_t subject_len,
 523                         unsigned int flags)
 524 {
 525     skip_prefix(&pattern, &pattern_len, subject_len, flags);
 526     if (pattern_len != subject_len)
 527         return 0;
 528     while (pattern_len) {
 529         unsigned char l = *pattern;
 530         unsigned char r = *subject;
 531         /* The pattern must not contain NUL characters. */
 532         if (l == 0)
 533             return 0;
 534         if (l != r) {
 535             if ('A' <= l && l <= 'Z')
 536                 l = (l - 'A') + 'a';
 537             if ('A' <= r && r <= 'Z')
 538                 r = (r - 'A') + 'a';
 539             if (l != r)
 540                 return 0;
 541         }
 542         ++pattern;
 543         ++subject;
 544         --pattern_len;
 545     }
 546     return 1;
 547 }
 548
 549 /* Compare using memcmp. */
 550 static int equal_case(const unsigned char *pattern, size_t pattern_len,
 551                       const unsigned char *subject, size_t subject_len,
 552                       unsigned int flags)
 553 {
 554     skip_prefix(&pattern, &pattern_len, subject_len, flags);
 555     if (pattern_len != subject_len)
 556         return 0;
 557     return !memcmp(pattern, subject, pattern_len);
 558 }
 559
 560 /*
 561  * RFC 5280, section 7.5, requires that only the domain is compared in a
 562  * case-insensitive manner.
 563  */
 564 static int equal_email(const unsigned char *a, size_t a_len,
 565                        const unsigned char *b, size_t b_len,
 566                        unsigned int unused_flags)
 567 {
 568     size_t i = a_len;
 569     if (a_len != b_len)
 570         return 0;
 571     /*
 572      * We search backwards for the '@' character, so that we do not have to
 573      * deal with quoted local-parts.  The domain part is compared in a
 574      * case-insensitive manner.
 575      */
 576     while (i > 0) {
 577         --i;
 578         if (a[i] == '@' || b[i] == '@') {
 579             if (!equal_nocase(a + i, a_len - i, b + i, a_len - i, 0))
 580                 return 0;
 581             break;
 582         }
 583     }
 584     if (i == 0)
 585         i = a_len;
 586     return equal_case(a, i, b, i, 0);
 587 }
 588
 589 /*
 590  * Compare the prefix and suffix with the subject, and check that the
 591  * characters in-between are valid.
 592  */
 593 static int wildcard_match(const unsigned char *prefix, size_t prefix_len,
 594                           const unsigned char *suffix, size_t suffix_len,
 595                           const unsigned char *subject, size_t subject_len,
 596                           unsigned int flags)
 597 {
 598     const unsigned char *wildcard_start;
 599     const unsigned char *wildcard_end;
 600     const unsigned char *p;
 601     int allow_multi = 0;
 602     int allow_idna = 0;
 603
 604     if (subject_len < prefix_len + suffix_len)
 605         return 0;
 606     if (!equal_nocase(prefix, prefix_len, subject, prefix_len, flags))
 607         return 0;
 608     wildcard_start = subject + prefix_len;
 609     wildcard_end = subject + (subject_len - suffix_len);
 610     if (!equal_nocase(wildcard_end, suffix_len, suffix, suffix_len, flags))
 611         return 0;
 612     /*
 613      * If the wildcard makes up the entire first label, it must match at
 614      * least one character.
 615      */
 616     if (prefix_len == 0 && *suffix == '.') {
 617         if (wildcard_start == wildcard_end)
 618             return 0;
 619         allow_idna = 1;
 620         if (flags & X509_CHECK_FLAG_MULTI_LABEL_WILDCARDS)
 621             allow_multi = 1;
 622     }
 623     /* IDNA labels cannot match partial wildcards */
 624     if (!allow_idna &&
 625         subject_len >= 4 && strncasecmp((char *)subject, "xn--", 4) == 0)
 626         return 0;
 627     /* The wildcard may match a literal '*' */
 628     if (wildcard_end == wildcard_start + 1 && *wildcard_start == '*')
 629         return 1;
 630     /*
 631      * Check that the part matched by the wildcard contains only
 632      * permitted characters and only matches a single label unless
 633      * allow_multi is set.
 634      */
 635     for (p = wildcard_start; p != wildcard_end; ++p)
 636         if (!(('0' <= *p && *p <= '9') ||
 637               ('A' <= *p && *p <= 'Z') ||
 638               ('a' <= *p && *p <= 'z') ||
 639               *p == '-' || (allow_multi && *p == '.')))
 640             return 0;
 641     return 1;
 642 }
 643
 644 #define LABEL_START     (1 << 0)
 645 #define LABEL_END       (1 << 1)
 646 #define LABEL_HYPHEN    (1 << 2)
 647 #define LABEL_IDNA      (1 << 3)
 648
 649 static const unsigned char *valid_star(const unsigned char *p, size_t len,
 650                                        unsigned int flags)
 651 {
 652     const unsigned char *star = 0;
 653     size_t i;
 654     int state = LABEL_START;
 655     int dots = 0;
 656     for (i = 0; i < len; ++i) {
 657         /*
 658          * Locate first and only legal wildcard, either at the start
 659          * or end of a non-IDNA first and not final label.
 660          */
 661         if (p[i] == '*') {
 662             int atstart = (state & LABEL_START);
 663             int atend = (i == len - 1 || p[i + 1] == '.');
 664             /*-
 665              * At most one wildcard per pattern.
 666              * No wildcards in IDNA labels.
 667              * No wildcards after the first label.
 668              */
 669             if (star != NULL || (state & LABEL_IDNA) != 0 || dots)
 670                 return NULL;
 671             /* Only full-label '*.example.com' wildcards? */
 672             if ((flags & X509_CHECK_FLAG_NO_PARTIAL_WILDCARDS)
 673                 && (!atstart || !atend))
 674                 return NULL;
 675             /* No 'foo*bar' wildcards */
 676             if (!atstart && !atend)
 677                 return NULL;
 678             star = &p[i];
 679             state &= ~LABEL_START;
 680         } else if (('a' <= p[i] && p[i] <= 'z')
 681                    || ('A' <= p[i] && p[i] <= 'Z')
 682                    || ('0' <= p[i] && p[i] <= '9')) {
 683             if ((state & LABEL_START) != 0
 684                 && len - i >= 4 && strncasecmp((char *)&p[i], "xn--", 4) == 0)
 685                 state |= LABEL_IDNA;
 686             state &= ~(LABEL_HYPHEN | LABEL_START);
 687         } else if (p[i] == '.') {
 688             if ((state & (LABEL_HYPHEN | LABEL_START)) != 0)
 689                 return NULL;
 690             state = LABEL_START;
 691             ++dots;
 692         } else if (p[i] == '-') {
 693             /* no domain/subdomain starts with '-' */
 694             if ((state & LABEL_START) != 0)
 695                 return NULL;
 696             state |= LABEL_HYPHEN;
 697         } else
 698             return NULL;
 699     }
 700
 701     /*
 702      * The final label must not end in a hyphen or ".", and
 703      * there must be at least two dots after the star.
 704      */
 705     if ((state & (LABEL_START | LABEL_HYPHEN)) != 0 || dots < 2)
 706         return NULL;
 707     return star;
 708 }
 709
 710 /* Compare using wildcards. */
 711 static int equal_wildcard(const unsigned char *pattern, size_t pattern_len,
 712                           const unsigned char *subject, size_t subject_len,
 713                           unsigned int flags)
 714 {
 715     const unsigned char *star = NULL;
 716
 717     /*
 718      * Subject names starting with '.' can only match a wildcard pattern
 719      * via a subject sub-domain pattern suffix match.
 720      */
 721     if (!(subject_len > 1 && subject[0] == '.'))
 722         star = valid_star(pattern, pattern_len, flags);
 723     if (star == NULL)
 724         return equal_nocase(pattern, pattern_len,
 725                             subject, subject_len, flags);
 726     return wildcard_match(pattern, star - pattern,
 727                           star + 1, (pattern + pattern_len) - star - 1,
 728                           subject, subject_len, flags);
 729 }
 730
 731 /*
 732  * Compare an ASN1_STRING to a supplied string. If they match return 1. If
 733  * cmp_type > 0 only compare if string matches the type, otherwise convert it
 734  * to UTF8.
 735  */
 736
 737 static int do_check_string(const ASN1_STRING *a, int cmp_type, equal_fn equal,
 738                            unsigned int flags, const char *b, size_t blen,
 739                            char **peername)
 740 {
 741     int rv = 0;
 742
 743     if (!a->data || !a->length)
 744         return 0;
 745     if (cmp_type > 0) {
 746         if (cmp_type != a->type)
 747             return 0;
 748         if (cmp_type == V_ASN1_IA5STRING)
 749             rv = equal(a->data, a->length, (unsigned char *)b, blen, flags);
 750         else if (a->length == (int)blen && !memcmp(a->data, b, blen))
 751             rv = 1;
 752         if (rv > 0 && peername)
 753             *peername = OPENSSL_strndup((char *)a->data, a->length);
 754     } else {
 755         int astrlen;
 756         unsigned char *astr;
 757         astrlen = ASN1_STRING_to_UTF8(&astr, a);
 758         if (astrlen < 0) {
 759             /*
 760              * -1 could be an internal malloc failure or a decoding error from
 761              * malformed input; we can't distinguish.
 762              */
 763             return -1;
 764         }
 765         rv = equal(astr, astrlen, (unsigned char *)b, blen, flags);
 766         if (rv > 0 && peername)
 767             *peername = OPENSSL_strndup((char *)astr, astrlen);
 768         OPENSSL_free(astr);
 769     }
 770     return rv;
 771 }
 772
 773 static int do_x509_check(X509 *x, const char *chk, size_t chklen,
 774                          unsigned int flags, int check_type, char **peername)
 775 {
 776     GENERAL_NAMES *gens = NULL;
 777     X509_NAME *name = NULL;
 778     int i;
 779     int cnid = NID_undef;
 780     int alt_type;
 781     int san_present = 0;
 782     int rv = 0;
 783     equal_fn equal;
 784
 785     /* See below, this flag is internal-only */
 786     flags &= ~_X509_CHECK_FLAG_DOT_SUBDOMAINS;
 787     if (check_type == GEN_EMAIL) {
 788         cnid = NID_pkcs9_emailAddress;
 789         alt_type = V_ASN1_IA5STRING;
 790         equal = equal_email;
 791     } else if (check_type == GEN_DNS) {
 792         cnid = NID_commonName;
 793         /* Implicit client-side DNS sub-domain pattern */
 794         if (chklen > 1 && chk[0] == '.')
 795             flags |= _X509_CHECK_FLAG_DOT_SUBDOMAINS;
 796         alt_type = V_ASN1_IA5STRING;
 797         if (flags & X509_CHECK_FLAG_NO_WILDCARDS)
 798             equal = equal_nocase;
 799         else
 800             equal = equal_wildcard;
 801     } else {
 802         alt_type = V_ASN1_OCTET_STRING;
 803         equal = equal_case;
 804     }
 805
 806     if (chklen == 0)
 807         chklen = strlen(chk);
 808
 809     gens = X509_get_ext_d2i(x, NID_subject_alt_name, NULL, NULL);
 810     if (gens) {
 811         for (i = 0; i < sk_GENERAL_NAME_num(gens); i++) {
 812             GENERAL_NAME *gen;
 813             ASN1_STRING *cstr;
 814             gen = sk_GENERAL_NAME_value(gens, i);
 815             if (gen->type != check_type)
 816                 continue;
 817             san_present = 1;
 818             if (check_type == GEN_EMAIL)
 819                 cstr = gen->d.rfc822Name;
 820             else if (check_type == GEN_DNS)
 821                 cstr = gen->d.dNSName;
 822             else
 823                 cstr = gen->d.iPAddress;
 824             /* Positive on success, negative on error! */
 825             if ((rv = do_check_string(cstr, alt_type, equal, flags,
 826                                       chk, chklen, peername)) != 0)
 827                 break;
 828         }
 829         GENERAL_NAMES_free(gens);
 830         if (rv != 0)
 831             return rv;
 832         if (san_present && !(flags & X509_CHECK_FLAG_ALWAYS_CHECK_SUBJECT))
 833             return 0;
 834     }
 835
 836     /* We're done if CN-ID is not pertinent */
 837     if (cnid == NID_undef || (flags & X509_CHECK_FLAG_NEVER_CHECK_SUBJECT))
 838         return 0;
 839
 840     i = -1;
 841     name = X509_get_subject_name(x);
 842     while ((i = X509_NAME_get_index_by_NID(name, cnid, i)) >= 0) {
 843         const X509_NAME_ENTRY *ne = X509_NAME_get_entry(name, i);
 844         const ASN1_STRING *str = X509_NAME_ENTRY_get_data(ne);
 845
 846         /* Positive on success, negative on error! */
 847         if ((rv = do_check_string(str, -1, equal, flags,
 848                                   chk, chklen, peername)) != 0)
 849             return rv;
 850     }
 851     return 0;
 852 }
 853
 854 int X509_check_host(X509 *x, const char *chk, size_t chklen,
 855                     unsigned int flags, char **peername)
 856 {
 857     if (chk == NULL)
 858         return -2;
 859     /*
 860      * Embedded NULs are disallowed, except as the last character of a
 861      * string of length 2 or more (tolerate caller including terminating
 862      * NUL in string length).
 863      */
 864     if (chklen == 0)
 865         chklen = strlen(chk);
 866     else if (memchr(chk, '\0', chklen > 1 ? chklen - 1 : chklen))
 867         return -2;
 868     if (chklen > 1 && chk[chklen - 1] == '\0')
 869         --chklen;
 870     return do_x509_check(x, chk, chklen, flags, GEN_DNS, peername);
 871 }
 872
 873 int X509_check_email(X509 *x, const char *chk, size_t chklen,
 874                      unsigned int flags)
 875 {
 876     if (chk == NULL)
 877         return -2;
 878     /*
 879      * Embedded NULs are disallowed, except as the last character of a
 880      * string of length 2 or more (tolerate caller including terminating
 881      * NUL in string length).
 882      */
 883     if (chklen == 0)
 884         chklen = strlen((char *)chk);
 885     else if (memchr(chk, '\0', chklen > 1 ? chklen - 1 : chklen))
 886         return -2;
 887     if (chklen > 1 && chk[chklen - 1] == '\0')
 888         --chklen;
 889     return do_x509_check(x, chk, chklen, flags, GEN_EMAIL, NULL);
 890 }
 891
 892 int X509_check_ip(X509 *x, const unsigned char *chk, size_t chklen,
 893                   unsigned int flags)
 894 {
 895     if (chk == NULL)
 896         return -2;
 897     return do_x509_check(x, (char *)chk, chklen, flags, GEN_IPADD, NULL);
 898 }
 899
 900 int X509_check_ip_asc(X509 *x, const char *ipasc, unsigned int flags)
 901 {
 902     unsigned char ipout[16];
 903     size_t iplen;
 904
 905     if (ipasc == NULL)
 906         return -2;
 907     iplen = (size_t)a2i_ipadd(ipout, ipasc);
 908     if (iplen == 0)
 909         return -2;
 910     return do_x509_check(x, (char *)ipout, iplen, flags, GEN_IPADD, NULL);
 911 }
 912
 913 /*
 914  * Convert IP addresses both IPv4 and IPv6 into an OCTET STRING compatible
 915  * with RFC3280.
 916  */
 917
 918 ASN1_OCTET_STRING *a2i_IPADDRESS(const char *ipasc)
 919 {
 920     unsigned char ipout[16];
 921     ASN1_OCTET_STRING *ret;
 922     int iplen;
 923
 924     /* If string contains a ':' assume IPv6 */
 925
 926     iplen = a2i_ipadd(ipout, ipasc);
 927
 928     if (!iplen)
 929         return NULL;
 930
 931     ret = ASN1_OCTET_STRING_new();
 932     if (ret == NULL)
 933         return NULL;
 934     if (!ASN1_OCTET_STRING_set(ret, ipout, iplen)) {
 935         ASN1_OCTET_STRING_free(ret);
 936         return NULL;
 937     }
 938     return ret;
 939 }
 940
 941 ASN1_OCTET_STRING *a2i_IPADDRESS_NC(const char *ipasc)
 942 {
 943     ASN1_OCTET_STRING *ret = NULL;
 944     unsigned char ipout[32];
 945     char *iptmp = NULL, *p;
 946     int iplen1, iplen2;
 947     p = strchr(ipasc, '/');
 948     if (!p)
 949         return NULL;
 950     iptmp = OPENSSL_strdup(ipasc);
 951     if (!iptmp)
 952         return NULL;
 953     p = iptmp + (p - ipasc);
 954     *p++ = 0;
 955
 956     iplen1 = a2i_ipadd(ipout, iptmp);
 957
 958     if (!iplen1)
 959         goto err;
 960
 961     iplen2 = a2i_ipadd(ipout + iplen1, p);
 962
 963     OPENSSL_free(iptmp);
 964     iptmp = NULL;
 965
 966     if (!iplen2 || (iplen1 != iplen2))
 967         goto err;
 968
 969     ret = ASN1_OCTET_STRING_new();
 970     if (ret == NULL)
 971         goto err;
 972     if (!ASN1_OCTET_STRING_set(ret, ipout, iplen1 + iplen2))
 973         goto err;
 974
 975     return ret;
 976
 977  err:
 978     OPENSSL_free(iptmp);
 979     ASN1_OCTET_STRING_free(ret);
 980     return NULL;
 981 }
 982
 983 int a2i_ipadd(unsigned char *ipout, const char *ipasc)
 984 {
 985     /* If string contains a ':' assume IPv6 */
 986
 987     if (strchr(ipasc, ':')) {
 988         if (!ipv6_from_asc(ipout, ipasc))
 989             return 0;
 990         return 16;
 991     } else {
 992         if (!ipv4_from_asc(ipout, ipasc))
 993             return 0;
 994         return 4;
 995     }
 996 }
 997
 998 static int ipv4_from_asc(unsigned char *v4, const char *in)
 999 {
1000     int a0, a1, a2, a3;
1001     if (sscanf(in, "%d.%d.%d.%d", &a0, &a1, &a2, &a3) != 4)
1002         return 0;
1003     if ((a0 < 0) || (a0 > 255) || (a1 < 0) || (a1 > 255)
1004         || (a2 < 0) || (a2 > 255) || (a3 < 0) || (a3 > 255))
1005         return 0;
1006     v4[0] = a0;
1007     v4[1] = a1;
1008     v4[2] = a2;
1009     v4[3] = a3;
1010     return 1;
1011 }
1012
1013 typedef struct {
1014     /* Temporary store for IPV6 output */
1015     unsigned char tmp[16];
1016     /* Total number of bytes in tmp */
1017     int total;
1018     /* The position of a zero (corresponding to '::') */
1019     int zero_pos;
1020     /* Number of zeroes */
1021     int zero_cnt;
1022 } IPV6_STAT;
1023
1024 static int ipv6_from_asc(unsigned char *v6, const char *in)
1025 {
1026     IPV6_STAT v6stat;
1027     v6stat.total = 0;
1028     v6stat.zero_pos = -1;
1029     v6stat.zero_cnt = 0;
1030     /*
1031      * Treat the IPv6 representation as a list of values separated by ':'.
1032      * The presence of a '::' will parse as one, two or three zero length
1033      * elements.
1034      */
1035     if (!CONF_parse_list(in, ':', 0, ipv6_cb, &v6stat))
1036         return 0;
1037
1038     /* Now for some sanity checks */
1039
1040     if (v6stat.zero_pos == -1) {
1041         /* If no '::' must have exactly 16 bytes */
1042         if (v6stat.total != 16)
1043             return 0;
1044     } else {
1045         /* If '::' must have less than 16 bytes */
1046         if (v6stat.total == 16)
1047             return 0;
1048         /* More than three zeroes is an error */
1049         if (v6stat.zero_cnt > 3)
1050             return 0;
1051         /* Can only have three zeroes if nothing else present */
1052         else if (v6stat.zero_cnt == 3) {
1053             if (v6stat.total > 0)
1054                 return 0;
1055         }
1056         /* Can only have two zeroes if at start or end */
1057         else if (v6stat.zero_cnt == 2) {
1058             if ((v6stat.zero_pos != 0)
1059                 && (v6stat.zero_pos != v6stat.total))
1060                 return 0;
1061         } else
1062             /* Can only have one zero if *not* start or end */
1063         {
1064             if ((v6stat.zero_pos == 0)
1065                 || (v6stat.zero_pos == v6stat.total))
1066                 return 0;
1067         }
1068     }
1069
1070     /* Format result */
1071
1072     if (v6stat.zero_pos >= 0) {
1073         /* Copy initial part */
1074         memcpy(v6, v6stat.tmp, v6stat.zero_pos);
1075         /* Zero middle */
1076         memset(v6 + v6stat.zero_pos, 0, 16 - v6stat.total);
1077         /* Copy final part */
1078         if (v6stat.total != v6stat.zero_pos)
1079             memcpy(v6 + v6stat.zero_pos + 16 - v6stat.total,
1080                    v6stat.tmp + v6stat.zero_pos,
1081                    v6stat.total - v6stat.zero_pos);
1082     } else
1083         memcpy(v6, v6stat.tmp, 16);
1084
1085     return 1;
1086 }
1087
1088 static int ipv6_cb(const char *elem, int len, void *usr)
1089 {
1090     IPV6_STAT *s = usr;
1091     /* Error if 16 bytes written */
1092     if (s->total == 16)
1093         return 0;
1094     if (len == 0) {
1095         /* Zero length element, corresponds to '::' */
1096         if (s->zero_pos == -1)
1097             s->zero_pos = s->total;
1098         /* If we've already got a :: its an error */
1099         else if (s->zero_pos != s->total)
1100             return 0;
1101         s->zero_cnt++;
1102     } else {
1103         /* If more than 4 characters could be final a.b.c.d form */
1104         if (len > 4) {
1105             /* Need at least 4 bytes left */
1106             if (s->total > 12)
1107                 return 0;
1108             /* Must be end of string */
1109             if (elem[len])
1110                 return 0;
1111             if (!ipv4_from_asc(s->tmp + s->total, elem))
1112                 return 0;
1113             s->total += 4;
1114         } else {
1115             if (!ipv6_hex(s->tmp + s->total, elem, len))
1116                 return 0;
1117             s->total += 2;
1118         }
1119     }
1120     return 1;
1121 }
1122
1123 /*
1124  * Convert a string of up to 4 hex digits into the corresponding IPv6 form.
1125  */
1126
1127 static int ipv6_hex(unsigned char *out, const char *in, int inlen)
1128 {
1129     unsigned char c;
1130     unsigned int num = 0;
1131     int x;
1132
1133     if (inlen > 4)
1134         return 0;
1135     while (inlen--) {
1136         c = *in++;
1137         num <<= 4;
1138         x = OPENSSL_hexchar2int(c);
1139         if (x < 0)
1140             return 0;
1141         num |= (char)x;
1142     }
1143     out[0] = num >> 8;
1144     out[1] = num & 0xff;
1145     return 1;
1146 }
1147
1148 int X509V3_NAME_from_section(X509_NAME *nm, STACK_OF(CONF_VALUE) *dn_sk,
1149                              unsigned long chtype)
1150 {
1151     CONF_VALUE *v;
1152     int i, mval, spec_char, plus_char;
1153     char *p, *type;
1154     if (!nm)
1155         return 0;
1156
1157     for (i = 0; i < sk_CONF_VALUE_num(dn_sk); i++) {
1158         v = sk_CONF_VALUE_value(dn_sk, i);
1159         type = v->name;
1160         /*
1161          * Skip past any leading X. X: X, etc to allow for multiple instances
1162          */
1163         for (p = type; *p; p++) {
1164 #ifndef CHARSET_EBCDIC
1165             spec_char = ((*p == ':') || (*p == ',') || (*p == '.'));
1166 #else
1167             spec_char = ((*p == os_toascii[':']) || (*p == os_toascii[','])
1168                     || (*p == os_toascii['.']));
1169 #endif
1170             if (spec_char) {
1171                 p++;
1172                 if (*p)
1173                     type = p;
1174                 break;
1175             }
1176         }
1177 #ifndef CHARSET_EBCDIC
1178         plus_char = (*type == '+');
1179 #else
1180         plus_char = (*type == os_toascii['+']);
1181 #endif
1182         if (plus_char) {
1183             mval = -1;
1184             type++;
1185         } else
1186             mval = 0;
1187         if (!X509_NAME_add_entry_by_txt(nm, type, chtype,
1188                                         (unsigned char *)v->value, -1, -1,
1189                                         mval))
1190             return 0;
1191
1192     }
1193     return 1;
1194 }