/src/openssl/crypto/asn1/a_d2i_fp.c
Line | Count | Source (jump to first uncovered line) |
1 | | /* |
2 | | * Copyright 1995-2024 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 <stdio.h> |
11 | | #include <limits.h> |
12 | | #include "internal/cryptlib.h" |
13 | | #include "internal/numbers.h" |
14 | | #include <openssl/buffer.h> |
15 | | #include <openssl/asn1.h> |
16 | | #include "internal/asn1.h" |
17 | | #include "crypto/asn1.h" |
18 | | |
19 | | #ifndef NO_OLD_ASN1 |
20 | | # ifndef OPENSSL_NO_STDIO |
21 | | |
22 | | void *ASN1_d2i_fp(void *(*xnew) (void), d2i_of_void *d2i, FILE *in, void **x) |
23 | 0 | { |
24 | 0 | BIO *b; |
25 | 0 | void *ret; |
26 | |
|
27 | 0 | if ((b = BIO_new(BIO_s_file())) == NULL) { |
28 | 0 | ERR_raise(ERR_LIB_ASN1, ERR_R_BUF_LIB); |
29 | 0 | return NULL; |
30 | 0 | } |
31 | 0 | BIO_set_fp(b, in, BIO_NOCLOSE); |
32 | 0 | ret = ASN1_d2i_bio(xnew, d2i, b, x); |
33 | 0 | BIO_free(b); |
34 | 0 | return ret; |
35 | 0 | } |
36 | | # endif |
37 | | |
38 | | void *ASN1_d2i_bio(void *(*xnew) (void), d2i_of_void *d2i, BIO *in, void **x) |
39 | 0 | { |
40 | 0 | BUF_MEM *b = NULL; |
41 | 0 | const unsigned char *p; |
42 | 0 | void *ret = NULL; |
43 | 0 | int len; |
44 | |
|
45 | 0 | len = asn1_d2i_read_bio(in, &b); |
46 | 0 | if (len < 0) |
47 | 0 | goto err; |
48 | | |
49 | 0 | p = (unsigned char *)b->data; |
50 | 0 | ret = d2i(x, &p, len); |
51 | 0 | err: |
52 | 0 | BUF_MEM_free(b); |
53 | 0 | return ret; |
54 | 0 | } |
55 | | |
56 | | #endif |
57 | | |
58 | | void *ASN1_item_d2i_bio_ex(const ASN1_ITEM *it, BIO *in, void *x, |
59 | | OSSL_LIB_CTX *libctx, const char *propq) |
60 | 0 | { |
61 | 0 | BUF_MEM *b = NULL; |
62 | 0 | const unsigned char *p; |
63 | 0 | void *ret = NULL; |
64 | 0 | int len; |
65 | |
|
66 | 0 | if (in == NULL) |
67 | 0 | return NULL; |
68 | 0 | len = asn1_d2i_read_bio(in, &b); |
69 | 0 | if (len < 0) |
70 | 0 | goto err; |
71 | | |
72 | 0 | p = (const unsigned char *)b->data; |
73 | 0 | ret = ASN1_item_d2i_ex(x, &p, len, it, libctx, propq); |
74 | 0 | err: |
75 | 0 | BUF_MEM_free(b); |
76 | 0 | return ret; |
77 | 0 | } |
78 | | |
79 | | void *ASN1_item_d2i_bio(const ASN1_ITEM *it, BIO *in, void *x) |
80 | 0 | { |
81 | 0 | return ASN1_item_d2i_bio_ex(it, in, x, NULL, NULL); |
82 | 0 | } |
83 | | |
84 | | #ifndef OPENSSL_NO_STDIO |
85 | | void *ASN1_item_d2i_fp_ex(const ASN1_ITEM *it, FILE *in, void *x, |
86 | | OSSL_LIB_CTX *libctx, const char *propq) |
87 | 0 | { |
88 | 0 | BIO *b; |
89 | 0 | char *ret; |
90 | |
|
91 | 0 | if ((b = BIO_new(BIO_s_file())) == NULL) { |
92 | 0 | ERR_raise(ERR_LIB_ASN1, ERR_R_BUF_LIB); |
93 | 0 | return NULL; |
94 | 0 | } |
95 | 0 | BIO_set_fp(b, in, BIO_NOCLOSE); |
96 | 0 | ret = ASN1_item_d2i_bio_ex(it, b, x, libctx, propq); |
97 | 0 | BIO_free(b); |
98 | 0 | return ret; |
99 | 0 | } |
100 | | |
101 | | void *ASN1_item_d2i_fp(const ASN1_ITEM *it, FILE *in, void *x) |
102 | 0 | { |
103 | 0 | return ASN1_item_d2i_fp_ex(it, in, x, NULL, NULL); |
104 | 0 | } |
105 | | #endif |
106 | | |
107 | 0 | #define HEADER_SIZE 8 |
108 | 0 | #define ASN1_CHUNK_INITIAL_SIZE (16 * 1024) |
109 | | int asn1_d2i_read_bio(BIO *in, BUF_MEM **pb) |
110 | 0 | { |
111 | 0 | BUF_MEM *b; |
112 | 0 | unsigned char *p; |
113 | 0 | int i; |
114 | 0 | size_t want = HEADER_SIZE; |
115 | 0 | uint32_t eos = 0; |
116 | 0 | size_t off = 0; |
117 | 0 | size_t len = 0; |
118 | 0 | size_t diff; |
119 | |
|
120 | 0 | const unsigned char *q; |
121 | 0 | long slen; |
122 | 0 | int inf, tag, xclass; |
123 | |
|
124 | 0 | b = BUF_MEM_new(); |
125 | 0 | if (b == NULL) { |
126 | 0 | ERR_raise(ERR_LIB_ASN1, ERR_R_BUF_LIB); |
127 | 0 | return -1; |
128 | 0 | } |
129 | | |
130 | 0 | ERR_set_mark(); |
131 | 0 | for (;;) { |
132 | 0 | diff = len - off; |
133 | 0 | if (want >= diff) { |
134 | 0 | want -= diff; |
135 | |
|
136 | 0 | if (len + want < len || !BUF_MEM_grow_clean(b, len + want)) { |
137 | 0 | ERR_raise(ERR_LIB_ASN1, ERR_R_BUF_LIB); |
138 | 0 | goto err; |
139 | 0 | } |
140 | 0 | i = BIO_read(in, &(b->data[len]), want); |
141 | 0 | if (i < 0 && diff == 0) { |
142 | 0 | ERR_raise(ERR_LIB_ASN1, ASN1_R_NOT_ENOUGH_DATA); |
143 | 0 | goto err; |
144 | 0 | } |
145 | 0 | if (i > 0) { |
146 | 0 | if (len + i < len) { |
147 | 0 | ERR_raise(ERR_LIB_ASN1, ASN1_R_TOO_LONG); |
148 | 0 | goto err; |
149 | 0 | } |
150 | 0 | len += i; |
151 | 0 | if ((size_t)i < want) |
152 | 0 | continue; |
153 | |
|
154 | 0 | } |
155 | 0 | } |
156 | | /* else data already loaded */ |
157 | | |
158 | 0 | p = (unsigned char *)&(b->data[off]); |
159 | 0 | q = p; |
160 | 0 | diff = len - off; |
161 | 0 | if (diff == 0) |
162 | 0 | goto err; |
163 | 0 | inf = ASN1_get_object(&q, &slen, &tag, &xclass, diff); |
164 | 0 | if (inf & 0x80) { |
165 | 0 | unsigned long e; |
166 | |
|
167 | 0 | e = ERR_GET_REASON(ERR_peek_last_error()); |
168 | 0 | if (e != ASN1_R_TOO_LONG) |
169 | 0 | goto err; |
170 | 0 | ERR_pop_to_mark(); |
171 | 0 | } |
172 | 0 | i = q - p; /* header length */ |
173 | 0 | off += i; /* end of data */ |
174 | |
|
175 | 0 | if (inf & 1) { |
176 | | /* no data body so go round again */ |
177 | 0 | if (eos == UINT32_MAX) { |
178 | 0 | ERR_raise(ERR_LIB_ASN1, ASN1_R_HEADER_TOO_LONG); |
179 | 0 | goto err; |
180 | 0 | } |
181 | 0 | eos++; |
182 | 0 | want = HEADER_SIZE; |
183 | 0 | } else if (eos && (slen == 0) && (tag == V_ASN1_EOC)) { |
184 | | /* eos value, so go back and read another header */ |
185 | 0 | eos--; |
186 | 0 | if (eos == 0) |
187 | 0 | break; |
188 | 0 | else |
189 | 0 | want = HEADER_SIZE; |
190 | 0 | } else { |
191 | | /* suck in slen bytes of data */ |
192 | 0 | want = slen; |
193 | 0 | if (want > (len - off)) { |
194 | 0 | size_t chunk_max = ASN1_CHUNK_INITIAL_SIZE; |
195 | |
|
196 | 0 | want -= (len - off); |
197 | 0 | if (want > INT_MAX /* BIO_read takes an int length */ || |
198 | 0 | len + want < len) { |
199 | 0 | ERR_raise(ERR_LIB_ASN1, ASN1_R_TOO_LONG); |
200 | 0 | goto err; |
201 | 0 | } |
202 | 0 | while (want > 0) { |
203 | | /* |
204 | | * Read content in chunks of increasing size |
205 | | * so we can return an error for EOF without |
206 | | * having to allocate the entire content length |
207 | | * in one go. |
208 | | */ |
209 | 0 | size_t chunk = want > chunk_max ? chunk_max : want; |
210 | |
|
211 | 0 | if (!BUF_MEM_grow_clean(b, len + chunk)) { |
212 | 0 | ERR_raise(ERR_LIB_ASN1, ERR_R_BUF_LIB); |
213 | 0 | goto err; |
214 | 0 | } |
215 | 0 | want -= chunk; |
216 | 0 | while (chunk > 0) { |
217 | 0 | i = BIO_read(in, &(b->data[len]), chunk); |
218 | 0 | if (i <= 0) { |
219 | 0 | ERR_raise(ERR_LIB_ASN1, ASN1_R_NOT_ENOUGH_DATA); |
220 | 0 | goto err; |
221 | 0 | } |
222 | | /* |
223 | | * This can't overflow because |len+want| didn't |
224 | | * overflow. |
225 | | */ |
226 | 0 | len += i; |
227 | 0 | chunk -= i; |
228 | 0 | } |
229 | 0 | if (chunk_max < INT_MAX/2) |
230 | 0 | chunk_max *= 2; |
231 | 0 | } |
232 | 0 | } |
233 | 0 | if (off + slen < off) { |
234 | 0 | ERR_raise(ERR_LIB_ASN1, ASN1_R_TOO_LONG); |
235 | 0 | goto err; |
236 | 0 | } |
237 | 0 | off += slen; |
238 | 0 | if (eos == 0) { |
239 | 0 | break; |
240 | 0 | } else |
241 | 0 | want = HEADER_SIZE; |
242 | 0 | } |
243 | 0 | } |
244 | | |
245 | 0 | if (off > INT_MAX) { |
246 | 0 | ERR_raise(ERR_LIB_ASN1, ASN1_R_TOO_LONG); |
247 | 0 | goto err; |
248 | 0 | } |
249 | | |
250 | 0 | *pb = b; |
251 | 0 | return off; |
252 | 0 | err: |
253 | 0 | ERR_clear_last_mark(); |
254 | 0 | BUF_MEM_free(b); |
255 | 0 | return -1; |
256 | 0 | } |