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