Coverage Report

Created: 2026-09-12 06:55

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/openssl34/crypto/asn1/a_bitstr.c
Line
Count
Source
1
/*
2
 * Copyright 1995-2023 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 <limits.h>
11
#include <stdio.h>
12
#include "internal/cryptlib.h"
13
#include <openssl/asn1.h>
14
#include "asn1_local.h"
15
16
int ASN1_BIT_STRING_set(ASN1_BIT_STRING *x, unsigned char *d, int len)
17
663
{
18
663
    return ASN1_STRING_set(x, d, len);
19
663
}
20
21
int ossl_i2c_ASN1_BIT_STRING(ASN1_BIT_STRING *a, unsigned char **pp)
22
5.38M
{
23
5.38M
    int ret, j, bits, len;
24
5.38M
    unsigned char *p, *d;
25
26
5.38M
    if (a == NULL)
27
0
        return 0;
28
29
5.38M
    len = a->length;
30
31
5.38M
    if (len > 0) {
32
3.80M
        if (a->flags & ASN1_STRING_FLAG_BITS_LEFT) {
33
3.72M
            bits = (int)a->flags & 0x07;
34
3.72M
        } else {
35
77.0k
            for (; len > 0; len--) {
36
77.0k
                if (a->data[len - 1])
37
77.0k
                    break;
38
77.0k
            }
39
40
77.0k
            if (len == 0) {
41
0
                bits = 0;
42
77.0k
            } else {
43
77.0k
                j = a->data[len - 1];
44
77.0k
                if (j & 0x01)
45
0
                    bits = 0;
46
77.0k
                else if (j & 0x02)
47
0
                    bits = 1;
48
77.0k
                else if (j & 0x04)
49
0
                    bits = 2;
50
77.0k
                else if (j & 0x08)
51
0
                    bits = 3;
52
77.0k
                else if (j & 0x10)
53
0
                    bits = 4;
54
77.0k
                else if (j & 0x20)
55
77.0k
                    bits = 5;
56
0
                else if (j & 0x40)
57
0
                    bits = 6;
58
0
                else if (j & 0x80)
59
0
                    bits = 7;
60
0
                else
61
0
                    bits = 0; /* should not happen */
62
77.0k
            }
63
77.0k
        }
64
3.80M
    } else
65
1.57M
        bits = 0;
66
67
5.38M
    ret = 1 + len;
68
5.38M
    if (pp == NULL)
69
4.33M
        return ret;
70
71
1.04M
    p = *pp;
72
73
1.04M
    *(p++) = (unsigned char)bits;
74
1.04M
    d = a->data;
75
1.04M
    if (len > 0) {
76
719k
        memcpy(p, d, len);
77
719k
        p += len;
78
719k
        p[-1] &= (0xff << bits);
79
719k
    }
80
1.04M
    *pp = p;
81
1.04M
    return ret;
82
5.38M
}
83
84
ASN1_BIT_STRING *ossl_c2i_ASN1_BIT_STRING(ASN1_BIT_STRING **a,
85
    const unsigned char **pp, long len)
86
5.25M
{
87
5.25M
    ASN1_BIT_STRING *ret = NULL;
88
5.25M
    const unsigned char *p;
89
5.25M
    unsigned char *s;
90
5.25M
    int i = 0;
91
92
5.25M
    if (len < 1) {
93
20.1k
        i = ASN1_R_STRING_TOO_SHORT;
94
20.1k
        goto err;
95
20.1k
    }
96
97
5.23M
    if (len > INT_MAX) {
98
0
        i = ASN1_R_STRING_TOO_LONG;
99
0
        goto err;
100
0
    }
101
102
5.23M
    if ((a == NULL) || ((*a) == NULL)) {
103
1.31M
        if ((ret = ASN1_BIT_STRING_new()) == NULL)
104
0
            return NULL;
105
1.31M
    } else
106
3.91M
        ret = (*a);
107
108
5.23M
    p = *pp;
109
5.23M
    i = *(p++);
110
5.23M
    if (i > 7) {
111
15.2k
        i = ASN1_R_INVALID_BIT_STRING_BITS_LEFT;
112
15.2k
        goto err;
113
15.2k
    }
114
    /*
115
     * We do this to preserve the settings.  If we modify the settings, via
116
     * the _set_bit function, we will recalculate on output
117
     */
118
5.22M
    ossl_asn1_string_set_bits_left(ret, i);
119
120
5.22M
    if (len-- > 1) { /* using one because of the bits left byte */
121
3.79M
        s = OPENSSL_malloc((int)len);
122
3.79M
        if (s == NULL) {
123
0
            goto err;
124
0
        }
125
3.79M
        memcpy(s, p, (int)len);
126
3.79M
        s[len - 1] &= (0xff << i);
127
3.79M
        p += len;
128
3.79M
    } else
129
1.42M
        s = NULL;
130
131
5.22M
    ASN1_STRING_set0(ret, s, (int)len);
132
5.22M
    ret->type = V_ASN1_BIT_STRING;
133
5.22M
    if (a != NULL)
134
5.22M
        (*a) = ret;
135
5.22M
    *pp = p;
136
5.22M
    return ret;
137
35.4k
err:
138
35.4k
    if (i != 0)
139
35.4k
        ERR_raise(ERR_LIB_ASN1, i);
140
35.4k
    if ((a == NULL) || (*a != ret))
141
25.7k
        ASN1_BIT_STRING_free(ret);
142
35.4k
    return NULL;
143
5.22M
}
144
145
/*
146
 * These next 2 functions from Goetz Babin-Ebell.
147
 */
148
int ASN1_BIT_STRING_set_bit(ASN1_BIT_STRING *a, int n, int value)
149
19.2k
{
150
19.2k
    int w, v, iv;
151
19.2k
    unsigned char *c;
152
153
19.2k
    if (n < 0)
154
0
        return 0;
155
156
19.2k
    w = n / 8;
157
19.2k
    v = 1 << (7 - (n & 0x07));
158
19.2k
    iv = ~v;
159
19.2k
    if (!value)
160
0
        v = 0;
161
162
19.2k
    if (a == NULL)
163
0
        return 0;
164
165
19.2k
    a->flags &= ~(ASN1_STRING_FLAG_BITS_LEFT | 0x07); /* clear, set on write */
166
167
19.2k
    if ((a->length < (w + 1)) || (a->data == NULL)) {
168
19.2k
        if (!value)
169
0
            return 1; /* Don't need to set */
170
19.2k
        c = OPENSSL_clear_realloc(a->data, a->length, w + 1);
171
19.2k
        if (c == NULL)
172
0
            return 0;
173
19.2k
        if (w + 1 - a->length > 0)
174
19.2k
            memset(c + a->length, 0, w + 1 - a->length);
175
19.2k
        a->data = c;
176
19.2k
        a->length = w + 1;
177
19.2k
    }
178
19.2k
    a->data[w] = ((a->data[w]) & iv) | v;
179
19.2k
    while ((a->length > 0) && (a->data[a->length - 1] == 0))
180
0
        a->length--;
181
19.2k
    return 1;
182
19.2k
}
183
184
int ASN1_BIT_STRING_get_bit(const ASN1_BIT_STRING *a, int n)
185
785k
{
186
785k
    int w, v;
187
188
785k
    if (n < 0)
189
0
        return 0;
190
191
785k
    w = n / 8;
192
785k
    v = 1 << (7 - (n & 0x07));
193
785k
    if ((a == NULL) || (a->length < (w + 1)) || (a->data == NULL))
194
287k
        return 0;
195
497k
    return ((a->data[w] & v) != 0);
196
785k
}
197
198
/*
199
 * Checks if the given bit string contains only bits specified by
200
 * the flags vector. Returns 0 if there is at least one bit set in 'a'
201
 * which is not specified in 'flags', 1 otherwise.
202
 * 'len' is the length of 'flags'.
203
 */
204
int ASN1_BIT_STRING_check(const ASN1_BIT_STRING *a,
205
    const unsigned char *flags, int flags_len)
206
0
{
207
0
    int i, ok;
208
    /* Check if there is one bit set at all. */
209
0
    if (!a || !a->data)
210
0
        return 1;
211
212
    /*
213
     * Check each byte of the internal representation of the bit string.
214
     */
215
0
    ok = 1;
216
0
    for (i = 0; i < a->length && ok; ++i) {
217
0
        unsigned char mask = i < flags_len ? ~flags[i] : 0xff;
218
        /* We are done if there is an unneeded bit set. */
219
0
        ok = (a->data[i] & mask) == 0;
220
0
    }
221
0
    return ok;
222
0
}