]> git.ipfire.org Git - thirdparty/openssl.git/blame_incremental - crypto/asn1/tasn_utl.c
Add more negative checks for integers passed to OPENSSL_malloc().
[thirdparty/openssl.git] / crypto / asn1 / tasn_utl.c
... / ...
CommitLineData
1/*
2 * Copyright 2000-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 <stddef.h>
11#include <string.h>
12#include "internal/cryptlib.h"
13#include "internal/refcount.h"
14#include <openssl/asn1.h>
15#include <openssl/asn1t.h>
16#include <openssl/objects.h>
17#include <openssl/err.h>
18#include "asn1_local.h"
19
20/* Utility functions for manipulating fields and offsets */
21
22/* Add 'offset' to 'addr' */
23#define offset2ptr(addr, offset) (void *)(((char *) addr) + offset)
24
25/*
26 * Given an ASN1_ITEM CHOICE type return the selector value
27 */
28
29int ossl_asn1_get_choice_selector(ASN1_VALUE **pval, const ASN1_ITEM *it)
30{
31 int *sel = offset2ptr(*pval, it->utype);
32
33 return *sel;
34}
35
36int ossl_asn1_get_choice_selector_const(const ASN1_VALUE **pval,
37 const ASN1_ITEM *it)
38{
39 int *sel = offset2ptr(*pval, it->utype);
40
41 return *sel;
42}
43
44/*
45 * Given an ASN1_ITEM CHOICE type set the selector value, return old value.
46 */
47
48int ossl_asn1_set_choice_selector(ASN1_VALUE **pval, int value,
49 const ASN1_ITEM *it)
50{
51 int *sel, ret;
52
53 sel = offset2ptr(*pval, it->utype);
54 ret = *sel;
55 *sel = value;
56 return ret;
57}
58
59/*
60 * Do atomic reference counting. The value 'op' decides what to do.
61 * If it is +1 then the count is incremented.
62 * If |op| is 0, lock is initialised and count is set to 1.
63 * If |op| is -1, count is decremented and the return value is the current
64 * reference count or 0 if no reference count is active.
65 * It returns -1 on initialisation error.
66 * Used by ASN1_SEQUENCE construct of X509, X509_REQ, X509_CRL objects
67 */
68int ossl_asn1_do_lock(ASN1_VALUE **pval, int op, const ASN1_ITEM *it)
69{
70 const ASN1_AUX *aux;
71 CRYPTO_REF_COUNT *lck;
72 CRYPTO_RWLOCK **lock;
73 int ret = -1;
74
75 if ((it->itype != ASN1_ITYPE_SEQUENCE)
76 && (it->itype != ASN1_ITYPE_NDEF_SEQUENCE))
77 return 0;
78 aux = it->funcs;
79 if (aux == NULL || (aux->flags & ASN1_AFLG_REFCOUNT) == 0)
80 return 0;
81 lck = offset2ptr(*pval, aux->ref_offset);
82 lock = offset2ptr(*pval, aux->ref_lock);
83
84 switch (op) {
85 case 0:
86 *lck = ret = 1;
87 *lock = CRYPTO_THREAD_lock_new();
88 if (*lock == NULL) {
89 ERR_raise(ERR_LIB_ASN1, ERR_R_MALLOC_FAILURE);
90 return -1;
91 }
92 break;
93 case 1:
94 if (!CRYPTO_UP_REF(lck, &ret, *lock))
95 return -1;
96 break;
97 case -1:
98 if (!CRYPTO_DOWN_REF(lck, &ret, *lock))
99 return -1; /* failed */
100#ifdef REF_PRINT
101 fprintf(stderr, "%p:%4d:%s\n", (void*)it, ret, it->sname);
102#endif
103 REF_ASSERT_ISNT(ret < 0);
104 if (ret == 0) {
105 CRYPTO_THREAD_lock_free(*lock);
106 *lock = NULL;
107 }
108 break;
109 }
110
111 return ret;
112}
113
114static ASN1_ENCODING *asn1_get_enc_ptr(ASN1_VALUE **pval, const ASN1_ITEM *it)
115{
116 const ASN1_AUX *aux;
117
118 if (pval == NULL || *pval == NULL)
119 return NULL;
120 aux = it->funcs;
121 if (aux == NULL || (aux->flags & ASN1_AFLG_ENCODING) == 0)
122 return NULL;
123 return offset2ptr(*pval, aux->enc_offset);
124}
125
126static const ASN1_ENCODING *asn1_get_const_enc_ptr(const ASN1_VALUE **pval,
127 const ASN1_ITEM *it)
128{
129 const ASN1_AUX *aux;
130
131 if (pval == NULL || *pval == NULL)
132 return NULL;
133 aux = it->funcs;
134 if (aux == NULL || (aux->flags & ASN1_AFLG_ENCODING) == 0)
135 return NULL;
136 return offset2ptr(*pval, aux->enc_offset);
137}
138
139void ossl_asn1_enc_init(ASN1_VALUE **pval, const ASN1_ITEM *it)
140{
141 ASN1_ENCODING *enc = asn1_get_enc_ptr(pval, it);
142
143 if (enc != NULL) {
144 enc->enc = NULL;
145 enc->len = 0;
146 enc->modified = 1;
147 }
148}
149
150void ossl_asn1_enc_free(ASN1_VALUE **pval, const ASN1_ITEM *it)
151{
152 ASN1_ENCODING *enc = asn1_get_enc_ptr(pval, it);
153
154 if (enc != NULL) {
155 OPENSSL_free(enc->enc);
156 enc->enc = NULL;
157 enc->len = 0;
158 enc->modified = 1;
159 }
160}
161
162int ossl_asn1_enc_save(ASN1_VALUE **pval, const unsigned char *in, int inlen,
163 const ASN1_ITEM *it)
164{
165 ASN1_ENCODING *enc = asn1_get_enc_ptr(pval, it);
166
167 if (enc == NULL)
168 return 1;
169
170 OPENSSL_free(enc->enc);
171 if (inlen <= 0)
172 return 0;
173 if ((enc->enc = OPENSSL_malloc(inlen)) == NULL) {
174 ERR_raise(ERR_LIB_ASN1, ERR_R_MALLOC_FAILURE);
175 return 0;
176 }
177 memcpy(enc->enc, in, inlen);
178 enc->len = inlen;
179 enc->modified = 0;
180
181 return 1;
182}
183
184int ossl_asn1_enc_restore(int *len, unsigned char **out, const ASN1_VALUE **pval,
185 const ASN1_ITEM *it)
186{
187 const ASN1_ENCODING *enc = asn1_get_const_enc_ptr(pval, it);
188
189 if (enc == NULL || enc->modified)
190 return 0;
191 if (out) {
192 memcpy(*out, enc->enc, enc->len);
193 *out += enc->len;
194 }
195 if (len != NULL)
196 *len = enc->len;
197 return 1;
198}
199
200/* Given an ASN1_TEMPLATE get a pointer to a field */
201ASN1_VALUE **ossl_asn1_get_field_ptr(ASN1_VALUE **pval, const ASN1_TEMPLATE *tt)
202{
203 ASN1_VALUE **pvaltmp = offset2ptr(*pval, tt->offset);
204
205 /*
206 * NOTE for BOOLEAN types the field is just a plain int so we can't
207 * return int **, so settle for (int *).
208 */
209 return pvaltmp;
210}
211
212/* Given an ASN1_TEMPLATE get a const pointer to a field */
213const ASN1_VALUE **ossl_asn1_get_const_field_ptr(const ASN1_VALUE **pval,
214 const ASN1_TEMPLATE *tt)
215{
216 return offset2ptr(*pval, tt->offset);
217}
218
219/*
220 * Handle ANY DEFINED BY template, find the selector, look up the relevant
221 * ASN1_TEMPLATE in the table and return it.
222 */
223
224const ASN1_TEMPLATE *ossl_asn1_do_adb(const ASN1_VALUE *val,
225 const ASN1_TEMPLATE *tt,
226 int nullerr)
227{
228 const ASN1_ADB *adb;
229 const ASN1_ADB_TABLE *atbl;
230 long selector;
231 const ASN1_VALUE **sfld;
232 int i;
233
234 if ((tt->flags & ASN1_TFLG_ADB_MASK) == 0)
235 return tt;
236
237 /* Else ANY DEFINED BY ... get the table */
238 adb = ASN1_ADB_ptr(tt->item);
239
240 /* Get the selector field */
241 sfld = offset2ptr(val, adb->offset);
242
243 /* Check if NULL */
244 if (*sfld == NULL) {
245 if (adb->null_tt == NULL)
246 goto err;
247 return adb->null_tt;
248 }
249
250 /*
251 * Convert type to a long: NB: don't check for NID_undef here because it
252 * might be a legitimate value in the table
253 */
254 if ((tt->flags & ASN1_TFLG_ADB_OID) != 0)
255 selector = OBJ_obj2nid((ASN1_OBJECT *)*sfld);
256 else
257 selector = ASN1_INTEGER_get((ASN1_INTEGER *)*sfld);
258
259 /* Let application callback translate value */
260 if (adb->adb_cb != NULL && adb->adb_cb(&selector) == 0) {
261 ERR_raise(ERR_LIB_ASN1, ASN1_R_UNSUPPORTED_ANY_DEFINED_BY_TYPE);
262 return NULL;
263 }
264
265 /*
266 * Try to find matching entry in table Maybe should check application
267 * types first to allow application override? Might also be useful to
268 * have a flag which indicates table is sorted and we can do a binary
269 * search. For now stick to a linear search.
270 */
271
272 for (atbl = adb->tbl, i = 0; i < adb->tblcount; i++, atbl++)
273 if (atbl->value == selector)
274 return &atbl->tt;
275
276 /* FIXME: need to search application table too */
277
278 /* No match, return default type */
279 if (!adb->default_tt)
280 goto err;
281 return adb->default_tt;
282
283 err:
284 /* FIXME: should log the value or OID of unsupported type */
285 if (nullerr)
286 ERR_raise(ERR_LIB_ASN1, ASN1_R_UNSUPPORTED_ANY_DEFINED_BY_TYPE);
287 return NULL;
288}