Coverage Report

Created: 2018-08-29 13:53

/src/openssl/crypto/x509v3/pcy_cache.c
Line
Count
Source (jump to first uncovered line)
1
/*
2
 * Copyright 2004-2018 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 "internal/cryptlib.h"
11
#include <openssl/x509.h>
12
#include <openssl/x509v3.h>
13
#include "internal/x509_int.h"
14
15
#include "pcy_int.h"
16
17
static int policy_data_cmp(const X509_POLICY_DATA *const *a,
18
                           const X509_POLICY_DATA *const *b);
19
static int policy_cache_set_int(long *out, ASN1_INTEGER *value);
20
21
/*
22
 * Set cache entry according to CertificatePolicies extension. Note: this
23
 * destroys the passed CERTIFICATEPOLICIES structure.
24
 */
25
26
static int policy_cache_create(X509 *x,
27
                               CERTIFICATEPOLICIES *policies, int crit)
28
0
{
29
0
    int i, num, ret = 0;
30
0
    X509_POLICY_CACHE *cache = x->policy_cache;
31
0
    X509_POLICY_DATA *data = NULL;
32
0
    POLICYINFO *policy;
33
0
34
0
    if ((num = sk_POLICYINFO_num(policies)) <= 0)
35
0
        goto bad_policy;
36
0
    cache->data = sk_X509_POLICY_DATA_new(policy_data_cmp);
37
0
    if (cache->data == NULL) {
38
0
        X509V3err(X509V3_F_POLICY_CACHE_CREATE, ERR_R_MALLOC_FAILURE);
39
0
        goto just_cleanup;
40
0
    }
41
0
    for (i = 0; i < num; i++) {
42
0
        policy = sk_POLICYINFO_value(policies, i);
43
0
        data = policy_data_new(policy, NULL, crit);
44
0
        if (data == NULL) {
45
0
            X509V3err(X509V3_F_POLICY_CACHE_CREATE, ERR_R_MALLOC_FAILURE);
46
0
            goto just_cleanup;
47
0
        }
48
0
        /*
49
0
         * Duplicate policy OIDs are illegal: reject if matches found.
50
0
         */
51
0
        if (OBJ_obj2nid(data->valid_policy) == NID_any_policy) {
52
0
            if (cache->anyPolicy) {
53
0
                ret = -1;
54
0
                goto bad_policy;
55
0
            }
56
0
            cache->anyPolicy = data;
57
0
        } else if (sk_X509_POLICY_DATA_find(cache->data, data) >=0 ) {
58
0
            ret = -1;
59
0
            goto bad_policy;
60
0
        } else if (!sk_X509_POLICY_DATA_push(cache->data, data)) {
61
0
            X509V3err(X509V3_F_POLICY_CACHE_CREATE, ERR_R_MALLOC_FAILURE);
62
0
            goto bad_policy;
63
0
        }
64
0
        data = NULL;
65
0
    }
66
0
    ret = 1;
67
0
68
0
 bad_policy:
69
0
    if (ret == -1)
70
0
        x->ex_flags |= EXFLAG_INVALID_POLICY;
71
0
    policy_data_free(data);
72
0
 just_cleanup:
73
0
    sk_POLICYINFO_pop_free(policies, POLICYINFO_free);
74
0
    if (ret <= 0) {
75
0
        sk_X509_POLICY_DATA_pop_free(cache->data, policy_data_free);
76
0
        cache->data = NULL;
77
0
    }
78
0
    return ret;
79
0
}
80
81
static int policy_cache_new(X509 *x)
82
0
{
83
0
    X509_POLICY_CACHE *cache;
84
0
    ASN1_INTEGER *ext_any = NULL;
85
0
    POLICY_CONSTRAINTS *ext_pcons = NULL;
86
0
    CERTIFICATEPOLICIES *ext_cpols = NULL;
87
0
    POLICY_MAPPINGS *ext_pmaps = NULL;
88
0
    int i;
89
0
90
0
    if (x->policy_cache != NULL)
91
0
        return 1;
92
0
    cache = OPENSSL_malloc(sizeof(*cache));
93
0
    if (cache == NULL) {
94
0
        X509V3err(X509V3_F_POLICY_CACHE_NEW, ERR_R_MALLOC_FAILURE);
95
0
        return 0;
96
0
    }
97
0
    cache->anyPolicy = NULL;
98
0
    cache->data = NULL;
99
0
    cache->any_skip = -1;
100
0
    cache->explicit_skip = -1;
101
0
    cache->map_skip = -1;
102
0
103
0
    x->policy_cache = cache;
104
0
105
0
    /*
106
0
     * Handle requireExplicitPolicy *first*. Need to process this even if we
107
0
     * don't have any policies.
108
0
     */
109
0
    ext_pcons = X509_get_ext_d2i(x, NID_policy_constraints, &i, NULL);
110
0
111
0
    if (!ext_pcons) {
112
0
        if (i != -1)
113
0
            goto bad_cache;
114
0
    } else {
115
0
        if (!ext_pcons->requireExplicitPolicy
116
0
            && !ext_pcons->inhibitPolicyMapping)
117
0
            goto bad_cache;
118
0
        if (!policy_cache_set_int(&cache->explicit_skip,
119
0
                                  ext_pcons->requireExplicitPolicy))
120
0
            goto bad_cache;
121
0
        if (!policy_cache_set_int(&cache->map_skip,
122
0
                                  ext_pcons->inhibitPolicyMapping))
123
0
            goto bad_cache;
124
0
    }
125
0
126
0
    /* Process CertificatePolicies */
127
0
128
0
    ext_cpols = X509_get_ext_d2i(x, NID_certificate_policies, &i, NULL);
129
0
    /*
130
0
     * If no CertificatePolicies extension or problem decoding then there is
131
0
     * no point continuing because the valid policies will be NULL.
132
0
     */
133
0
    if (!ext_cpols) {
134
0
        /* If not absent some problem with extension */
135
0
        if (i != -1)
136
0
            goto bad_cache;
137
0
        return 1;
138
0
    }
139
0
140
0
    i = policy_cache_create(x, ext_cpols, i);
141
0
142
0
    /* NB: ext_cpols freed by policy_cache_set_policies */
143
0
144
0
    if (i <= 0)
145
0
        return i;
146
0
147
0
    ext_pmaps = X509_get_ext_d2i(x, NID_policy_mappings, &i, NULL);
148
0
149
0
    if (!ext_pmaps) {
150
0
        /* If not absent some problem with extension */
151
0
        if (i != -1)
152
0
            goto bad_cache;
153
0
    } else {
154
0
        i = policy_cache_set_mapping(x, ext_pmaps);
155
0
        if (i <= 0)
156
0
            goto bad_cache;
157
0
    }
158
0
159
0
    ext_any = X509_get_ext_d2i(x, NID_inhibit_any_policy, &i, NULL);
160
0
161
0
    if (!ext_any) {
162
0
        if (i != -1)
163
0
            goto bad_cache;
164
0
    } else if (!policy_cache_set_int(&cache->any_skip, ext_any))
165
0
        goto bad_cache;
166
0
    goto just_cleanup;
167
0
168
0
 bad_cache:
169
0
    x->ex_flags |= EXFLAG_INVALID_POLICY;
170
0
171
0
 just_cleanup:
172
0
    POLICY_CONSTRAINTS_free(ext_pcons);
173
0
    ASN1_INTEGER_free(ext_any);
174
0
    return 1;
175
0
176
0
}
177
178
void policy_cache_free(X509_POLICY_CACHE *cache)
179
0
{
180
0
    if (!cache)
181
0
        return;
182
0
    policy_data_free(cache->anyPolicy);
183
0
    sk_X509_POLICY_DATA_pop_free(cache->data, policy_data_free);
184
0
    OPENSSL_free(cache);
185
0
}
186
187
const X509_POLICY_CACHE *policy_cache_set(X509 *x)
188
0
{
189
0
190
0
    if (x->policy_cache == NULL) {
191
0
        CRYPTO_THREAD_write_lock(x->lock);
192
0
        policy_cache_new(x);
193
0
        CRYPTO_THREAD_unlock(x->lock);
194
0
    }
195
0
196
0
    return x->policy_cache;
197
0
198
0
}
199
200
X509_POLICY_DATA *policy_cache_find_data(const X509_POLICY_CACHE *cache,
201
                                         const ASN1_OBJECT *id)
202
0
{
203
0
    int idx;
204
0
    X509_POLICY_DATA tmp;
205
0
    tmp.valid_policy = (ASN1_OBJECT *)id;
206
0
    idx = sk_X509_POLICY_DATA_find(cache->data, &tmp);
207
0
    return sk_X509_POLICY_DATA_value(cache->data, idx);
208
0
}
209
210
static int policy_data_cmp(const X509_POLICY_DATA *const *a,
211
                           const X509_POLICY_DATA *const *b)
212
0
{
213
0
    return OBJ_cmp((*a)->valid_policy, (*b)->valid_policy);
214
0
}
215
216
static int policy_cache_set_int(long *out, ASN1_INTEGER *value)
217
0
{
218
0
    if (value == NULL)
219
0
        return 1;
220
0
    if (value->type == V_ASN1_NEG_INTEGER)
221
0
        return 0;
222
0
    *out = ASN1_INTEGER_get(value);
223
0
    return 1;
224
0
}