1 /* 2 * Written by Dr Stephen N Henson (steve (at) 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 (at) 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 (at) cryptsoft.com). This product includes software written by Tim 55 * Hudson (tjh (at) 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 66 static int policy_data_cmp(const X509_POLICY_DATA **a, 67 const X509_POLICY_DATA **b); 68 static int policy_cache_set_int(long *out, ASN1_INTEGER *value); 69 70 /* 71 * Set cache entry according to CertificatePolicies extension. Note: this 72 * destroys the passed CERTIFICATEPOLICIES structure. 73 */ 74 75 static int policy_cache_create(X509 *x, 76 CERTIFICATEPOLICIES *policies, int crit) 77 { 78 size_t i; 79 int ret = 0; 80 X509_POLICY_CACHE *cache = x->policy_cache; 81 X509_POLICY_DATA *data = NULL; 82 POLICYINFO *policy; 83 if (sk_POLICYINFO_num(policies) == 0) 84 goto bad_policy; 85 cache->data = sk_X509_POLICY_DATA_new(policy_data_cmp); 86 if (!cache->data) 87 goto bad_policy; 88 for (i = 0; i < sk_POLICYINFO_num(policies); i++) { 89 policy = sk_POLICYINFO_value(policies, i); 90 data = policy_data_new(policy, NULL, crit); 91 if (!data) 92 goto bad_policy; 93 /* 94 * Duplicate policy OIDs are illegal: reject if matches found. 95 */ 96 if (OBJ_obj2nid(data->valid_policy) == NID_any_policy) { 97 if (cache->anyPolicy) { 98 ret = -1; 99 goto bad_policy; 100 } 101 cache->anyPolicy = data; 102 } else if (sk_X509_POLICY_DATA_find(cache->data, NULL, data)) { 103 ret = -1; 104 goto bad_policy; 105 } else if (!sk_X509_POLICY_DATA_push(cache->data, data)) 106 goto bad_policy; 107 data = NULL; 108 } 109 ret = 1; 110 bad_policy: 111 if (ret == -1) 112 x->ex_flags |= EXFLAG_INVALID_POLICY; 113 if (data) 114 policy_data_free(data); 115 sk_POLICYINFO_pop_free(policies, POLICYINFO_free); 116 if (ret <= 0) { 117 sk_X509_POLICY_DATA_pop_free(cache->data, policy_data_free); 118 cache->data = NULL; 119 } 120 return ret; 121 } 122 123 static int 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 cache = OPENSSL_malloc(sizeof(X509_POLICY_CACHE)); 132 if (!cache) 133 return 0; 134 cache->anyPolicy = NULL; 135 cache->data = NULL; 136 cache->any_skip = -1; 137 cache->explicit_skip = -1; 138 cache->map_skip = -1; 139 140 x->policy_cache = cache; 141 142 /* 143 * Handle requireExplicitPolicy *first*. Need to process this even if we 144 * 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 /* 167 * If no CertificatePolicies extension or problem decoding then there is 168 * no point continuing because the valid policies will be 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 219 void policy_cache_free(X509_POLICY_CACHE *cache) 220 { 221 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 OPENSSL_free(cache); 228 } 229 230 /* 231 * g_x509_policy_cache_lock is used to protect against concurrent calls to 232 * |policy_cache_new|. Ideally this would be done with a |CRYPTO_once_t| in 233 * the |X509| structure, but |CRYPTO_once_t| isn't public. 234 */ 235 static struct CRYPTO_STATIC_MUTEX g_x509_policy_cache_lock = 236 CRYPTO_STATIC_MUTEX_INIT; 237 238 const X509_POLICY_CACHE *policy_cache_set(X509 *x) 239 { 240 X509_POLICY_CACHE *cache; 241 242 CRYPTO_STATIC_MUTEX_lock_read(&g_x509_policy_cache_lock); 243 cache = x->policy_cache; 244 CRYPTO_STATIC_MUTEX_unlock_read(&g_x509_policy_cache_lock); 245 246 if (cache != NULL) 247 return cache; 248 249 CRYPTO_STATIC_MUTEX_lock_write(&g_x509_policy_cache_lock); 250 if (x->policy_cache == NULL) 251 policy_cache_new(x); 252 cache = x->policy_cache; 253 CRYPTO_STATIC_MUTEX_unlock_write(&g_x509_policy_cache_lock); 254 255 return cache; 256 } 257 258 X509_POLICY_DATA *policy_cache_find_data(const X509_POLICY_CACHE *cache, 259 const ASN1_OBJECT *id) 260 { 261 size_t idx; 262 X509_POLICY_DATA tmp; 263 264 tmp.valid_policy = (ASN1_OBJECT *)id; 265 if (!sk_X509_POLICY_DATA_find(cache->data, &idx, &tmp)) 266 return NULL; 267 return sk_X509_POLICY_DATA_value(cache->data, idx); 268 } 269 270 static int policy_data_cmp(const X509_POLICY_DATA **a, 271 const X509_POLICY_DATA **b) 272 { 273 return OBJ_cmp((*a)->valid_policy, (*b)->valid_policy); 274 } 275 276 static int policy_cache_set_int(long *out, ASN1_INTEGER *value) 277 { 278 if (value == NULL) 279 return 1; 280 if (value->type == V_ASN1_NEG_INTEGER) 281 return 0; 282 *out = ASN1_INTEGER_get(value); 283 return 1; 284 } 285
