Coverage Report

Created: 2018-08-29 13:53

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