Bug Summary

File:src/lib/libcrypto/asn1/tasn_enc.c
Warning:line 198, column 10
Access to field 'asn1_ex_i2d' results in a dereference of a null pointer (loaded from variable 'ef')

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -cc1 -triple amd64-unknown-openbsd7.0 -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name tasn_enc.c -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model pic -pic-level 1 -fhalf-no-semantic-interposition -mframe-pointer=all -relaxed-aliasing -fno-rounding-math -mconstructor-aliases -munwind-tables -target-cpu x86-64 -target-feature +retpoline-indirect-calls -target-feature +retpoline-indirect-branches -tune-cpu generic -debugger-tuning=gdb -fcoverage-compilation-dir=/usr/src/lib/libcrypto/obj -resource-dir /usr/local/lib/clang/13.0.0 -D LIBRESSL_INTERNAL -D LIBRESSL_CRYPTO_INTERNAL -D DSO_DLFCN -D HAVE_DLFCN_H -D HAVE_FUNOPEN -D OPENSSL_NO_HW_PADLOCK -I /usr/src/lib/libcrypto -I /usr/src/lib/libcrypto/asn1 -I /usr/src/lib/libcrypto/bio -I /usr/src/lib/libcrypto/bn -I /usr/src/lib/libcrypto/bytestring -I /usr/src/lib/libcrypto/dh -I /usr/src/lib/libcrypto/dsa -I /usr/src/lib/libcrypto/ec -I /usr/src/lib/libcrypto/ecdh -I /usr/src/lib/libcrypto/ecdsa -I /usr/src/lib/libcrypto/evp -I /usr/src/lib/libcrypto/hmac -I /usr/src/lib/libcrypto/modes -I /usr/src/lib/libcrypto/ocsp -I /usr/src/lib/libcrypto/rsa -I /usr/src/lib/libcrypto/x509 -I /usr/src/lib/libcrypto/obj -D AES_ASM -D BSAES_ASM -D VPAES_ASM -D OPENSSL_IA32_SSE2 -D RSA_ASM -D OPENSSL_BN_ASM_MONT -D OPENSSL_BN_ASM_MONT5 -D OPENSSL_BN_ASM_GF2m -D MD5_ASM -D GHASH_ASM -D RC4_MD5_ASM -D SHA1_ASM -D SHA256_ASM -D SHA512_ASM -D WHIRLPOOL_ASM -D OPENSSL_CPUID_OBJ -D PIC -internal-isystem /usr/local/lib/clang/13.0.0/include -internal-externc-isystem /usr/include -O2 -fdebug-compilation-dir=/usr/src/lib/libcrypto/obj -ferror-limit 19 -fwrapv -D_RET_PROTECTOR -ret-protector -fgnuc-version=4.2.1 -vectorize-loops -vectorize-slp -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-valloc -fno-builtin-free -fno-builtin-strdup -fno-builtin-strndup -analyzer-output=html -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /home/ben/Projects/vmm/scan-build/2022-01-12-194120-40624-1 -x c /usr/src/lib/libcrypto/asn1/tasn_enc.c
1/* $OpenBSD: tasn_enc.c,v 1.24 2022/01/07 11:13:54 tb Exp $ */
2/* Written by Dr Stephen N Henson (steve@openssl.org) for the OpenSSL
3 * project 2000.
4 */
5/* ====================================================================
6 * Copyright (c) 2000-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 <stddef.h>
60#include <string.h>
61
62#include <openssl/asn1.h>
63#include <openssl/asn1t.h>
64#include <openssl/err.h>
65#include <openssl/objects.h>
66
67#include "asn1_locl.h"
68
69static int asn1_i2d_ex_primitive(ASN1_VALUE **pval, unsigned char **out,
70 const ASN1_ITEM *it, int tag, int aclass);
71static int asn1_set_seq_out(STACK_OF(ASN1_VALUE)struct stack_st_ASN1_VALUE *sk, unsigned char **out,
72 int skcontlen, const ASN1_ITEM *item, int do_sort, int iclass);
73static int asn1_template_ex_i2d(ASN1_VALUE **pval, unsigned char **out,
74 const ASN1_TEMPLATE *tt, int tag, int aclass);
75static int asn1_item_flags_i2d(ASN1_VALUE *val, unsigned char **out,
76 const ASN1_ITEM *it, int flags);
77static int asn1_ex_i2c(ASN1_VALUE **pval, unsigned char *cout, int *putype,
78 const ASN1_ITEM *it);
79
80/* Top level i2d equivalents: the 'ndef' variant instructs the encoder
81 * to use indefinite length constructed encoding, where appropriate
82 */
83
84int
85ASN1_item_ndef_i2d(ASN1_VALUE *val, unsigned char **out, const ASN1_ITEM *it)
86{
87 return asn1_item_flags_i2d(val, out, it, ASN1_TFLG_NDEF(0x1<<11));
88}
89
90int
91ASN1_item_i2d(ASN1_VALUE *val, unsigned char **out, const ASN1_ITEM *it)
92{
93 return asn1_item_flags_i2d(val, out, it, 0);
94}
95
96/* Encode an ASN1 item, this is use by the
97 * standard 'i2d' function. 'out' points to
98 * a buffer to output the data to.
99 *
100 * The new i2d has one additional feature. If the output
101 * buffer is NULL (i.e. *out == NULL) then a buffer is
102 * allocated and populated with the encoding.
103 */
104
105static int
106asn1_item_flags_i2d(ASN1_VALUE *val, unsigned char **out, const ASN1_ITEM *it,
107 int flags)
108{
109 if (out && !*out) {
110 unsigned char *p, *buf;
111 int len;
112 len = ASN1_item_ex_i2d(&val, NULL((void*)0), it, -1, flags);
113 if (len <= 0)
114 return len;
115 buf = malloc(len);
116 if (!buf)
117 return -1;
118 p = buf;
119 ASN1_item_ex_i2d(&val, &p, it, -1, flags);
120 *out = buf;
121 return len;
122 }
123
124 return ASN1_item_ex_i2d(&val, out, it, -1, flags);
125}
126
127/* Encode an item, taking care of IMPLICIT tagging (if any).
128 * This function performs the normal item handling: it can be
129 * used in external types.
130 */
131
132int
133ASN1_item_ex_i2d(ASN1_VALUE **pval, unsigned char **out, const ASN1_ITEM *it,
134 int tag, int aclass)
135{
136 const ASN1_TEMPLATE *tt = NULL((void*)0);
137 int i, seqcontlen, seqlen, ndef = 1;
138 const ASN1_EXTERN_FUNCS *ef;
139 const ASN1_AUX *aux = it->funcs;
140 ASN1_aux_cb *asn1_cb = NULL((void*)0);
141
142 if ((it->itype != ASN1_ITYPE_PRIMITIVE0x0) && !*pval)
11
←
Assuming field 'itype' is not equal to ASN1_ITYPE_PRIMITIVE
→
12
←
Assuming pointer value is null
→
13
←
Assuming the condition is false
→
14
←
Taking false branch
→
143 return 0;
144
145 if (aux && aux->asn1_cb)
15
←
Assuming pointer value is null
→
16
←
Assuming 'aux' is null
→
146 asn1_cb = aux->asn1_cb;
147
148 switch (it->itype) {
17
←
Control jumps to 'case 4:' at line 195
→
149
150 case ASN1_ITYPE_PRIMITIVE0x0:
151 if (it->templates)
152 return asn1_template_ex_i2d(pval, out, it->templates,
153 tag, aclass);
154 return asn1_i2d_ex_primitive(pval, out, it, tag, aclass);
155 break;
156
157 case ASN1_ITYPE_MSTRING0x5:
158 /*
159 * It never makes sense for multi-strings to have implicit
160 * tagging, so if tag != -1, then this looks like an error in
161 * the template.
162 */
163 if (tag != -1) {
164 ASN1error(ASN1_R_BAD_TEMPLATE)ERR_put_error(13,(0xfff),(230),"/usr/src/lib/libcrypto/asn1/tasn_enc.c"
,164);
165 return 0;
166 }
167 return asn1_i2d_ex_primitive(pval, out, it, -1, aclass);
168
169 case ASN1_ITYPE_CHOICE0x2:
170 /*
171 * It never makes sense for CHOICE types to have implicit
172 * tagging, so if tag != -1, then this looks like an error in
173 * the template.
174 */
175 if (tag != -1) {
176 ASN1error(ASN1_R_BAD_TEMPLATE)ERR_put_error(13,(0xfff),(230),"/usr/src/lib/libcrypto/asn1/tasn_enc.c"
,176);
177 return 0;
178 }
179 if (asn1_cb && !asn1_cb(ASN1_OP_I2D_PRE6, pval, it, NULL((void*)0)))
180 return 0;
181 i = asn1_get_choice_selector(pval, it);
182 if ((i >= 0) && (i < it->tcount)) {
183 ASN1_VALUE **pchval;
184 const ASN1_TEMPLATE *chtt;
185 chtt = it->templates + i;
186 pchval = asn1_get_field_ptr(pval, chtt);
187 return asn1_template_ex_i2d(pchval, out, chtt,
188 -1, aclass);
189 }
190 /* Fixme: error condition if selector out of range */
191 if (asn1_cb && !asn1_cb(ASN1_OP_I2D_POST7, pval, it, NULL((void*)0)))
192 return 0;
193 break;
194
195 case ASN1_ITYPE_EXTERN0x4:
196 /* If new style i2d it does all the work */
197 ef = it->funcs;
18
←
Null pointer value stored to 'ef'
→
198 return ef->asn1_ex_i2d(pval, out, it, tag, aclass);
19
←
Access to field 'asn1_ex_i2d' results in a dereference of a null pointer (loaded from variable 'ef')
199
200 case ASN1_ITYPE_NDEF_SEQUENCE0x6:
201 /* Use indefinite length constructed if requested */
202 if (aclass & ASN1_TFLG_NDEF(0x1<<11))
203 ndef = 2;
204 /* fall through */
205
206 case ASN1_ITYPE_SEQUENCE0x1:
207 i = asn1_enc_restore(&seqcontlen, out, pval, it);
208 /* An error occurred */
209 if (i < 0)
210 return 0;
211 /* We have a valid cached encoding... */
212 if (i > 0)
213 return seqcontlen;
214 /* Otherwise carry on */
215 seqcontlen = 0;
216 /* If no IMPLICIT tagging set to SEQUENCE, UNIVERSAL */
217 if (tag == -1) {
218 tag = V_ASN1_SEQUENCE16;
219 /* Retain any other flags in aclass */
220 aclass = (aclass & ~ASN1_TFLG_TAG_CLASS(0x3<<6)) |
221 V_ASN1_UNIVERSAL0x00;
222 }
223 if (asn1_cb && !asn1_cb(ASN1_OP_I2D_PRE6, pval, it, NULL((void*)0)))
224 return 0;
225 /* First work out sequence content length */
226 for (i = 0, tt = it->templates; i < it->tcount; tt++, i++) {
227 const ASN1_TEMPLATE *seqtt;
228 ASN1_VALUE **pseqval;
229 seqtt = asn1_do_adb(pval, tt, 1);
230 if (!seqtt)
231 return 0;
232 pseqval = asn1_get_field_ptr(pval, seqtt);
233 /* FIXME: check for errors in enhanced version */
234 seqcontlen += asn1_template_ex_i2d(pseqval, NULL((void*)0), seqtt,
235 -1, aclass);
236 }
237
238 seqlen = ASN1_object_size(ndef, seqcontlen, tag);
239 if (!out)
240 return seqlen;
241 /* Output SEQUENCE header */
242 ASN1_put_object(out, ndef, seqcontlen, tag, aclass);
243 for (i = 0, tt = it->templates; i < it->tcount; tt++, i++) {
244 const ASN1_TEMPLATE *seqtt;
245 ASN1_VALUE **pseqval;
246 seqtt = asn1_do_adb(pval, tt, 1);
247 if (!seqtt)
248 return 0;
249 pseqval = asn1_get_field_ptr(pval, seqtt);
250 /* FIXME: check for errors in enhanced version */
251 asn1_template_ex_i2d(pseqval, out, seqtt, -1, aclass);
252 }
253 if (ndef == 2)
254 ASN1_put_eoc(out);
255 if (asn1_cb && !asn1_cb(ASN1_OP_I2D_POST7, pval, it, NULL((void*)0)))
256 return 0;
257 return seqlen;
258
259 default:
260 return 0;
261
262 }
263 return 0;
264}
265
266int
267ASN1_template_i2d(ASN1_VALUE **pval, unsigned char **out,
268 const ASN1_TEMPLATE *tt)
269{
270 return asn1_template_ex_i2d(pval, out, tt, -1, 0);
1
Calling 'asn1_template_ex_i2d'
→
271}
272
273static int
274asn1_template_ex_i2d(ASN1_VALUE **pval, unsigned char **out,
275 const ASN1_TEMPLATE *tt, int tag, int iclass)
276{
277 int i, ret, flags, ttag, tclass, ndef;
278 flags = tt->flags;
279 /* Work out tag and class to use: tagging may come
280 * either from the template or the arguments, not both
281 * because this would create ambiguity. Additionally
282 * the iclass argument may contain some additional flags
283 * which should be noted and passed down to other levels.
284 */
285 if (flags & ASN1_TFLG_TAG_MASK(0x3 << 3)) {
2
←
Assuming the condition is false
→
3
←
Taking false branch
→
286 /* Error if argument and template tagging */
287 if (tag != -1)
288 /* FIXME: error code here */
289 return -1;
290 /* Get tagging from template */
291 ttag = tt->tag;
292 tclass = flags & ASN1_TFLG_TAG_CLASS(0x3<<6);
293 } else if (tag != -1) {
4
←
Taking false branch
→
294 /* No template tagging, get from arguments */
295 ttag = tag;
296 tclass = iclass & ASN1_TFLG_TAG_CLASS(0x3<<6);
297 } else {
298 ttag = -1;
299 tclass = 0;
300 }
301 /*
302 * Remove any class mask from iflag.
303 */
304 iclass &= ~ASN1_TFLG_TAG_CLASS(0x3<<6);
305
306 /* At this point 'ttag' contains the outer tag to use,
307 * 'tclass' is the class and iclass is any flags passed
308 * to this function.
309 */
310
311 /* if template and arguments require ndef, use it */
312 if ((flags & ASN1_TFLG_NDEF(0x1<<11)) && (iclass & ASN1_TFLG_NDEF(0x1<<11)))
5
←
Assuming the condition is false
→
313 ndef = 2;
314 else
315 ndef = 1;
316
317 if (flags & ASN1_TFLG_SK_MASK(0x3 << 1)) {
6
←
Assuming the condition is false
→
7
←
Taking false branch
→
318 /* SET OF, SEQUENCE OF */
319 STACK_OF(ASN1_VALUE)struct stack_st_ASN1_VALUE *sk = (STACK_OF(ASN1_VALUE)struct stack_st_ASN1_VALUE *)*pval;
320 int isset, sktag, skaclass;
321 int skcontlen, sklen;
322 ASN1_VALUE *skitem;
323
324 if (!*pval)
325 return 0;
326
327 if (flags & ASN1_TFLG_SET_OF(0x1 << 1)) {
328 isset = 1;
329 /* 2 means we reorder */
330 if (flags & ASN1_TFLG_SEQUENCE_OF(0x2 << 1))
331 isset = 2;
332 } else
333 isset = 0;
334
335 /* Work out inner tag value: if EXPLICIT
336 * or no tagging use underlying type.
337 */
338 if ((ttag != -1) && !(flags & ASN1_TFLG_EXPTAG(0x2 << 3))) {
339 sktag = ttag;
340 skaclass = tclass;
341 } else {
342 skaclass = V_ASN1_UNIVERSAL0x00;
343 if (isset)
344 sktag = V_ASN1_SET17;
345 else
346 sktag = V_ASN1_SEQUENCE16;
347 }
348
349 /* Determine total length of items */
350 skcontlen = 0;
351 for (i = 0; i < sk_ASN1_VALUE_num(sk)sk_num(((_STACK*) (1 ? (sk) : (struct stack_st_ASN1_VALUE*)0)
)); i++) {
352 skitem = sk_ASN1_VALUE_value(sk, i)((ASN1_VALUE *)sk_value(((_STACK*) (1 ? (sk) : (struct stack_st_ASN1_VALUE
*)0)), (i)));
353 skcontlen += ASN1_item_ex_i2d(&skitem, NULL((void*)0),
354 tt->item, -1, iclass);
355 }
356 sklen = ASN1_object_size(ndef, skcontlen, sktag);
357 /* If EXPLICIT need length of surrounding tag */
358 if (flags & ASN1_TFLG_EXPTAG(0x2 << 3))
359 ret = ASN1_object_size(ndef, sklen, ttag);
360 else
361 ret = sklen;
362
363 if (!out)
364 return ret;
365
366 /* Now encode this lot... */
367 /* EXPLICIT tag */
368 if (flags & ASN1_TFLG_EXPTAG(0x2 << 3))
369 ASN1_put_object(out, ndef, sklen, ttag, tclass);
370 /* SET or SEQUENCE and IMPLICIT tag */
371 ASN1_put_object(out, ndef, skcontlen, sktag, skaclass);
372 /* And the stuff itself */
373 asn1_set_seq_out(sk, out, skcontlen, tt->item,
374 isset, iclass);
375 if (ndef == 2) {
376 ASN1_put_eoc(out);
377 if (flags & ASN1_TFLG_EXPTAG(0x2 << 3))
378 ASN1_put_eoc(out);
379 }
380
381 return ret;
382 }
383
384 if (flags & ASN1_TFLG_EXPTAG(0x2 << 3)) {
8
←
Assuming the condition is true
→
9
←
Taking true branch
→
385 /* EXPLICIT tagging */
386 /* Find length of tagged item */
387 i = ASN1_item_ex_i2d(pval, NULL((void*)0), tt->item,
10
←
Calling 'ASN1_item_ex_i2d'
→
388 -1, iclass);
389 if (!i)
390 return 0;
391 /* Find length of EXPLICIT tag */
392 ret = ASN1_object_size(ndef, i, ttag);
393 if (out) {
394 /* Output tag and item */
395 ASN1_put_object(out, ndef, i, ttag, tclass);
396 ASN1_item_ex_i2d(pval, out, tt->item,
397 -1, iclass);
398 if (ndef == 2)
399 ASN1_put_eoc(out);
400 }
401 return ret;
402 }
403
404 /* Either normal or IMPLICIT tagging: combine class and flags */
405 return ASN1_item_ex_i2d(pval, out, tt->item,
406 ttag, tclass | iclass);
407}
408
409/* Temporary structure used to hold DER encoding of items for SET OF */
410
411typedef struct {
412 unsigned char *data;
413 int length;
414 ASN1_VALUE *field;
415} DER_ENC;
416
417static int
418der_cmp(const void *a, const void *b)
419{
420 const DER_ENC *d1 = a, *d2 = b;
421 int cmplen, i;
422
423 cmplen = (d1->length < d2->length) ? d1->length : d2->length;
424 i = memcmp(d1->data, d2->data, cmplen);
425 if (i)
426 return i;
427 return d1->length - d2->length;
428}
429
430/* Output the content octets of SET OF or SEQUENCE OF */
431
432static int
433asn1_set_seq_out(STACK_OF(ASN1_VALUE)struct stack_st_ASN1_VALUE *sk, unsigned char **out, int skcontlen,
434 const ASN1_ITEM *item, int do_sort, int iclass)
435{
436 int i;
437 ASN1_VALUE *skitem;
438 unsigned char *tmpdat = NULL((void*)0), *p = NULL((void*)0);
439 DER_ENC *derlst = NULL((void*)0), *tder;
440
441 if (do_sort) {
442 /* Don't need to sort less than 2 items */
443 if (sk_ASN1_VALUE_num(sk)sk_num(((_STACK*) (1 ? (sk) : (struct stack_st_ASN1_VALUE*)0)
)) < 2)
444 do_sort = 0;
445 else {
446 derlst = reallocarray(NULL((void*)0), sk_ASN1_VALUE_num(sk)sk_num(((_STACK*) (1 ? (sk) : (struct stack_st_ASN1_VALUE*)0)
)),
447 sizeof(*derlst));
448 tmpdat = malloc(skcontlen);
449 if (!derlst || !tmpdat) {
450 free(derlst);
451 free(tmpdat);
452 return 0;
453 }
454 }
455 }
456 /* If not sorting just output each item */
457 if (!do_sort) {
458 for (i = 0; i < sk_ASN1_VALUE_num(sk)sk_num(((_STACK*) (1 ? (sk) : (struct stack_st_ASN1_VALUE*)0)
)); i++) {
459 skitem = sk_ASN1_VALUE_value(sk, i)((ASN1_VALUE *)sk_value(((_STACK*) (1 ? (sk) : (struct stack_st_ASN1_VALUE
*)0)), (i)));
460 ASN1_item_ex_i2d(&skitem, out, item, -1, iclass);
461 }
462 return 1;
463 }
464 p = tmpdat;
465
466 /* Doing sort: build up a list of each member's DER encoding */
467 for (i = 0, tder = derlst; i < sk_ASN1_VALUE_num(sk)sk_num(((_STACK*) (1 ? (sk) : (struct stack_st_ASN1_VALUE*)0)
)); i++, tder++) {
468 skitem = sk_ASN1_VALUE_value(sk, i)((ASN1_VALUE *)sk_value(((_STACK*) (1 ? (sk) : (struct stack_st_ASN1_VALUE
*)0)), (i)));
469 tder->data = p;
470 tder->length = ASN1_item_ex_i2d(&skitem, &p, item, -1, iclass);
471 tder->field = skitem;
472 }
473
474 /* Now sort them */
475 qsort(derlst, sk_ASN1_VALUE_num(sk)sk_num(((_STACK*) (1 ? (sk) : (struct stack_st_ASN1_VALUE*)0)
)), sizeof(*derlst), der_cmp);
476 /* Output sorted DER encoding */
477 p = *out;
478 for (i = 0, tder = derlst; i < sk_ASN1_VALUE_num(sk)sk_num(((_STACK*) (1 ? (sk) : (struct stack_st_ASN1_VALUE*)0)
)); i++, tder++) {
479 memcpy(p, tder->data, tder->length);
480 p += tder->length;
481 }
482 *out = p;
483 /* If do_sort is 2 then reorder the STACK */
484 if (do_sort == 2) {
485 for (i = 0, tder = derlst; i < sk_ASN1_VALUE_num(sk)sk_num(((_STACK*) (1 ? (sk) : (struct stack_st_ASN1_VALUE*)0)
)); i++, tder++)
486 (void)sk_ASN1_VALUE_set(sk, i, tder->field)sk_set(((_STACK*) (1 ? (sk) : (struct stack_st_ASN1_VALUE*)0)
), (i), ((void*) (1 ? (tder->field) : (ASN1_VALUE*)0)));
487 }
488 free(derlst);
489 free(tmpdat);
490 return 1;
491}
492
493static int
494asn1_i2d_ex_primitive(ASN1_VALUE **pval, unsigned char **out,
495 const ASN1_ITEM *it, int tag, int aclass)
496{
497 int len;
498 int utype;
499 int usetag;
500 int ndef = 0;
501
502 utype = it->utype;
503
504 /* Get length of content octets and maybe find
505 * out the underlying type.
506 */
507
508 len = asn1_ex_i2c(pval, NULL((void*)0), &utype, it);
509
510 /* If SEQUENCE, SET or OTHER then header is
511 * included in pseudo content octets so don't
512 * include tag+length. We need to check here
513 * because the call to asn1_ex_i2c() could change
514 * utype.
515 */
516 if ((utype == V_ASN1_SEQUENCE16) || (utype == V_ASN1_SET17) ||
517 (utype == V_ASN1_OTHER-3))
518 usetag = 0;
519 else
520 usetag = 1;
521
522 /* -1 means omit type */
523 if (len == -1)
524 return 0;
525
526 /* -2 return is special meaning use ndef */
527 if (len == -2) {
528 ndef = 2;
529 len = 0;
530 }
531
532 /* If not implicitly tagged get tag from underlying type */
533 if (tag == -1)
534 tag = utype;
535
536 /* Output tag+length followed by content octets */
537 if (out) {
538 if (usetag)
539 ASN1_put_object(out, ndef, len, tag, aclass);
540 asn1_ex_i2c(pval, *out, &utype, it);
541 if (ndef)
542 ASN1_put_eoc(out);
543 else
544 *out += len;
545 }
546
547 if (usetag)
548 return ASN1_object_size(ndef, len, tag);
549 return len;
550}
551
552/* Produce content octets from a structure */
553
554static int
555asn1_ex_i2c(ASN1_VALUE **pval, unsigned char *cout, int *putype,
556 const ASN1_ITEM *it)
557{
558 ASN1_BOOLEAN *tbool = NULL((void*)0);
559 ASN1_STRING *strtmp;
560 ASN1_OBJECT *otmp;
561 int utype;
562 const unsigned char *cont;
563 unsigned char c;
564 int len;
565
566 if (it->funcs != NULL((void*)0)) {
567 const ASN1_PRIMITIVE_FUNCS *pf = it->funcs;
568
569 if (pf->prim_i2c == NULL((void*)0))
570 return -1;
571 return pf->prim_i2c(pval, cout, putype, it);
572 }
573
574 /* Should type be omitted? */
575 if ((it->itype != ASN1_ITYPE_PRIMITIVE0x0) ||
576 (it->utype != V_ASN1_BOOLEAN1)) {
577 if (!*pval)
578 return -1;
579 }
580
581 if (it->itype == ASN1_ITYPE_MSTRING0x5) {
582 /* If MSTRING type set the underlying type */
583 strtmp = (ASN1_STRING *)*pval;
584 utype = strtmp->type;
585 *putype = utype;
586 } else if (it->utype == V_ASN1_ANY-4) {
587 /* If ANY set type and pointer to value */
588 ASN1_TYPE *typ;
589 typ = (ASN1_TYPE *)*pval;
590 utype = typ->type;
591 *putype = utype;
592 pval = &typ->value.asn1_value;
593 } else
594 utype = *putype;
595
596 switch (utype) {
597 case V_ASN1_OBJECT6:
598 otmp = (ASN1_OBJECT *)*pval;
599 cont = otmp->data;
600 len = otmp->length;
601 break;
602
603 case V_ASN1_NULL5:
604 cont = NULL((void*)0);
605 len = 0;
606 break;
607
608 case V_ASN1_BOOLEAN1:
609 tbool = (ASN1_BOOLEAN *)pval;
610 if (*tbool == -1)
611 return -1;
612 if (it->utype != V_ASN1_ANY-4) {
613 /* Default handling if value == size field then omit */
614 if (*tbool && (it->size > 0))
615 return -1;
616 if (!*tbool && !it->size)
617 return -1;
618 }
619 c = (unsigned char)*tbool;
620 cont = &c;
621 len = 1;
622 break;
623
624 case V_ASN1_BIT_STRING3:
625 return i2c_ASN1_BIT_STRING((ASN1_BIT_STRING *)*pval,
626 cout ? &cout : NULL((void*)0));
627 break;
628
629 case V_ASN1_INTEGER2:
630 case V_ASN1_ENUMERATED10:
631 /* These are all have the same content format
632 * as ASN1_INTEGER
633 */
634 return i2c_ASN1_INTEGER((ASN1_INTEGER *)*pval,
635 cout ? &cout : NULL((void*)0));
636 break;
637
638 case V_ASN1_OCTET_STRING4:
639 case V_ASN1_NUMERICSTRING18:
640 case V_ASN1_PRINTABLESTRING19:
641 case V_ASN1_T61STRING20:
642 case V_ASN1_VIDEOTEXSTRING21:
643 case V_ASN1_IA5STRING22:
644 case V_ASN1_UTCTIME23:
645 case V_ASN1_GENERALIZEDTIME24:
646 case V_ASN1_GRAPHICSTRING25:
647 case V_ASN1_VISIBLESTRING26:
648 case V_ASN1_GENERALSTRING27:
649 case V_ASN1_UNIVERSALSTRING28:
650 case V_ASN1_BMPSTRING30:
651 case V_ASN1_UTF8STRING12:
652 case V_ASN1_SEQUENCE16:
653 case V_ASN1_SET17:
654 default:
655 /* All based on ASN1_STRING and handled the same */
656 strtmp = (ASN1_STRING *)*pval;
657 /* Special handling for NDEF */
658 if ((it->size == ASN1_TFLG_NDEF(0x1<<11)) &&
659 (strtmp->flags & ASN1_STRING_FLAG_NDEF0x010)) {
660 if (cout) {
661 strtmp->data = cout;
662 strtmp->length = 0;
663 }
664 /* Special return code */
665 return -2;
666 }
667 cont = strtmp->data;
668 len = strtmp->length;
669
670 break;
671
672 }
673 if (cout && len)
674 memcpy(cout, cont, len);
675 return len;
676}