crypto/x509/v3_crld.c

   1 /*
   2  * Copyright 1999-2020 The OpenSSL Project Authors. All Rights Reserved.
   3  *
   4  * Licensed under the Apache License 2.0 (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 #include <stdio.h>
  11 #include "internal/cryptlib.h"
  12 #include <openssl/conf.h>
  13 #include <openssl/asn1.h>
  14 #include <openssl/asn1t.h>
  15 #include <openssl/x509v3.h>
  16
  17 #include "crypto/x509.h"
  18 #include "ext_dat.h"
  19 #include "x509_local.h"
  20
  21 static void *v2i_crld(const X509V3_EXT_METHOD *method,
  22                       X509V3_CTX *ctx, STACK_OF(CONF_VALUE) *nval);
  23 static int i2r_crldp(const X509V3_EXT_METHOD *method, void *pcrldp, BIO *out,
  24                      int indent);
  25
  26 const X509V3_EXT_METHOD ossl_v3_crld = {
  27     NID_crl_distribution_points, 0, ASN1_ITEM_ref(CRL_DIST_POINTS),
  28     0, 0, 0, 0,
  29     0, 0,
  30     0,
  31     v2i_crld,
  32     i2r_crldp, 0,
  33     NULL
  34 };
  35
  36 const X509V3_EXT_METHOD ossl_v3_freshest_crl = {
  37     NID_freshest_crl, 0, ASN1_ITEM_ref(CRL_DIST_POINTS),
  38     0, 0, 0, 0,
  39     0, 0,
  40     0,
  41     v2i_crld,
  42     i2r_crldp, 0,
  43     NULL
  44 };
  45
  46 static STACK_OF(GENERAL_NAME) *gnames_from_sectname(X509V3_CTX *ctx,
  47                                                     char *sect)
  48 {
  49     STACK_OF(CONF_VALUE) *gnsect;
  50     STACK_OF(GENERAL_NAME) *gens;
  51     if (*sect == '@')
  52         gnsect = X509V3_get_section(ctx, sect + 1);
  53     else
  54         gnsect = X509V3_parse_list(sect);
  55     if (!gnsect) {
  56         ERR_raise(ERR_LIB_X509V3, X509V3_R_SECTION_NOT_FOUND);
  57         return NULL;
  58     }
  59     gens = v2i_GENERAL_NAMES(NULL, ctx, gnsect);
  60     if (*sect == '@')
  61         X509V3_section_free(ctx, gnsect);
  62     else
  63         sk_CONF_VALUE_pop_free(gnsect, X509V3_conf_free);
  64     return gens;
  65 }
  66
  67 static int set_dist_point_name(DIST_POINT_NAME **pdp, X509V3_CTX *ctx,
  68                                CONF_VALUE *cnf)
  69 {
  70     STACK_OF(GENERAL_NAME) *fnm = NULL;
  71     STACK_OF(X509_NAME_ENTRY) *rnm = NULL;
  72
  73     if (strncmp(cnf->name, "fullname", 9) == 0) {
  74         fnm = gnames_from_sectname(ctx, cnf->value);
  75         if (!fnm)
  76             goto err;
  77     } else if (strcmp(cnf->name, "relativename") == 0) {
  78         int ret;
  79         STACK_OF(CONF_VALUE) *dnsect;
  80         X509_NAME *nm;
  81         nm = X509_NAME_new();
  82         if (nm == NULL)
  83             return -1;
  84         dnsect = X509V3_get_section(ctx, cnf->value);
  85         if (!dnsect) {
  86             ERR_raise(ERR_LIB_X509V3, X509V3_R_SECTION_NOT_FOUND);
  87             return -1;
  88         }
  89         ret = X509V3_NAME_from_section(nm, dnsect, MBSTRING_ASC);
  90         X509V3_section_free(ctx, dnsect);
  91         rnm = nm->entries;
  92         nm->entries = NULL;
  93         X509_NAME_free(nm);
  94         if (!ret || sk_X509_NAME_ENTRY_num(rnm) <= 0)
  95             goto err;
  96         /*
  97          * Since its a name fragment can't have more than one RDNSequence
  98          */
  99         if (sk_X509_NAME_ENTRY_value(rnm,
 100                                      sk_X509_NAME_ENTRY_num(rnm) - 1)->set) {
 101             ERR_raise(ERR_LIB_X509V3, X509V3_R_INVALID_MULTIPLE_RDNS);
 102             goto err;
 103         }
 104     } else
 105         return 0;
 106
 107     if (*pdp) {
 108         ERR_raise(ERR_LIB_X509V3, X509V3_R_DISTPOINT_ALREADY_SET);
 109         goto err;
 110     }
 111
 112     *pdp = DIST_POINT_NAME_new();
 113     if (*pdp == NULL)
 114         goto err;
 115     if (fnm) {
 116         (*pdp)->type = 0;
 117         (*pdp)->name.fullname = fnm;
 118     } else {
 119         (*pdp)->type = 1;
 120         (*pdp)->name.relativename = rnm;
 121     }
 122
 123     return 1;
 124
 125  err:
 126     sk_GENERAL_NAME_pop_free(fnm, GENERAL_NAME_free);
 127     sk_X509_NAME_ENTRY_pop_free(rnm, X509_NAME_ENTRY_free);
 128     return -1;
 129 }
 130
 131 static const BIT_STRING_BITNAME reason_flags[] = {
 132     {0, "Unused", "unused"},
 133     {1, "Key Compromise", "keyCompromise"},
 134     {2, "CA Compromise", "CACompromise"},
 135     {3, "Affiliation Changed", "affiliationChanged"},
 136     {4, "Superseded", "superseded"},
 137     {5, "Cessation Of Operation", "cessationOfOperation"},
 138     {6, "Certificate Hold", "certificateHold"},
 139     {7, "Privilege Withdrawn", "privilegeWithdrawn"},
 140     {8, "AA Compromise", "AACompromise"},
 141     {-1, NULL, NULL}
 142 };
 143
 144 static int set_reasons(ASN1_BIT_STRING **preas, char *value)
 145 {
 146     STACK_OF(CONF_VALUE) *rsk = NULL;
 147     const BIT_STRING_BITNAME *pbn;
 148     const char *bnam;
 149     int i, ret = 0;
 150     rsk = X509V3_parse_list(value);
 151     if (rsk == NULL)
 152         return 0;
 153     if (*preas != NULL)
 154         goto err;
 155     for (i = 0; i < sk_CONF_VALUE_num(rsk); i++) {
 156         bnam = sk_CONF_VALUE_value(rsk, i)->name;
 157         if (*preas == NULL) {
 158             *preas = ASN1_BIT_STRING_new();
 159             if (*preas == NULL)
 160                 goto err;
 161         }
 162         for (pbn = reason_flags; pbn->lname; pbn++) {
 163             if (strcmp(pbn->sname, bnam) == 0) {
 164                 if (!ASN1_BIT_STRING_set_bit(*preas, pbn->bitnum, 1))
 165                     goto err;
 166                 break;
 167             }
 168         }
 169         if (pbn->lname == NULL)
 170             goto err;
 171     }
 172     ret = 1;
 173
 174  err:
 175     sk_CONF_VALUE_pop_free(rsk, X509V3_conf_free);
 176     return ret;
 177 }
 178
 179 static int print_reasons(BIO *out, const char *rname,
 180                          ASN1_BIT_STRING *rflags, int indent)
 181 {
 182     int first = 1;
 183     const BIT_STRING_BITNAME *pbn;
 184     BIO_printf(out, "%*s%s:\n%*s", indent, "", rname, indent + 2, "");
 185     for (pbn = reason_flags; pbn->lname; pbn++) {
 186         if (ASN1_BIT_STRING_get_bit(rflags, pbn->bitnum)) {
 187             if (first)
 188                 first = 0;
 189             else
 190                 BIO_puts(out, ", ");
 191             BIO_puts(out, pbn->lname);
 192         }
 193     }
 194     if (first)
 195         BIO_puts(out, "<EMPTY>\n");
 196     else
 197         BIO_puts(out, "\n");
 198     return 1;
 199 }
 200
 201 static DIST_POINT *crldp_from_section(X509V3_CTX *ctx,
 202                                       STACK_OF(CONF_VALUE) *nval)
 203 {
 204     int i;
 205     CONF_VALUE *cnf;
 206     DIST_POINT *point = DIST_POINT_new();
 207
 208     if (point == NULL)
 209         goto err;
 210     for (i = 0; i < sk_CONF_VALUE_num(nval); i++) {
 211         int ret;
 212         cnf = sk_CONF_VALUE_value(nval, i);
 213         ret = set_dist_point_name(&point->distpoint, ctx, cnf);
 214         if (ret > 0)
 215             continue;
 216         if (ret < 0)
 217             goto err;
 218         if (strcmp(cnf->name, "reasons") == 0) {
 219             if (!set_reasons(&point->reasons, cnf->value))
 220                 goto err;
 221         } else if (strcmp(cnf->name, "CRLissuer") == 0) {
 222             point->CRLissuer = gnames_from_sectname(ctx, cnf->value);
 223             if (point->CRLissuer == NULL)
 224                 goto err;
 225         }
 226     }
 227
 228     return point;
 229
 230  err:
 231     DIST_POINT_free(point);
 232     return NULL;
 233 }
 234
 235 static void *v2i_crld(const X509V3_EXT_METHOD *method,
 236                       X509V3_CTX *ctx, STACK_OF(CONF_VALUE) *nval)
 237 {
 238     STACK_OF(DIST_POINT) *crld;
 239     GENERAL_NAMES *gens = NULL;
 240     GENERAL_NAME *gen = NULL;
 241     CONF_VALUE *cnf;
 242     const int num = sk_CONF_VALUE_num(nval);
 243     int i;
 244
 245     crld = sk_DIST_POINT_new_reserve(NULL, num);
 246     if (crld == NULL)
 247         goto merr;
 248     for (i = 0; i < num; i++) {
 249         DIST_POINT *point;
 250
 251         cnf = sk_CONF_VALUE_value(nval, i);
 252         if (cnf->value == NULL) {
 253             STACK_OF(CONF_VALUE) *dpsect;
 254             dpsect = X509V3_get_section(ctx, cnf->name);
 255             if (!dpsect)
 256                 goto err;
 257             point = crldp_from_section(ctx, dpsect);
 258             X509V3_section_free(ctx, dpsect);
 259             if (point == NULL)
 260                 goto err;
 261             sk_DIST_POINT_push(crld, point); /* no failure as it was reserved */
 262         } else {
 263             if ((gen = v2i_GENERAL_NAME(method, ctx, cnf)) == NULL)
 264                 goto err;
 265             if ((gens = GENERAL_NAMES_new()) == NULL)
 266                 goto merr;
 267             if (!sk_GENERAL_NAME_push(gens, gen))
 268                 goto merr;
 269             gen = NULL;
 270             if ((point = DIST_POINT_new()) == NULL)
 271                 goto merr;
 272             sk_DIST_POINT_push(crld, point); /* no failure as it was reserved */
 273             if ((point->distpoint = DIST_POINT_NAME_new()) == NULL)
 274                 goto merr;
 275             point->distpoint->name.fullname = gens;
 276             point->distpoint->type = 0;
 277             gens = NULL;
 278         }
 279     }
 280     return crld;
 281
 282  merr:
 283     ERR_raise(ERR_LIB_X509V3, ERR_R_MALLOC_FAILURE);
 284  err:
 285     GENERAL_NAME_free(gen);
 286     GENERAL_NAMES_free(gens);
 287     sk_DIST_POINT_pop_free(crld, DIST_POINT_free);
 288     return NULL;
 289 }
 290
 291 static int dpn_cb(int operation, ASN1_VALUE **pval, const ASN1_ITEM *it,
 292                   void *exarg)
 293 {
 294     DIST_POINT_NAME *dpn = (DIST_POINT_NAME *)*pval;
 295
 296     switch (operation) {
 297     case ASN1_OP_NEW_POST:
 298         dpn->dpname = NULL;
 299         break;
 300
 301     case ASN1_OP_FREE_POST:
 302         X509_NAME_free(dpn->dpname);
 303         break;
 304     }
 305     return 1;
 306 }
 307
 308
 309 ASN1_CHOICE_cb(DIST_POINT_NAME, dpn_cb) = {
 310         ASN1_IMP_SEQUENCE_OF(DIST_POINT_NAME, name.fullname, GENERAL_NAME, 0),
 311         ASN1_IMP_SET_OF(DIST_POINT_NAME, name.relativename, X509_NAME_ENTRY, 1)
 312 } ASN1_CHOICE_END_cb(DIST_POINT_NAME, DIST_POINT_NAME, type)
 313
 314
 315 IMPLEMENT_ASN1_FUNCTIONS(DIST_POINT_NAME)
 316
 317 ASN1_SEQUENCE(DIST_POINT) = {
 318         ASN1_EXP_OPT(DIST_POINT, distpoint, DIST_POINT_NAME, 0),
 319         ASN1_IMP_OPT(DIST_POINT, reasons, ASN1_BIT_STRING, 1),
 320         ASN1_IMP_SEQUENCE_OF_OPT(DIST_POINT, CRLissuer, GENERAL_NAME, 2)
 321 } ASN1_SEQUENCE_END(DIST_POINT)
 322
 323 IMPLEMENT_ASN1_FUNCTIONS(DIST_POINT)
 324
 325 ASN1_ITEM_TEMPLATE(CRL_DIST_POINTS) =
 326         ASN1_EX_TEMPLATE_TYPE(ASN1_TFLG_SEQUENCE_OF, 0, CRLDistributionPoints, DIST_POINT)
 327 ASN1_ITEM_TEMPLATE_END(CRL_DIST_POINTS)
 328
 329 IMPLEMENT_ASN1_FUNCTIONS(CRL_DIST_POINTS)
 330
 331 ASN1_SEQUENCE(ISSUING_DIST_POINT) = {
 332         ASN1_EXP_OPT(ISSUING_DIST_POINT, distpoint, DIST_POINT_NAME, 0),
 333         ASN1_IMP_OPT(ISSUING_DIST_POINT, onlyuser, ASN1_FBOOLEAN, 1),
 334         ASN1_IMP_OPT(ISSUING_DIST_POINT, onlyCA, ASN1_FBOOLEAN, 2),
 335         ASN1_IMP_OPT(ISSUING_DIST_POINT, onlysomereasons, ASN1_BIT_STRING, 3),
 336         ASN1_IMP_OPT(ISSUING_DIST_POINT, indirectCRL, ASN1_FBOOLEAN, 4),
 337         ASN1_IMP_OPT(ISSUING_DIST_POINT, onlyattr, ASN1_FBOOLEAN, 5)
 338 } ASN1_SEQUENCE_END(ISSUING_DIST_POINT)
 339
 340 IMPLEMENT_ASN1_FUNCTIONS(ISSUING_DIST_POINT)
 341
 342 static int i2r_idp(const X509V3_EXT_METHOD *method, void *pidp, BIO *out,
 343                    int indent);
 344 static void *v2i_idp(const X509V3_EXT_METHOD *method, X509V3_CTX *ctx,
 345                      STACK_OF(CONF_VALUE) *nval);
 346
 347 const X509V3_EXT_METHOD ossl_v3_idp = {
 348     NID_issuing_distribution_point, X509V3_EXT_MULTILINE,
 349     ASN1_ITEM_ref(ISSUING_DIST_POINT),
 350     0, 0, 0, 0,
 351     0, 0,
 352     0,
 353     v2i_idp,
 354     i2r_idp, 0,
 355     NULL
 356 };
 357
 358 static void *v2i_idp(const X509V3_EXT_METHOD *method, X509V3_CTX *ctx,
 359                      STACK_OF(CONF_VALUE) *nval)
 360 {
 361     ISSUING_DIST_POINT *idp = NULL;
 362     CONF_VALUE *cnf;
 363     char *name, *val;
 364     int i, ret;
 365     idp = ISSUING_DIST_POINT_new();
 366     if (idp == NULL)
 367         goto merr;
 368     for (i = 0; i < sk_CONF_VALUE_num(nval); i++) {
 369         cnf = sk_CONF_VALUE_value(nval, i);
 370         name = cnf->name;
 371         val = cnf->value;
 372         ret = set_dist_point_name(&idp->distpoint, ctx, cnf);
 373         if (ret > 0)
 374             continue;
 375         if (ret < 0)
 376             goto err;
 377         if (strcmp(name, "onlyuser") == 0) {
 378             if (!X509V3_get_value_bool(cnf, &idp->onlyuser))
 379                 goto err;
 380         } else if (strcmp(name, "onlyCA") == 0) {
 381             if (!X509V3_get_value_bool(cnf, &idp->onlyCA))
 382                 goto err;
 383         } else if (strcmp(name, "onlyAA") == 0) {
 384             if (!X509V3_get_value_bool(cnf, &idp->onlyattr))
 385                 goto err;
 386         } else if (strcmp(name, "indirectCRL") == 0) {
 387             if (!X509V3_get_value_bool(cnf, &idp->indirectCRL))
 388                 goto err;
 389         } else if (strcmp(name, "onlysomereasons") == 0) {
 390             if (!set_reasons(&idp->onlysomereasons, val))
 391                 goto err;
 392         } else {
 393             ERR_raise(ERR_LIB_X509V3, X509V3_R_INVALID_NAME);
 394             X509V3_conf_add_error_name_value(cnf);
 395             goto err;
 396         }
 397     }
 398     return idp;
 399
 400  merr:
 401     ERR_raise(ERR_LIB_X509V3, ERR_R_MALLOC_FAILURE);
 402  err:
 403     ISSUING_DIST_POINT_free(idp);
 404     return NULL;
 405 }
 406
 407 static int print_gens(BIO *out, STACK_OF(GENERAL_NAME) *gens, int indent)
 408 {
 409     int i;
 410     for (i = 0; i < sk_GENERAL_NAME_num(gens); i++) {
 411         if (i > 0)
 412             BIO_puts(out, "\n");
 413         BIO_printf(out, "%*s", indent + 2, "");
 414         GENERAL_NAME_print(out, sk_GENERAL_NAME_value(gens, i));
 415     }
 416     return 1;
 417 }
 418
 419 static int print_distpoint(BIO *out, DIST_POINT_NAME *dpn, int indent)
 420 {
 421     if (dpn->type == 0) {
 422         BIO_printf(out, "%*sFull Name:\n", indent, "");
 423         print_gens(out, dpn->name.fullname, indent);
 424     } else {
 425         X509_NAME ntmp;
 426         ntmp.entries = dpn->name.relativename;
 427         BIO_printf(out, "%*sRelative Name:\n%*s", indent, "", indent + 2, "");
 428         X509_NAME_print_ex(out, &ntmp, 0, XN_FLAG_ONELINE);
 429         BIO_puts(out, "\n");
 430     }
 431     return 1;
 432 }
 433
 434 static int i2r_idp(const X509V3_EXT_METHOD *method, void *pidp, BIO *out,
 435                    int indent)
 436 {
 437     ISSUING_DIST_POINT *idp = pidp;
 438     if (idp->distpoint)
 439         print_distpoint(out, idp->distpoint, indent);
 440     if (idp->onlyuser > 0)
 441         BIO_printf(out, "%*sOnly User Certificates\n", indent, "");
 442     if (idp->onlyCA > 0)
 443         BIO_printf(out, "%*sOnly CA Certificates\n", indent, "");
 444     if (idp->indirectCRL > 0)
 445         BIO_printf(out, "%*sIndirect CRL\n", indent, "");
 446     if (idp->onlysomereasons)
 447         print_reasons(out, "Only Some Reasons", idp->onlysomereasons, indent);
 448     if (idp->onlyattr > 0)
 449         BIO_printf(out, "%*sOnly Attribute Certificates\n", indent, "");
 450     if (!idp->distpoint && (idp->onlyuser <= 0) && (idp->onlyCA <= 0)
 451         && (idp->indirectCRL <= 0) && !idp->onlysomereasons
 452         && (idp->onlyattr <= 0))
 453         BIO_printf(out, "%*s<EMPTY>\n", indent, "");
 454
 455     return 1;
 456 }
 457
 458 static int i2r_crldp(const X509V3_EXT_METHOD *method, void *pcrldp, BIO *out,
 459                      int indent)
 460 {
 461     STACK_OF(DIST_POINT) *crld = pcrldp;
 462     DIST_POINT *point;
 463     int i;
 464     for (i = 0; i < sk_DIST_POINT_num(crld); i++) {
 465         if (i > 0)
 466             BIO_puts(out, "\n");
 467         point = sk_DIST_POINT_value(crld, i);
 468         if (point->distpoint)
 469             print_distpoint(out, point->distpoint, indent);
 470         if (point->reasons)
 471             print_reasons(out, "Reasons", point->reasons, indent);
 472         if (point->CRLissuer) {
 473             BIO_printf(out, "%*sCRL Issuer:\n", indent, "");
 474             print_gens(out, point->CRLissuer, indent);
 475         }
 476     }
 477     return 1;
 478 }
 479
 480 /* Append any nameRelativeToCRLIssuer in dpn to iname, set in dpn->dpname */
 481 int DIST_POINT_set_dpname(DIST_POINT_NAME *dpn, const X509_NAME *iname)
 482 {
 483     int i;
 484     STACK_OF(X509_NAME_ENTRY) *frag;
 485     X509_NAME_ENTRY *ne;
 486
 487     if (dpn == NULL || dpn->type != 1)
 488         return 1;
 489     frag = dpn->name.relativename;
 490     X509_NAME_free(dpn->dpname); /* just in case it was already set */
 491     dpn->dpname = X509_NAME_dup(iname);
 492     if (dpn->dpname == NULL)
 493         return 0;
 494     for (i = 0; i < sk_X509_NAME_ENTRY_num(frag); i++) {
 495         ne = sk_X509_NAME_ENTRY_value(frag, i);
 496         if (!X509_NAME_add_entry(dpn->dpname, ne, -1, i ? 0 : 1))
 497             goto err;
 498     }
 499     /* generate cached encoding of name */
 500     if (i2d_X509_NAME(dpn->dpname, NULL) >= 0)
 501         return 1;
 502
 503  err:
 504     X509_NAME_free(dpn->dpname);
 505     dpn->dpname = NULL;
 506     return 0;
 507 }