GCC Code Coverage Report
Directory: ./ Exec Total Coverage
File: lib/libcrypto/x509v3/pcy_cache.c Lines: 2 91 2.2 %
Date: 2017-11-07 Branches: 1 72 1.4 %

Line Branch Exec Source
1
/* $OpenBSD: pcy_cache.c,v 1.5 2014/07/11 08:44:49 jsing Exp $ */
2
/* Written by Dr Stephen N Henson (steve@openssl.org) for the OpenSSL
3
 * project 2004.
4
 */
5
/* ====================================================================
6
 * Copyright (c) 2004 The OpenSSL Project.  All rights reserved.
7
 *
8
 * Redistribution and use in source and binary forms, with or without
9
 * modification, are permitted provided that the following conditions
10
 * are met:
11
 *
12
 * 1. Redistributions of source code must retain the above copyright
13
 *    notice, this list of conditions and the following disclaimer.
14
 *
15
 * 2. Redistributions in binary form must reproduce the above copyright
16
 *    notice, this list of conditions and the following disclaimer in
17
 *    the documentation and/or other materials provided with the
18
 *    distribution.
19
 *
20
 * 3. All advertising materials mentioning features or use of this
21
 *    software must display the following acknowledgment:
22
 *    "This product includes software developed by the OpenSSL Project
23
 *    for use in the OpenSSL Toolkit. (http://www.OpenSSL.org/)"
24
 *
25
 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
26
 *    endorse or promote products derived from this software without
27
 *    prior written permission. For written permission, please contact
28
 *    licensing@OpenSSL.org.
29
 *
30
 * 5. Products derived from this software may not be called "OpenSSL"
31
 *    nor may "OpenSSL" appear in their names without prior written
32
 *    permission of the OpenSSL Project.
33
 *
34
 * 6. Redistributions of any form whatsoever must retain the following
35
 *    acknowledgment:
36
 *    "This product includes software developed by the OpenSSL Project
37
 *    for use in the OpenSSL Toolkit (http://www.OpenSSL.org/)"
38
 *
39
 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
40
 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
41
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
42
 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE OpenSSL PROJECT OR
43
 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
44
 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
45
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
46
 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
48
 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
49
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
50
 * OF THE POSSIBILITY OF SUCH DAMAGE.
51
 * ====================================================================
52
 *
53
 * This product includes cryptographic software written by Eric Young
54
 * (eay@cryptsoft.com).  This product includes software written by Tim
55
 * Hudson (tjh@cryptsoft.com).
56
 *
57
 */
58
59
#include <openssl/x509.h>
60
#include <openssl/x509v3.h>
61
62
#include "pcy_int.h"
63
64
static int policy_data_cmp(const X509_POLICY_DATA * const *a,
65
    const X509_POLICY_DATA * const *b);
66
static int policy_cache_set_int(long *out, ASN1_INTEGER *value);
67
68
/* Set cache entry according to CertificatePolicies extension.
69
 * Note: this destroys the passed CERTIFICATEPOLICIES structure.
70
 */
71
72
static int
73
policy_cache_create(X509 *x, CERTIFICATEPOLICIES *policies, int crit)
74
{
75
	int i;
76
	int ret = 0;
77
	X509_POLICY_CACHE *cache = x->policy_cache;
78
	X509_POLICY_DATA *data = NULL;
79
	POLICYINFO *policy;
80
81
	if (sk_POLICYINFO_num(policies) == 0)
82
		goto bad_policy;
83
	cache->data = sk_X509_POLICY_DATA_new(policy_data_cmp);
84
	if (!cache->data)
85
		goto bad_policy;
86
	for (i = 0; i < sk_POLICYINFO_num(policies); i++) {
87
		policy = sk_POLICYINFO_value(policies, i);
88
		data = policy_data_new(policy, NULL, crit);
89
		if (!data)
90
			goto bad_policy;
91
		/* Duplicate policy OIDs are illegal: reject if matches
92
		 * found.
93
		 */
94
		if (OBJ_obj2nid(data->valid_policy) == NID_any_policy) {
95
			if (cache->anyPolicy) {
96
				ret = -1;
97
				goto bad_policy;
98
			}
99
			cache->anyPolicy = data;
100
		} else if (sk_X509_POLICY_DATA_find(cache->data, data) != -1) {
101
			ret = -1;
102
			goto bad_policy;
103
		} else if (!sk_X509_POLICY_DATA_push(cache->data, data))
104
			goto bad_policy;
105
		data = NULL;
106
	}
107
	ret = 1;
108
109
bad_policy:
110
	if (ret == -1)
111
		x->ex_flags |= EXFLAG_INVALID_POLICY;
112
	if (data)
113
		policy_data_free(data);
114
	sk_POLICYINFO_pop_free(policies, POLICYINFO_free);
115
	if (ret <= 0) {
116
		sk_X509_POLICY_DATA_pop_free(cache->data, policy_data_free);
117
		cache->data = NULL;
118
	}
119
	return ret;
120
}
121
122
static int
123
policy_cache_new(X509 *x)
124
{
125
	X509_POLICY_CACHE *cache;
126
	ASN1_INTEGER *ext_any = NULL;
127
	POLICY_CONSTRAINTS *ext_pcons = NULL;
128
	CERTIFICATEPOLICIES *ext_cpols = NULL;
129
	POLICY_MAPPINGS *ext_pmaps = NULL;
130
	int i;
131
132
	cache = malloc(sizeof(X509_POLICY_CACHE));
133
	if (!cache)
134
		return 0;
135
	cache->anyPolicy = NULL;
136
	cache->data = NULL;
137
	cache->any_skip = -1;
138
	cache->explicit_skip = -1;
139
	cache->map_skip = -1;
140
141
	x->policy_cache = cache;
142
143
	/* Handle requireExplicitPolicy *first*. Need to process this
144
	 * even if we don't have any policies.
145
	 */
146
	ext_pcons = X509_get_ext_d2i(x, NID_policy_constraints, &i, NULL);
147
148
	if (!ext_pcons) {
149
		if (i != -1)
150
			goto bad_cache;
151
	} else {
152
		if (!ext_pcons->requireExplicitPolicy &&
153
		    !ext_pcons->inhibitPolicyMapping)
154
			goto bad_cache;
155
		if (!policy_cache_set_int(&cache->explicit_skip,
156
		    ext_pcons->requireExplicitPolicy))
157
			goto bad_cache;
158
		if (!policy_cache_set_int(&cache->map_skip,
159
		    ext_pcons->inhibitPolicyMapping))
160
			goto bad_cache;
161
	}
162
163
	/* Process CertificatePolicies */
164
165
	ext_cpols = X509_get_ext_d2i(x, NID_certificate_policies, &i, NULL);
166
	/* If no CertificatePolicies extension or problem decoding then
167
	 * there is no point continuing because the valid policies will be
168
	 * NULL.
169
	 */
170
	if (!ext_cpols) {
171
		/* If not absent some problem with extension */
172
		if (i != -1)
173
			goto bad_cache;
174
		return 1;
175
	}
176
177
	i = policy_cache_create(x, ext_cpols, i);
178
179
	/* NB: ext_cpols freed by policy_cache_set_policies */
180
181
	if (i <= 0)
182
		return i;
183
184
	ext_pmaps = X509_get_ext_d2i(x, NID_policy_mappings, &i, NULL);
185
186
	if (!ext_pmaps) {
187
		/* If not absent some problem with extension */
188
		if (i != -1)
189
			goto bad_cache;
190
	} else {
191
		i = policy_cache_set_mapping(x, ext_pmaps);
192
		if (i <= 0)
193
			goto bad_cache;
194
	}
195
196
	ext_any = X509_get_ext_d2i(x, NID_inhibit_any_policy, &i, NULL);
197
198
	if (!ext_any) {
199
		if (i != -1)
200
			goto bad_cache;
201
	} else if (!policy_cache_set_int(&cache->any_skip, ext_any))
202
		goto bad_cache;
203
204
	if (0) {
205
bad_cache:
206
		x->ex_flags |= EXFLAG_INVALID_POLICY;
207
	}
208
209
	if (ext_pcons)
210
		POLICY_CONSTRAINTS_free(ext_pcons);
211
212
	if (ext_any)
213
		ASN1_INTEGER_free(ext_any);
214
215
	return 1;
216
}
217
218
void
219
policy_cache_free(X509_POLICY_CACHE *cache)
220
{
221
31072
	if (!cache)
222
		return;
223
	if (cache->anyPolicy)
224
		policy_data_free(cache->anyPolicy);
225
	if (cache->data)
226
		sk_X509_POLICY_DATA_pop_free(cache->data, policy_data_free);
227
	free(cache);
228
15536
}
229
230
const X509_POLICY_CACHE *
231
policy_cache_set(X509 *x)
232
{
233
	if (x->policy_cache == NULL) {
234
		CRYPTO_w_lock(CRYPTO_LOCK_X509);
235
		policy_cache_new(x);
236
		CRYPTO_w_unlock(CRYPTO_LOCK_X509);
237
	}
238
239
	return x->policy_cache;
240
}
241
242
X509_POLICY_DATA *
243
policy_cache_find_data(const X509_POLICY_CACHE *cache, const ASN1_OBJECT *id)
244
{
245
	int idx;
246
	X509_POLICY_DATA tmp;
247
248
	tmp.valid_policy = (ASN1_OBJECT *)id;
249
	idx = sk_X509_POLICY_DATA_find(cache->data, &tmp);
250
	if (idx == -1)
251
		return NULL;
252
	return sk_X509_POLICY_DATA_value(cache->data, idx);
253
}
254
255
static int
256
policy_data_cmp(const X509_POLICY_DATA * const *a,
257
    const X509_POLICY_DATA * const *b)
258
{
259
	return OBJ_cmp((*a)->valid_policy, (*b)->valid_policy);
260
}
261
262
static int
263
policy_cache_set_int(long *out, ASN1_INTEGER *value)
264
{
265
	if (value == NULL)
266
		return 1;
267
	if (value->type == V_ASN1_NEG_INTEGER)
268
		return 0;
269
	*out = ASN1_INTEGER_get(value);
270
	return 1;
271
}