Coverage Report

Created: 2025-06-13 06:56

/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
}