Coverage Report

Created: 2023-06-08 06:41

/src/openssl30/include/crypto/md32_common.h
Line
Count
Source (jump to first uncovered line)
1
/*
2
 * Copyright 1999-2018 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
/*-
11
 * This is a generic 32 bit "collector" for message digest algorithms.
12
 * Whenever needed it collects input character stream into chunks of
13
 * 32 bit values and invokes a block function that performs actual hash
14
 * calculations.
15
 *
16
 * Porting guide.
17
 *
18
 * Obligatory macros:
19
 *
20
 * DATA_ORDER_IS_BIG_ENDIAN or DATA_ORDER_IS_LITTLE_ENDIAN
21
 *      this macro defines byte order of input stream.
22
 * HASH_CBLOCK
23
 *      size of a unit chunk HASH_BLOCK operates on.
24
 * HASH_LONG
25
 *      has to be at least 32 bit wide.
26
 * HASH_CTX
27
 *      context structure that at least contains following
28
 *      members:
29
 *              typedef struct {
30
 *                      ...
31
 *                      HASH_LONG       Nl,Nh;
32
 *                      either {
33
 *                      HASH_LONG       data[HASH_LBLOCK];
34
 *                      unsigned char   data[HASH_CBLOCK];
35
 *                      };
36
 *                      unsigned int    num;
37
 *                      ...
38
 *                      } HASH_CTX;
39
 *      data[] vector is expected to be zeroed upon first call to
40
 *      HASH_UPDATE.
41
 * HASH_UPDATE
42
 *      name of "Update" function, implemented here.
43
 * HASH_TRANSFORM
44
 *      name of "Transform" function, implemented here.
45
 * HASH_FINAL
46
 *      name of "Final" function, implemented here.
47
 * HASH_BLOCK_DATA_ORDER
48
 *      name of "block" function capable of treating *unaligned* input
49
 *      message in original (data) byte order, implemented externally.
50
 * HASH_MAKE_STRING
51
 *      macro converting context variables to an ASCII hash string.
52
 *
53
 * MD5 example:
54
 *
55
 *      #define DATA_ORDER_IS_LITTLE_ENDIAN
56
 *
57
 *      #define HASH_LONG               MD5_LONG
58
 *      #define HASH_CTX                MD5_CTX
59
 *      #define HASH_CBLOCK             MD5_CBLOCK
60
 *      #define HASH_UPDATE             MD5_Update
61
 *      #define HASH_TRANSFORM          MD5_Transform
62
 *      #define HASH_FINAL              MD5_Final
63
 *      #define HASH_BLOCK_DATA_ORDER   md5_block_data_order
64
 */
65
66
#include <openssl/crypto.h>
67
68
#if !defined(DATA_ORDER_IS_BIG_ENDIAN) && !defined(DATA_ORDER_IS_LITTLE_ENDIAN)
69
# error "DATA_ORDER must be defined!"
70
#endif
71
72
#ifndef HASH_CBLOCK
73
# error "HASH_CBLOCK must be defined!"
74
#endif
75
#ifndef HASH_LONG
76
# error "HASH_LONG must be defined!"
77
#endif
78
#ifndef HASH_CTX
79
# error "HASH_CTX must be defined!"
80
#endif
81
82
#ifndef HASH_UPDATE
83
# error "HASH_UPDATE must be defined!"
84
#endif
85
#ifndef HASH_TRANSFORM
86
# error "HASH_TRANSFORM must be defined!"
87
#endif
88
#ifndef HASH_FINAL
89
# error "HASH_FINAL must be defined!"
90
#endif
91
92
#ifndef HASH_BLOCK_DATA_ORDER
93
# error "HASH_BLOCK_DATA_ORDER must be defined!"
94
#endif
95
96
0
#define ROTATE(a,n)     (((a)<<(n))|(((a)&0xffffffff)>>(32-(n))))
97
98
#if defined(DATA_ORDER_IS_BIG_ENDIAN)
99
100
0
# define HOST_c2l(c,l)  (l =(((unsigned long)(*((c)++)))<<24),          \
101
0
                         l|=(((unsigned long)(*((c)++)))<<16),          \
102
0
                         l|=(((unsigned long)(*((c)++)))<< 8),          \
103
0
                         l|=(((unsigned long)(*((c)++)))    )           )
104
413k
# define HOST_l2c(l,c)  (*((c)++)=(unsigned char)(((l)>>24)&0xff),      \
105
413k
                         *((c)++)=(unsigned char)(((l)>>16)&0xff),      \
106
413k
                         *((c)++)=(unsigned char)(((l)>> 8)&0xff),      \
107
413k
                         *((c)++)=(unsigned char)(((l)    )&0xff),      \
108
413k
                         l)
109
110
#elif defined(DATA_ORDER_IS_LITTLE_ENDIAN)
111
112
0
# define HOST_c2l(c,l)  (l =(((unsigned long)(*((c)++)))    ),          \
113
0
                         l|=(((unsigned long)(*((c)++)))<< 8),          \
114
0
                         l|=(((unsigned long)(*((c)++)))<<16),          \
115
0
                         l|=(((unsigned long)(*((c)++)))<<24)           )
116
45.2k
# define HOST_l2c(l,c)  (*((c)++)=(unsigned char)(((l)    )&0xff),      \
117
45.2k
                         *((c)++)=(unsigned char)(((l)>> 8)&0xff),      \
118
45.2k
                         *((c)++)=(unsigned char)(((l)>>16)&0xff),      \
119
45.2k
                         *((c)++)=(unsigned char)(((l)>>24)&0xff),      \
120
45.2k
                         l)
121
122
#endif
123
124
/*
125
 * Time for some action :-)
126
 */
127
128
int HASH_UPDATE(HASH_CTX *c, const void *data_, size_t len)
129
107k
{
130
107k
    const unsigned char *data = data_;
131
107k
    unsigned char *p;
132
107k
    HASH_LONG l;
133
107k
    size_t n;
134
135
107k
    if (len == 0)
136
0
        return 1;
137
138
107k
    l = (c->Nl + (((HASH_LONG) len) << 3)) & 0xffffffffUL;
139
107k
    if (l < c->Nl)              /* overflow */
140
0
        c->Nh++;
141
107k
    c->Nh += (HASH_LONG) (len >> 29); /* might cause compiler warning on
142
                                       * 16-bit */
143
107k
    c->Nl = l;
144
145
107k
    n = c->num;
146
107k
    if (n != 0) {
147
35.6k
        p = (unsigned char *)c->data;
148
149
35.6k
        if (len >= HASH_CBLOCK || len + n >= HASH_CBLOCK) {
150
18.4k
            memcpy(p + n, data, HASH_CBLOCK - n);
151
18.4k
            HASH_BLOCK_DATA_ORDER(c, p, 1);
152
18.4k
            n = HASH_CBLOCK - n;
153
18.4k
            data += n;
154
18.4k
            len -= n;
155
18.4k
            c->num = 0;
156
            /*
157
             * We use memset rather than OPENSSL_cleanse() here deliberately.
158
             * Using OPENSSL_cleanse() here could be a performance issue. It
159
             * will get properly cleansed on finalisation so this isn't a
160
             * security problem.
161
             */
162
18.4k
            memset(p, 0, HASH_CBLOCK); /* keep it zeroed */
163
18.4k
        } else {
164
17.1k
            memcpy(p + n, data, len);
165
17.1k
            c->num += (unsigned int)len;
166
17.1k
            return 1;
167
17.1k
        }
168
35.6k
    }
169
170
90.2k
    n = len / HASH_CBLOCK;
171
90.2k
    if (n > 0) {
172
42.1k
        HASH_BLOCK_DATA_ORDER(c, data, n);
173
42.1k
        n *= HASH_CBLOCK;
174
42.1k
        data += n;
175
42.1k
        len -= n;
176
42.1k
    }
177
178
90.2k
    if (len != 0) {
179
71.7k
        p = (unsigned char *)c->data;
180
71.7k
        c->num = (unsigned int)len;
181
71.7k
        memcpy(p, data, len);
182
71.7k
    }
183
90.2k
    return 1;
184
107k
}
SHA1_Update
Line
Count
Source
129
37.4k
{
130
37.4k
    const unsigned char *data = data_;
131
37.4k
    unsigned char *p;
132
37.4k
    HASH_LONG l;
133
37.4k
    size_t n;
134
135
37.4k
    if (len == 0)
136
0
        return 1;
137
138
37.4k
    l = (c->Nl + (((HASH_LONG) len) << 3)) & 0xffffffffUL;
139
37.4k
    if (l < c->Nl)              /* overflow */
140
0
        c->Nh++;
141
37.4k
    c->Nh += (HASH_LONG) (len >> 29); /* might cause compiler warning on
142
                                       * 16-bit */
143
37.4k
    c->Nl = l;
144
145
37.4k
    n = c->num;
146
37.4k
    if (n != 0) {
147
13.9k
        p = (unsigned char *)c->data;
148
149
13.9k
        if (len >= HASH_CBLOCK || len + n >= HASH_CBLOCK) {
150
6.58k
            memcpy(p + n, data, HASH_CBLOCK - n);
151
6.58k
            HASH_BLOCK_DATA_ORDER(c, p, 1);
152
6.58k
            n = HASH_CBLOCK - n;
153
6.58k
            data += n;
154
6.58k
            len -= n;
155
6.58k
            c->num = 0;
156
            /*
157
             * We use memset rather than OPENSSL_cleanse() here deliberately.
158
             * Using OPENSSL_cleanse() here could be a performance issue. It
159
             * will get properly cleansed on finalisation so this isn't a
160
             * security problem.
161
             */
162
6.58k
            memset(p, 0, HASH_CBLOCK); /* keep it zeroed */
163
7.40k
        } else {
164
7.40k
            memcpy(p + n, data, len);
165
7.40k
            c->num += (unsigned int)len;
166
7.40k
            return 1;
167
7.40k
        }
168
13.9k
    }
169
170
30.0k
    n = len / HASH_CBLOCK;
171
30.0k
    if (n > 0) {
172
18.0k
        HASH_BLOCK_DATA_ORDER(c, data, n);
173
18.0k
        n *= HASH_CBLOCK;
174
18.0k
        data += n;
175
18.0k
        len -= n;
176
18.0k
    }
177
178
30.0k
    if (len != 0) {
179
29.4k
        p = (unsigned char *)c->data;
180
29.4k
        c->num = (unsigned int)len;
181
29.4k
        memcpy(p, data, len);
182
29.4k
    }
183
30.0k
    return 1;
184
37.4k
}
SHA256_Update
Line
Count
Source
129
52.9k
{
130
52.9k
    const unsigned char *data = data_;
131
52.9k
    unsigned char *p;
132
52.9k
    HASH_LONG l;
133
52.9k
    size_t n;
134
135
52.9k
    if (len == 0)
136
0
        return 1;
137
138
52.9k
    l = (c->Nl + (((HASH_LONG) len) << 3)) & 0xffffffffUL;
139
52.9k
    if (l < c->Nl)              /* overflow */
140
0
        c->Nh++;
141
52.9k
    c->Nh += (HASH_LONG) (len >> 29); /* might cause compiler warning on
142
                                       * 16-bit */
143
52.9k
    c->Nl = l;
144
145
52.9k
    n = c->num;
146
52.9k
    if (n != 0) {
147
12.9k
        p = (unsigned char *)c->data;
148
149
12.9k
        if (len >= HASH_CBLOCK || len + n >= HASH_CBLOCK) {
150
5.02k
            memcpy(p + n, data, HASH_CBLOCK - n);
151
5.02k
            HASH_BLOCK_DATA_ORDER(c, p, 1);
152
5.02k
            n = HASH_CBLOCK - n;
153
5.02k
            data += n;
154
5.02k
            len -= n;
155
5.02k
            c->num = 0;
156
            /*
157
             * We use memset rather than OPENSSL_cleanse() here deliberately.
158
             * Using OPENSSL_cleanse() here could be a performance issue. It
159
             * will get properly cleansed on finalisation so this isn't a
160
             * security problem.
161
             */
162
5.02k
            memset(p, 0, HASH_CBLOCK); /* keep it zeroed */
163
7.97k
        } else {
164
7.97k
            memcpy(p + n, data, len);
165
7.97k
            c->num += (unsigned int)len;
166
7.97k
            return 1;
167
7.97k
        }
168
12.9k
    }
169
170
44.9k
    n = len / HASH_CBLOCK;
171
44.9k
    if (n > 0) {
172
21.6k
        HASH_BLOCK_DATA_ORDER(c, data, n);
173
21.6k
        n *= HASH_CBLOCK;
174
21.6k
        data += n;
175
21.6k
        len -= n;
176
21.6k
    }
177
178
44.9k
    if (len != 0) {
179
27.7k
        p = (unsigned char *)c->data;
180
27.7k
        c->num = (unsigned int)len;
181
27.7k
        memcpy(p, data, len);
182
27.7k
    }
183
44.9k
    return 1;
184
52.9k
}
Unexecuted instantiation: MD4_Update
MD5_Update
Line
Count
Source
129
17.0k
{
130
17.0k
    const unsigned char *data = data_;
131
17.0k
    unsigned char *p;
132
17.0k
    HASH_LONG l;
133
17.0k
    size_t n;
134
135
17.0k
    if (len == 0)
136
0
        return 1;
137
138
17.0k
    l = (c->Nl + (((HASH_LONG) len) << 3)) & 0xffffffffUL;
139
17.0k
    if (l < c->Nl)              /* overflow */
140
0
        c->Nh++;
141
17.0k
    c->Nh += (HASH_LONG) (len >> 29); /* might cause compiler warning on
142
                                       * 16-bit */
143
17.0k
    c->Nl = l;
144
145
17.0k
    n = c->num;
146
17.0k
    if (n != 0) {
147
8.65k
        p = (unsigned char *)c->data;
148
149
8.65k
        if (len >= HASH_CBLOCK || len + n >= HASH_CBLOCK) {
150
6.88k
            memcpy(p + n, data, HASH_CBLOCK - n);
151
6.88k
            HASH_BLOCK_DATA_ORDER(c, p, 1);
152
6.88k
            n = HASH_CBLOCK - n;
153
6.88k
            data += n;
154
6.88k
            len -= n;
155
6.88k
            c->num = 0;
156
            /*
157
             * We use memset rather than OPENSSL_cleanse() here deliberately.
158
             * Using OPENSSL_cleanse() here could be a performance issue. It
159
             * will get properly cleansed on finalisation so this isn't a
160
             * security problem.
161
             */
162
6.88k
            memset(p, 0, HASH_CBLOCK); /* keep it zeroed */
163
6.88k
        } else {
164
1.77k
            memcpy(p + n, data, len);
165
1.77k
            c->num += (unsigned int)len;
166
1.77k
            return 1;
167
1.77k
        }
168
8.65k
    }
169
170
15.2k
    n = len / HASH_CBLOCK;
171
15.2k
    if (n > 0) {
172
2.35k
        HASH_BLOCK_DATA_ORDER(c, data, n);
173
2.35k
        n *= HASH_CBLOCK;
174
2.35k
        data += n;
175
2.35k
        len -= n;
176
2.35k
    }
177
178
15.2k
    if (len != 0) {
179
14.5k
        p = (unsigned char *)c->data;
180
14.5k
        c->num = (unsigned int)len;
181
14.5k
        memcpy(p, data, len);
182
14.5k
    }
183
15.2k
    return 1;
184
17.0k
}
Unexecuted instantiation: RIPEMD160_Update
Unexecuted instantiation: ossl_sm3_update
185
186
void HASH_TRANSFORM(HASH_CTX *c, const unsigned char *data)
187
3.00k
{
188
3.00k
    HASH_BLOCK_DATA_ORDER(c, data, 1);
189
3.00k
}
SHA1_Transform
Line
Count
Source
187
1.13k
{
188
1.13k
    HASH_BLOCK_DATA_ORDER(c, data, 1);
189
1.13k
}
SHA256_Transform
Line
Count
Source
187
1.87k
{
188
1.87k
    HASH_BLOCK_DATA_ORDER(c, data, 1);
189
1.87k
}
Unexecuted instantiation: MD4_Transform
Unexecuted instantiation: MD5_Transform
Unexecuted instantiation: RIPEMD160_Transform
Unexecuted instantiation: ossl_sm3_transform
190
191
int HASH_FINAL(unsigned char *md, HASH_CTX *c)
192
55.6k
{
193
55.6k
    unsigned char *p = (unsigned char *)c->data;
194
55.6k
    size_t n = c->num;
195
196
55.6k
    p[n] = 0x80;                /* there is always room for one */
197
55.6k
    n++;
198
199
55.6k
    if (n > (HASH_CBLOCK - 8)) {
200
255
        memset(p + n, 0, HASH_CBLOCK - n);
201
255
        n = 0;
202
255
        HASH_BLOCK_DATA_ORDER(c, p, 1);
203
255
    }
204
55.6k
    memset(p + n, 0, HASH_CBLOCK - 8 - n);
205
206
55.6k
    p += HASH_CBLOCK - 8;
207
#if   defined(DATA_ORDER_IS_BIG_ENDIAN)
208
48.0k
    (void)HOST_l2c(c->Nh, p);
209
48.0k
    (void)HOST_l2c(c->Nl, p);
210
#elif defined(DATA_ORDER_IS_LITTLE_ENDIAN)
211
7.53k
    (void)HOST_l2c(c->Nl, p);
212
7.53k
    (void)HOST_l2c(c->Nh, p);
213
#endif
214
55.6k
    p -= HASH_CBLOCK;
215
55.6k
    HASH_BLOCK_DATA_ORDER(c, p, 1);
216
55.6k
    c->num = 0;
217
55.6k
    OPENSSL_cleanse(p, HASH_CBLOCK);
218
219
#ifndef HASH_MAKE_STRING
220
# error "HASH_MAKE_STRING must be defined!"
221
#else
222
55.6k
    HASH_MAKE_STRING(c, md);
223
25.5k
#endif
224
225
25.5k
    return 1;
226
55.6k
}
SHA1_Final
Line
Count
Source
192
22.4k
{
193
22.4k
    unsigned char *p = (unsigned char *)c->data;
194
22.4k
    size_t n = c->num;
195
196
22.4k
    p[n] = 0x80;                /* there is always room for one */
197
22.4k
    n++;
198
199
22.4k
    if (n > (HASH_CBLOCK - 8)) {
200
92
        memset(p + n, 0, HASH_CBLOCK - n);
201
92
        n = 0;
202
92
        HASH_BLOCK_DATA_ORDER(c, p, 1);
203
92
    }
204
22.4k
    memset(p + n, 0, HASH_CBLOCK - 8 - n);
205
206
22.4k
    p += HASH_CBLOCK - 8;
207
22.4k
#if   defined(DATA_ORDER_IS_BIG_ENDIAN)
208
22.4k
    (void)HOST_l2c(c->Nh, p);
209
22.4k
    (void)HOST_l2c(c->Nl, p);
210
#elif defined(DATA_ORDER_IS_LITTLE_ENDIAN)
211
    (void)HOST_l2c(c->Nl, p);
212
    (void)HOST_l2c(c->Nh, p);
213
#endif
214
22.4k
    p -= HASH_CBLOCK;
215
22.4k
    HASH_BLOCK_DATA_ORDER(c, p, 1);
216
22.4k
    c->num = 0;
217
22.4k
    OPENSSL_cleanse(p, HASH_CBLOCK);
218
219
#ifndef HASH_MAKE_STRING
220
# error "HASH_MAKE_STRING must be defined!"
221
#else
222
22.4k
    HASH_MAKE_STRING(c, md);
223
22.4k
#endif
224
225
22.4k
    return 1;
226
22.4k
}
SHA256_Final
Line
Count
Source
192
25.5k
{
193
25.5k
    unsigned char *p = (unsigned char *)c->data;
194
25.5k
    size_t n = c->num;
195
196
25.5k
    p[n] = 0x80;                /* there is always room for one */
197
25.5k
    n++;
198
199
25.5k
    if (n > (HASH_CBLOCK - 8)) {
200
87
        memset(p + n, 0, HASH_CBLOCK - n);
201
87
        n = 0;
202
87
        HASH_BLOCK_DATA_ORDER(c, p, 1);
203
87
    }
204
25.5k
    memset(p + n, 0, HASH_CBLOCK - 8 - n);
205
206
25.5k
    p += HASH_CBLOCK - 8;
207
25.5k
#if   defined(DATA_ORDER_IS_BIG_ENDIAN)
208
25.5k
    (void)HOST_l2c(c->Nh, p);
209
25.5k
    (void)HOST_l2c(c->Nl, p);
210
#elif defined(DATA_ORDER_IS_LITTLE_ENDIAN)
211
    (void)HOST_l2c(c->Nl, p);
212
    (void)HOST_l2c(c->Nh, p);
213
#endif
214
25.5k
    p -= HASH_CBLOCK;
215
25.5k
    HASH_BLOCK_DATA_ORDER(c, p, 1);
216
25.5k
    c->num = 0;
217
25.5k
    OPENSSL_cleanse(p, HASH_CBLOCK);
218
219
#ifndef HASH_MAKE_STRING
220
# error "HASH_MAKE_STRING must be defined!"
221
#else
222
25.5k
    HASH_MAKE_STRING(c, md);
223
25.5k
#endif
224
225
25.5k
    return 1;
226
25.5k
}
Unexecuted instantiation: MD4_Final
MD5_Final
Line
Count
Source
192
7.53k
{
193
7.53k
    unsigned char *p = (unsigned char *)c->data;
194
7.53k
    size_t n = c->num;
195
196
7.53k
    p[n] = 0x80;                /* there is always room for one */
197
7.53k
    n++;
198
199
7.53k
    if (n > (HASH_CBLOCK - 8)) {
200
76
        memset(p + n, 0, HASH_CBLOCK - n);
201
76
        n = 0;
202
76
        HASH_BLOCK_DATA_ORDER(c, p, 1);
203
76
    }
204
7.53k
    memset(p + n, 0, HASH_CBLOCK - 8 - n);
205
206
7.53k
    p += HASH_CBLOCK - 8;
207
#if   defined(DATA_ORDER_IS_BIG_ENDIAN)
208
    (void)HOST_l2c(c->Nh, p);
209
    (void)HOST_l2c(c->Nl, p);
210
#elif defined(DATA_ORDER_IS_LITTLE_ENDIAN)
211
7.53k
    (void)HOST_l2c(c->Nl, p);
212
7.53k
    (void)HOST_l2c(c->Nh, p);
213
7.53k
#endif
214
7.53k
    p -= HASH_CBLOCK;
215
7.53k
    HASH_BLOCK_DATA_ORDER(c, p, 1);
216
7.53k
    c->num = 0;
217
7.53k
    OPENSSL_cleanse(p, HASH_CBLOCK);
218
219
#ifndef HASH_MAKE_STRING
220
# error "HASH_MAKE_STRING must be defined!"
221
#else
222
7.53k
    HASH_MAKE_STRING(c, md);
223
7.53k
#endif
224
225
7.53k
    return 1;
226
7.53k
}
Unexecuted instantiation: RIPEMD160_Final
Unexecuted instantiation: ossl_sm3_final
227
228
#ifndef MD32_REG_T
229
# if defined(__alpha) || defined(__sparcv9) || defined(__mips)
230
#  define MD32_REG_T long
231
/*
232
 * This comment was originally written for MD5, which is why it
233
 * discusses A-D. But it basically applies to all 32-bit digests,
234
 * which is why it was moved to common header file.
235
 *
236
 * In case you wonder why A-D are declared as long and not
237
 * as MD5_LONG. Doing so results in slight performance
238
 * boost on LP64 architectures. The catch is we don't
239
 * really care if 32 MSBs of a 64-bit register get polluted
240
 * with eventual overflows as we *save* only 32 LSBs in
241
 * *either* case. Now declaring 'em long excuses the compiler
242
 * from keeping 32 MSBs zeroed resulting in 13% performance
243
 * improvement under SPARC Solaris7/64 and 5% under AlphaLinux.
244
 * Well, to be honest it should say that this *prevents*
245
 * performance degradation.
246
 */
247
# else
248
/*
249
 * Above is not absolute and there are LP64 compilers that
250
 * generate better code if MD32_REG_T is defined int. The above
251
 * pre-processor condition reflects the circumstances under which
252
 * the conclusion was made and is subject to further extension.
253
 */
254
#  define MD32_REG_T int
255
# endif
256
#endif