• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /*
2  * Written by Dr Stephen N Henson (steve@openssl.org) for the OpenSSL project
3  * 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 #include <openssl/mem.h>
58 #include <openssl/obj.h>
59 #include <openssl/thread.h>
60 #include <openssl/x509.h>
61 #include <openssl/x509v3.h>
62 
63 #include "pcy_int.h"
64 #include "../internal.h"
65 #include "../x509/internal.h"
66 
67 static int policy_data_cmp(const X509_POLICY_DATA **a,
68                            const X509_POLICY_DATA **b);
69 static int policy_cache_set_int(long *out, ASN1_INTEGER *value);
70 
71 /*
72  * Set cache entry according to CertificatePolicies extension. Note: this
73  * destroys the passed CERTIFICATEPOLICIES structure.
74  */
75 
policy_cache_create(X509 * x,CERTIFICATEPOLICIES * policies,int crit)76 static int policy_cache_create(X509 *x,
77                                CERTIFICATEPOLICIES *policies, int crit)
78 {
79     size_t i;
80     int ret = 0;
81     X509_POLICY_CACHE *cache = x->policy_cache;
82     X509_POLICY_DATA *data = NULL;
83     POLICYINFO *policy;
84     if (sk_POLICYINFO_num(policies) == 0)
85         goto bad_policy;
86     cache->data = sk_X509_POLICY_DATA_new(policy_data_cmp);
87     if (!cache->data)
88         goto bad_policy;
89     for (i = 0; i < sk_POLICYINFO_num(policies); i++) {
90         policy = sk_POLICYINFO_value(policies, i);
91         data = policy_data_new(policy, NULL, crit);
92         if (!data)
93             goto bad_policy;
94         /*
95          * Duplicate policy OIDs are illegal: reject if matches found.
96          */
97         sk_X509_POLICY_DATA_sort(cache->data);
98         if (OBJ_obj2nid(data->valid_policy) == NID_any_policy) {
99             if (cache->anyPolicy) {
100                 ret = -1;
101                 goto bad_policy;
102             }
103             cache->anyPolicy = data;
104         } else if (sk_X509_POLICY_DATA_find(cache->data, NULL, data)) {
105             ret = -1;
106             goto bad_policy;
107         } else if (!sk_X509_POLICY_DATA_push(cache->data, data))
108             goto bad_policy;
109         data = NULL;
110     }
111     ret = 1;
112  bad_policy:
113     if (ret == -1)
114         x->ex_flags |= EXFLAG_INVALID_POLICY;
115     if (data)
116         policy_data_free(data);
117     sk_POLICYINFO_pop_free(policies, POLICYINFO_free);
118     if (ret <= 0) {
119         sk_X509_POLICY_DATA_pop_free(cache->data, policy_data_free);
120         cache->data = NULL;
121     }
122     return ret;
123 }
124 
policy_cache_new(X509 * x)125 static int policy_cache_new(X509 *x)
126 {
127     X509_POLICY_CACHE *cache;
128     ASN1_INTEGER *ext_any = NULL;
129     POLICY_CONSTRAINTS *ext_pcons = NULL;
130     CERTIFICATEPOLICIES *ext_cpols = NULL;
131     POLICY_MAPPINGS *ext_pmaps = NULL;
132     int i;
133     cache = OPENSSL_malloc(sizeof(X509_POLICY_CACHE));
134     if (!cache)
135         return 0;
136     cache->anyPolicy = NULL;
137     cache->data = NULL;
138     cache->any_skip = -1;
139     cache->explicit_skip = -1;
140     cache->map_skip = -1;
141 
142     x->policy_cache = cache;
143 
144     /*
145      * Handle requireExplicitPolicy *first*. Need to process this even if we
146      * don't have any policies.
147      */
148     ext_pcons = X509_get_ext_d2i(x, NID_policy_constraints, &i, NULL);
149 
150     if (!ext_pcons) {
151         if (i != -1)
152             goto bad_cache;
153     } else {
154         if (!ext_pcons->requireExplicitPolicy
155             && !ext_pcons->inhibitPolicyMapping)
156             goto bad_cache;
157         if (!policy_cache_set_int(&cache->explicit_skip,
158                                   ext_pcons->requireExplicitPolicy))
159             goto bad_cache;
160         if (!policy_cache_set_int(&cache->map_skip,
161                                   ext_pcons->inhibitPolicyMapping))
162             goto bad_cache;
163     }
164 
165     /* Process CertificatePolicies */
166 
167     ext_cpols = X509_get_ext_d2i(x, NID_certificate_policies, &i, NULL);
168     /*
169      * If no CertificatePolicies extension or problem decoding then there is
170      * no point continuing because the valid policies will be NULL.
171      */
172     if (!ext_cpols) {
173         /* If not absent some problem with extension */
174         if (i != -1)
175             goto bad_cache;
176         return 1;
177     }
178 
179     i = policy_cache_create(x, ext_cpols, i);
180 
181     /* NB: ext_cpols freed by policy_cache_set_policies */
182 
183     if (i <= 0)
184         return i;
185 
186     ext_pmaps = X509_get_ext_d2i(x, NID_policy_mappings, &i, NULL);
187 
188     if (!ext_pmaps) {
189         /* If not absent some problem with extension */
190         if (i != -1)
191             goto bad_cache;
192     } else {
193         i = policy_cache_set_mapping(x, ext_pmaps);
194         if (i <= 0)
195             goto bad_cache;
196     }
197 
198     ext_any = X509_get_ext_d2i(x, NID_inhibit_any_policy, &i, NULL);
199 
200     if (!ext_any) {
201         if (i != -1)
202             goto bad_cache;
203     } else if (!policy_cache_set_int(&cache->any_skip, ext_any))
204         goto bad_cache;
205 
206     if (0) {
207  bad_cache:
208         x->ex_flags |= EXFLAG_INVALID_POLICY;
209     }
210 
211     if (ext_pcons)
212         POLICY_CONSTRAINTS_free(ext_pcons);
213 
214     if (ext_any)
215         ASN1_INTEGER_free(ext_any);
216 
217     return 1;
218 
219 }
220 
policy_cache_free(X509_POLICY_CACHE * cache)221 void policy_cache_free(X509_POLICY_CACHE *cache)
222 {
223     if (!cache)
224         return;
225     if (cache->anyPolicy)
226         policy_data_free(cache->anyPolicy);
227     if (cache->data)
228         sk_X509_POLICY_DATA_pop_free(cache->data, policy_data_free);
229     OPENSSL_free(cache);
230 }
231 
232 /*
233  * g_x509_policy_cache_lock is used to protect against concurrent calls to
234  * |policy_cache_new|. Ideally this would be done with a |CRYPTO_once_t| in
235  * the |X509| structure, but |CRYPTO_once_t| isn't public.
236  */
237 static struct CRYPTO_STATIC_MUTEX g_x509_policy_cache_lock =
238     CRYPTO_STATIC_MUTEX_INIT;
239 
policy_cache_set(X509 * x)240 const X509_POLICY_CACHE *policy_cache_set(X509 *x)
241 {
242     X509_POLICY_CACHE *cache;
243 
244     CRYPTO_STATIC_MUTEX_lock_read(&g_x509_policy_cache_lock);
245     cache = x->policy_cache;
246     CRYPTO_STATIC_MUTEX_unlock_read(&g_x509_policy_cache_lock);
247 
248     if (cache != NULL)
249         return cache;
250 
251     CRYPTO_STATIC_MUTEX_lock_write(&g_x509_policy_cache_lock);
252     if (x->policy_cache == NULL)
253         policy_cache_new(x);
254     cache = x->policy_cache;
255     CRYPTO_STATIC_MUTEX_unlock_write(&g_x509_policy_cache_lock);
256 
257     return cache;
258 }
259 
policy_cache_find_data(const X509_POLICY_CACHE * cache,const ASN1_OBJECT * id)260 X509_POLICY_DATA *policy_cache_find_data(const X509_POLICY_CACHE *cache,
261                                          const ASN1_OBJECT *id)
262 {
263     size_t idx;
264     X509_POLICY_DATA tmp;
265 
266     tmp.valid_policy = (ASN1_OBJECT *)id;
267     sk_X509_POLICY_DATA_sort(cache->data);
268     if (!sk_X509_POLICY_DATA_find(cache->data, &idx, &tmp))
269         return NULL;
270     return sk_X509_POLICY_DATA_value(cache->data, idx);
271 }
272 
policy_data_cmp(const X509_POLICY_DATA ** a,const X509_POLICY_DATA ** b)273 static int policy_data_cmp(const X509_POLICY_DATA **a,
274                            const X509_POLICY_DATA **b)
275 {
276     return OBJ_cmp((*a)->valid_policy, (*b)->valid_policy);
277 }
278 
policy_cache_set_int(long * out,ASN1_INTEGER * value)279 static int policy_cache_set_int(long *out, ASN1_INTEGER *value)
280 {
281     if (value == NULL)
282         return 1;
283     if (value->type == V_ASN1_NEG_INTEGER)
284         return 0;
285     *out = ASN1_INTEGER_get(value);
286     return 1;
287 }
288