/src/openssl30/crypto/x509/pcy_cache.c
| Line | Count | Source (jump to first uncovered line) | 
| 1 |  | /* | 
| 2 |  |  * Copyright 2004-2021 The OpenSSL Project Authors. All Rights Reserved. | 
| 3 |  |  * | 
| 4 |  |  * Licensed under the Apache License 2.0 (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 "crypto/x509.h" | 
| 14 |  |  | 
| 15 |  | #include "pcy_local.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 |  | 
 | 
| 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 |         ERR_raise(ERR_LIB_X509V3, 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 = ossl_policy_data_new(policy, NULL, crit); | 
| 44 | 0 |         if (data == NULL) { | 
| 45 | 0 |             ERR_raise(ERR_LIB_X509V3, ERR_R_MALLOC_FAILURE); | 
| 46 | 0 |             goto just_cleanup; | 
| 47 | 0 |         } | 
| 48 |  |         /* | 
| 49 |  |          * Duplicate policy OIDs are illegal: reject if matches found. | 
| 50 |  |          */ | 
| 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 |             ERR_raise(ERR_LIB_X509V3, ERR_R_MALLOC_FAILURE); | 
| 62 | 0 |             goto bad_policy; | 
| 63 | 0 |         } | 
| 64 | 0 |         data = NULL; | 
| 65 | 0 |     } | 
| 66 | 0 |     ret = 1; | 
| 67 |  | 
 | 
| 68 | 0 |  bad_policy: | 
| 69 | 0 |     if (ret == -1) | 
| 70 | 0 |         x->ex_flags |= EXFLAG_INVALID_POLICY; | 
| 71 | 0 |     ossl_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, ossl_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 |  | 
 | 
| 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 |         ERR_raise(ERR_LIB_X509V3, 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 |  | 
 | 
| 103 | 0 |     x->policy_cache = cache; | 
| 104 |  |  | 
| 105 |  |     /* | 
| 106 |  |      * Handle requireExplicitPolicy *first*. Need to process this even if we | 
| 107 |  |      * don't have any policies. | 
| 108 |  |      */ | 
| 109 | 0 |     ext_pcons = X509_get_ext_d2i(x, NID_policy_constraints, &i, NULL); | 
| 110 |  | 
 | 
| 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 |  |  | 
| 126 |  |     /* Process CertificatePolicies */ | 
| 127 |  |  | 
| 128 | 0 |     ext_cpols = X509_get_ext_d2i(x, NID_certificate_policies, &i, NULL); | 
| 129 |  |     /* | 
| 130 |  |      * If no CertificatePolicies extension or problem decoding then there is | 
| 131 |  |      * no point continuing because the valid policies will be NULL. | 
| 132 |  |      */ | 
| 133 | 0 |     if (!ext_cpols) { | 
| 134 |  |         /* If not absent some problem with extension */ | 
| 135 | 0 |         if (i != -1) | 
| 136 | 0 |             goto bad_cache; | 
| 137 | 0 |         return 1; | 
| 138 | 0 |     } | 
| 139 |  |  | 
| 140 | 0 |     i = policy_cache_create(x, ext_cpols, i); | 
| 141 |  |  | 
| 142 |  |     /* NB: ext_cpols freed by policy_cache_set_policies */ | 
| 143 |  | 
 | 
| 144 | 0 |     if (i <= 0) | 
| 145 | 0 |         return i; | 
| 146 |  |  | 
| 147 | 0 |     ext_pmaps = X509_get_ext_d2i(x, NID_policy_mappings, &i, NULL); | 
| 148 |  | 
 | 
| 149 | 0 |     if (!ext_pmaps) { | 
| 150 |  |         /* If not absent some problem with extension */ | 
| 151 | 0 |         if (i != -1) | 
| 152 | 0 |             goto bad_cache; | 
| 153 | 0 |     } else { | 
| 154 | 0 |         i = ossl_policy_cache_set_mapping(x, ext_pmaps); | 
| 155 | 0 |         if (i <= 0) | 
| 156 | 0 |             goto bad_cache; | 
| 157 | 0 |     } | 
| 158 |  |  | 
| 159 | 0 |     ext_any = X509_get_ext_d2i(x, NID_inhibit_any_policy, &i, NULL); | 
| 160 |  | 
 | 
| 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 |  |  | 
| 168 | 0 |  bad_cache: | 
| 169 | 0 |     x->ex_flags |= EXFLAG_INVALID_POLICY; | 
| 170 |  | 
 | 
| 171 | 0 |  just_cleanup: | 
| 172 | 0 |     POLICY_CONSTRAINTS_free(ext_pcons); | 
| 173 | 0 |     ASN1_INTEGER_free(ext_any); | 
| 174 | 0 |     return 1; | 
| 175 |  | 
 | 
| 176 | 0 | } | 
| 177 |  |  | 
| 178 |  | void ossl_policy_cache_free(X509_POLICY_CACHE *cache) | 
| 179 | 605k | { | 
| 180 | 605k |     if (!cache) | 
| 181 | 605k |         return; | 
| 182 | 0 |     ossl_policy_data_free(cache->anyPolicy); | 
| 183 | 0 |     sk_X509_POLICY_DATA_pop_free(cache->data, ossl_policy_data_free); | 
| 184 | 0 |     OPENSSL_free(cache); | 
| 185 | 0 | } | 
| 186 |  |  | 
| 187 |  | const X509_POLICY_CACHE *ossl_policy_cache_set(X509 *x) | 
| 188 | 0 | { | 
| 189 |  | 
 | 
| 190 | 0 |     if (x->policy_cache == NULL) { | 
| 191 | 0 |         if (!CRYPTO_THREAD_write_lock(x->lock)) | 
| 192 | 0 |             return NULL; | 
| 193 | 0 |         policy_cache_new(x); | 
| 194 | 0 |         CRYPTO_THREAD_unlock(x->lock); | 
| 195 | 0 |     } | 
| 196 |  |  | 
| 197 | 0 |     return x->policy_cache; | 
| 198 |  | 
 | 
| 199 | 0 | } | 
| 200 |  |  | 
| 201 |  | X509_POLICY_DATA *ossl_policy_cache_find_data(const X509_POLICY_CACHE *cache, | 
| 202 |  |                                               const ASN1_OBJECT *id) | 
| 203 | 0 | { | 
| 204 | 0 |     int idx; | 
| 205 | 0 |     X509_POLICY_DATA tmp; | 
| 206 | 0 |     tmp.valid_policy = (ASN1_OBJECT *)id; | 
| 207 | 0 |     idx = sk_X509_POLICY_DATA_find(cache->data, &tmp); | 
| 208 | 0 |     return sk_X509_POLICY_DATA_value(cache->data, idx); | 
| 209 | 0 | } | 
| 210 |  |  | 
| 211 |  | static int policy_data_cmp(const X509_POLICY_DATA *const *a, | 
| 212 |  |                            const X509_POLICY_DATA *const *b) | 
| 213 | 0 | { | 
| 214 | 0 |     return OBJ_cmp((*a)->valid_policy, (*b)->valid_policy); | 
| 215 | 0 | } | 
| 216 |  |  | 
| 217 |  | static int policy_cache_set_int(long *out, ASN1_INTEGER *value) | 
| 218 | 0 | { | 
| 219 | 0 |     if (value == NULL) | 
| 220 | 0 |         return 1; | 
| 221 | 0 |     if (value->type == V_ASN1_NEG_INTEGER) | 
| 222 | 0 |         return 0; | 
| 223 | 0 |     *out = ASN1_INTEGER_get(value); | 
| 224 | 0 |     return 1; | 
| 225 | 0 | } |