Coverage Report

Created: 2026-09-12 06:55

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/openssl40/crypto/asn1/x_int64.c
Line
Count
Source
1
/*
2
 * Copyright 2017-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 <stdio.h>
11
#include "internal/cryptlib.h"
12
#include "internal/numbers.h"
13
#include <openssl/asn1t.h>
14
#include <openssl/bn.h>
15
#include "asn1_local.h"
16
17
/*
18
 * Custom primitive types for handling int32_t, int64_t, uint32_t, uint64_t.
19
 * This converts between an ASN1_INTEGER and those types directly.
20
 * This is preferred to using the LONG / ZLONG primitives.
21
 */
22
23
/*
24
 * We abuse the ASN1_ITEM fields |size| as a flags field
25
 */
26
2.62M
#define INTxx_FLAG_ZERO_DEFAULT (1 << 0)
27
5.98M
#define INTxx_FLAG_SIGNED (1 << 1)
28
29
static int uint64_new(ASN1_VALUE **pval, const ASN1_ITEM *it)
30
18.7k
{
31
18.7k
    if ((*pval = (ASN1_VALUE *)OPENSSL_zalloc(sizeof(uint64_t))) == NULL)
32
0
        return 0;
33
18.7k
    return 1;
34
18.7k
}
35
36
static void uint64_free(ASN1_VALUE **pval, const ASN1_ITEM *it)
37
210k
{
38
210k
    OPENSSL_free(*pval);
39
210k
    *pval = NULL;
40
210k
}
41
42
static void uint64_clear(ASN1_VALUE **pval, const ASN1_ITEM *it)
43
349k
{
44
349k
    **(uint64_t **)pval = 0;
45
349k
}
46
47
static int uint64_i2c(const ASN1_VALUE **pval, unsigned char *cont, int *putype,
48
    const ASN1_ITEM *it)
49
43.5k
{
50
43.5k
    uint64_t utmp;
51
43.5k
    int neg = 0;
52
    /* this exists to bypass broken gcc optimization */
53
43.5k
    char *cp = (char *)*pval;
54
55
    /* use memcpy, because we may not be uint64_t aligned */
56
43.5k
    memcpy(&utmp, cp, sizeof(utmp));
57
58
43.5k
    if ((it->size & INTxx_FLAG_ZERO_DEFAULT) == INTxx_FLAG_ZERO_DEFAULT
59
35.3k
        && utmp == 0)
60
8.31k
        return -1;
61
35.1k
    if ((it->size & INTxx_FLAG_SIGNED) == INTxx_FLAG_SIGNED
62
25.8k
        && (int64_t)utmp < 0) {
63
        /* ossl_i2c_uint64_int() assumes positive values */
64
3.75k
        utmp = 0 - utmp;
65
3.75k
        neg = 1;
66
3.75k
    }
67
68
35.1k
    return ossl_i2c_uint64_int(cont, utmp, neg);
69
43.5k
}
70
71
static int uint64_c2i(ASN1_VALUE **pval, const unsigned char *cont, int len,
72
    int utype, char *free_cont, const ASN1_ITEM *it)
73
12.3k
{
74
12.3k
    uint64_t utmp = 0;
75
12.3k
    char *cp;
76
12.3k
    int neg = 0;
77
78
12.3k
    if (*pval == NULL && !uint64_new(pval, it))
79
0
        return 0;
80
81
12.3k
    cp = (char *)*pval;
82
83
    /*
84
     * Strictly speaking, zero length is malformed.  However, long_c2i
85
     * (x_long.c) encodes 0 as a zero length INTEGER (wrongly, of course),
86
     * so for the sake of backward compatibility, we still decode zero
87
     * length INTEGERs as the number zero.
88
     */
89
12.3k
    if (len == 0)
90
40
        goto long_compat;
91
92
12.2k
    if (!ossl_c2i_uint64_int(&utmp, &neg, &cont, len))
93
1.75k
        return 0;
94
10.5k
    if ((it->size & INTxx_FLAG_SIGNED) == 0 && neg) {
95
1.59k
        ERR_raise(ERR_LIB_ASN1, ASN1_R_ILLEGAL_NEGATIVE_VALUE);
96
1.59k
        return 0;
97
1.59k
    }
98
8.95k
    if ((it->size & INTxx_FLAG_SIGNED) == INTxx_FLAG_SIGNED
99
5.97k
        && !neg && utmp > INT64_MAX) {
100
647
        ERR_raise(ERR_LIB_ASN1, ASN1_R_TOO_LARGE);
101
647
        return 0;
102
647
    }
103
8.31k
    if (neg)
104
        /* ossl_c2i_uint64_int() returns positive values */
105
2.36k
        utmp = 0 - utmp;
106
107
8.35k
long_compat:
108
8.35k
    memcpy(cp, &utmp, sizeof(utmp));
109
8.35k
    return 1;
110
8.31k
}
111
112
static int uint64_print(BIO *out, const ASN1_VALUE **pval, const ASN1_ITEM *it,
113
    int indent, const ASN1_PCTX *pctx)
114
5.41k
{
115
5.41k
    if ((it->size & INTxx_FLAG_SIGNED) == INTxx_FLAG_SIGNED)
116
3.17k
        return BIO_printf(out, "%jd\n", **(int64_t **)pval);
117
2.23k
    return BIO_printf(out, "%ju\n", **(uint64_t **)pval);
118
5.41k
}
119
120
/* 32-bit variants */
121
122
static int uint32_new(ASN1_VALUE **pval, const ASN1_ITEM *it)
123
0
{
124
0
    if ((*pval = (ASN1_VALUE *)OPENSSL_zalloc(sizeof(uint32_t))) == NULL)
125
0
        return 0;
126
0
    return 1;
127
0
}
128
129
static void uint32_free(ASN1_VALUE **pval, const ASN1_ITEM *it)
130
210k
{
131
210k
    OPENSSL_free(*pval);
132
210k
    *pval = NULL;
133
210k
}
134
135
static void uint32_clear(ASN1_VALUE **pval, const ASN1_ITEM *it)
136
1.80M
{
137
1.80M
    **(uint32_t **)pval = 0;
138
1.80M
}
139
140
static int uint32_i2c(const ASN1_VALUE **pval, unsigned char *cont, int *putype,
141
    const ASN1_ITEM *it)
142
393k
{
143
393k
    uint32_t utmp;
144
393k
    int neg = 0;
145
    /* this exists to bypass broken gcc optimization */
146
393k
    char *cp = (char *)*pval;
147
148
    /* use memcpy, because we may not be uint32_t aligned */
149
393k
    memcpy(&utmp, cp, sizeof(utmp));
150
151
393k
    if ((it->size & INTxx_FLAG_ZERO_DEFAULT) == INTxx_FLAG_ZERO_DEFAULT
152
25.6k
        && utmp == 0)
153
20.9k
        return -1;
154
372k
    if ((it->size & INTxx_FLAG_SIGNED) == INTxx_FLAG_SIGNED
155
354k
        && (int32_t)utmp < 0) {
156
        /* ossl_i2c_uint64_int() assumes positive values */
157
86.7k
        utmp = 0 - utmp;
158
86.7k
        neg = 1;
159
86.7k
    }
160
161
372k
    return ossl_i2c_uint64_int(cont, (uint64_t)utmp, neg);
162
393k
}
163
164
/*
165
 * Absolute value of INT32_MIN: we can't just use -INT32_MIN as it produces
166
 * overflow warnings.
167
 */
168
169
96.0k
#define ABS_INT32_MIN ((uint32_t)INT32_MAX + 1)
170
171
static int uint32_c2i(ASN1_VALUE **pval, const unsigned char *cont, int len,
172
    int utype, char *free_cont, const ASN1_ITEM *it)
173
699k
{
174
699k
    uint64_t utmp = 0;
175
699k
    uint32_t utmp2 = 0;
176
699k
    char *cp;
177
699k
    int neg = 0;
178
179
699k
    if (*pval == NULL && !uint64_new(pval, it))
180
0
        return 0;
181
182
699k
    cp = (char *)*pval;
183
184
    /*
185
     * Strictly speaking, zero length is malformed.  However, long_c2i
186
     * (x_long.c) encodes 0 as a zero length INTEGER (wrongly, of course),
187
     * so for the sake of backward compatibility, we still decode zero
188
     * length INTEGERs as the number zero.
189
     */
190
699k
    if (len == 0)
191
88.5k
        goto long_compat;
192
193
610k
    if (!ossl_c2i_uint64_int(&utmp, &neg, &cont, len))
194
26.1k
        return 0;
195
584k
    if ((it->size & INTxx_FLAG_SIGNED) == 0 && neg) {
196
4.67k
        ERR_raise(ERR_LIB_ASN1, ASN1_R_ILLEGAL_NEGATIVE_VALUE);
197
4.67k
        return 0;
198
4.67k
    }
199
579k
    if (neg) {
200
96.0k
        if (utmp > ABS_INT32_MIN) {
201
17.0k
            ERR_raise(ERR_LIB_ASN1, ASN1_R_TOO_SMALL);
202
17.0k
            return 0;
203
17.0k
        }
204
79.0k
        utmp = 0 - utmp;
205
483k
    } else {
206
483k
        if (((it->size & INTxx_FLAG_SIGNED) != 0 && utmp > INT32_MAX)
207
466k
            || ((it->size & INTxx_FLAG_SIGNED) == 0 && utmp > UINT32_MAX)) {
208
18.9k
            ERR_raise(ERR_LIB_ASN1, ASN1_R_TOO_LARGE);
209
18.9k
            return 0;
210
18.9k
        }
211
483k
    }
212
213
632k
long_compat:
214
632k
    utmp2 = (uint32_t)utmp;
215
632k
    memcpy(cp, &utmp2, sizeof(utmp2));
216
632k
    return 1;
217
579k
}
218
219
static int uint32_print(BIO *out, const ASN1_VALUE **pval, const ASN1_ITEM *it,
220
    int indent, const ASN1_PCTX *pctx)
221
12.8k
{
222
12.8k
    if ((it->size & INTxx_FLAG_SIGNED) == INTxx_FLAG_SIGNED)
223
11.9k
        return BIO_printf(out, "%d\n", (int)**(int32_t **)pval);
224
942
    return BIO_printf(out, "%u\n", (unsigned int)**(uint32_t **)pval);
225
12.8k
}
226
227
/* Define the primitives themselves */
228
229
static ASN1_PRIMITIVE_FUNCS uint32_pf = {
230
    NULL, 0,
231
    uint32_new,
232
    uint32_free,
233
    uint32_clear,
234
    uint32_c2i,
235
    uint32_i2c,
236
    uint32_print
237
};
238
239
static ASN1_PRIMITIVE_FUNCS uint64_pf = {
240
    NULL, 0,
241
    uint64_new,
242
    uint64_free,
243
    uint64_clear,
244
    uint64_c2i,
245
    uint64_i2c,
246
    uint64_print
247
};
248
249
2.56M
ASN1_ITEM_start(INT32)
250
2.56M
    ASN1_ITYPE_PRIMITIVE,
251
2.56M
    V_ASN1_INTEGER, NULL, 0, &uint32_pf,
252
2.56M
    INTxx_FLAG_SIGNED, "INT32" ASN1_ITEM_end(INT32)
253
254
322k
                           ASN1_ITEM_start(UINT32) ASN1_ITYPE_PRIMITIVE,
255
322k
    V_ASN1_INTEGER, NULL, 0, &uint32_pf, 0, "UINT32" ASN1_ITEM_end(UINT32)
256
257
52.5k
                                                ASN1_ITEM_start(INT64) ASN1_ITYPE_PRIMITIVE,
258
52.5k
    V_ASN1_INTEGER, NULL, 0, &uint64_pf,
259
52.5k
    INTxx_FLAG_SIGNED, "INT64" ASN1_ITEM_end(INT64)
260
261
52.5k
                           ASN1_ITEM_start(UINT64) ASN1_ITYPE_PRIMITIVE,
262
52.5k
    V_ASN1_INTEGER, NULL, 0, &uint64_pf, 0, "UINT64" ASN1_ITEM_end(UINT64)
263
264
205k
                                                ASN1_ITEM_start(ZINT32) ASN1_ITYPE_PRIMITIVE,
265
205k
    V_ASN1_INTEGER, NULL, 0, &uint32_pf,
266
205k
    INTxx_FLAG_ZERO_DEFAULT | INTxx_FLAG_SIGNED, "ZINT32" ASN1_ITEM_end(ZINT32)
267
268
459k
                                                     ASN1_ITEM_start(ZUINT32) ASN1_ITYPE_PRIMITIVE,
269
459k
    V_ASN1_INTEGER, NULL, 0, &uint32_pf,
270
459k
    INTxx_FLAG_ZERO_DEFAULT, "ZUINT32" ASN1_ITEM_end(ZUINT32)
271
272
327k
                                 ASN1_ITEM_start(ZINT64) ASN1_ITYPE_PRIMITIVE,
273
327k
    V_ASN1_INTEGER, NULL, 0, &uint64_pf,
274
327k
    INTxx_FLAG_ZERO_DEFAULT | INTxx_FLAG_SIGNED, "ZINT64" ASN1_ITEM_end(ZINT64)
275
276
324k
                                                     ASN1_ITEM_start(ZUINT64) ASN1_ITYPE_PRIMITIVE,
277
324k
    V_ASN1_INTEGER, NULL, 0, &uint64_pf,
278
324k
    INTxx_FLAG_ZERO_DEFAULT, "ZUINT64" ASN1_ITEM_end(ZUINT64)