1 /* $OpenBSD: pcy_cache.c,v 1.1 2020/06/04 15:19:31 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 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 } 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 } 272