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