Coverage Report

Created: 2023-09-25 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
411k
# define HOST_l2c(l,c)  (*((c)++)=(unsigned char)(((l)>>24)&0xff),      \
105
411k
                         *((c)++)=(unsigned char)(((l)>>16)&0xff),      \
106
411k
                         *((c)++)=(unsigned char)(((l)>> 8)&0xff),      \
107
411k
                         *((c)++)=(unsigned char)(((l)    )&0xff),      \
108
411k
                         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
50.2k
# define HOST_l2c(l,c)  (*((c)++)=(unsigned char)(((l)    )&0xff),      \
117
50.2k
                         *((c)++)=(unsigned char)(((l)>> 8)&0xff),      \
118
50.2k
                         *((c)++)=(unsigned char)(((l)>>16)&0xff),      \
119
50.2k
                         *((c)++)=(unsigned char)(((l)>>24)&0xff),      \
120
50.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
109k
{
130
109k
    const unsigned char *data = data_;
131
109k
    unsigned char *p;
132
109k
    HASH_LONG l;
133
109k
    size_t n;
134
135
109k
    if (len == 0)
136
0
        return 1;
137
138
109k
    l = (c->Nl + (((HASH_LONG) len) << 3)) & 0xffffffffUL;
139
109k
    if (l < c->Nl)              /* overflow */
140
0
        c->Nh++;
141
109k
    c->Nh += (HASH_LONG) (len >> 29); /* might cause compiler warning on
142
                                       * 16-bit */
143
109k
    c->Nl = l;
144
145
109k
    n = c->num;
146
109k
    if (n != 0) {
147
37.3k
        p = (unsigned char *)c->data;
148
149
37.3k
        if (len >= HASH_CBLOCK || len + n >= HASH_CBLOCK) {
150
19.4k
            memcpy(p + n, data, HASH_CBLOCK - n);
151
19.4k
            HASH_BLOCK_DATA_ORDER(c, p, 1);
152
19.4k
            n = HASH_CBLOCK - n;
153
19.4k
            data += n;
154
19.4k
            len -= n;
155
19.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
19.4k
            memset(p, 0, HASH_CBLOCK); /* keep it zeroed */
163
19.4k
        } else {
164
17.9k
            memcpy(p + n, data, len);
165
17.9k
            c->num += (unsigned int)len;
166
17.9k
            return 1;
167
17.9k
        }
168
37.3k
    }
169
170
91.9k
    n = len / HASH_CBLOCK;
171
91.9k
    if (n > 0) {
172
41.8k
        HASH_BLOCK_DATA_ORDER(c, data, n);
173
41.8k
        n *= HASH_CBLOCK;
174
41.8k
        data += n;
175
41.8k
        len -= n;
176
41.8k
    }
177
178
91.9k
    if (len != 0) {
179
73.5k
        p = (unsigned char *)c->data;
180
73.5k
        c->num = (unsigned int)len;
181
73.5k
        memcpy(p, data, len);
182
73.5k
    }
183
91.9k
    return 1;
184
109k
}
SHA1_Update
Line
Count
Source
129
39.4k
{
130
39.4k
    const unsigned char *data = data_;
131
39.4k
    unsigned char *p;
132
39.4k
    HASH_LONG l;
133
39.4k
    size_t n;
134
135
39.4k
    if (len == 0)
136
0
        return 1;
137
138
39.4k
    l = (c->Nl + (((HASH_LONG) len) << 3)) & 0xffffffffUL;
139
39.4k
    if (l < c->Nl)              /* overflow */
140
0
        c->Nh++;
141
39.4k
    c->Nh += (HASH_LONG) (len >> 29); /* might cause compiler warning on
142
                                       * 16-bit */
143
39.4k
    c->Nl = l;
144
145
39.4k
    n = c->num;
146
39.4k
    if (n != 0) {
147
15.3k
        p = (unsigned char *)c->data;
148
149
15.3k
        if (len >= HASH_CBLOCK || len + n >= HASH_CBLOCK) {
150
7.25k
            memcpy(p + n, data, HASH_CBLOCK - n);
151
7.25k
            HASH_BLOCK_DATA_ORDER(c, p, 1);
152
7.25k
            n = HASH_CBLOCK - n;
153
7.25k
            data += n;
154
7.25k
            len -= n;
155
7.25k
            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
7.25k
            memset(p, 0, HASH_CBLOCK); /* keep it zeroed */
163
8.10k
        } else {
164
8.10k
            memcpy(p + n, data, len);
165
8.10k
            c->num += (unsigned int)len;
166
8.10k
            return 1;
167
8.10k
        }
168
15.3k
    }
169
170
31.3k
    n = len / HASH_CBLOCK;
171
31.3k
    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
31.3k
    if (len != 0) {
179
30.6k
        p = (unsigned char *)c->data;
180
30.6k
        c->num = (unsigned int)len;
181
30.6k
        memcpy(p, data, len);
182
30.6k
    }
183
31.3k
    return 1;
184
39.4k
}
SHA256_Update
Line
Count
Source
129
51.8k
{
130
51.8k
    const unsigned char *data = data_;
131
51.8k
    unsigned char *p;
132
51.8k
    HASH_LONG l;
133
51.8k
    size_t n;
134
135
51.8k
    if (len == 0)
136
0
        return 1;
137
138
51.8k
    l = (c->Nl + (((HASH_LONG) len) << 3)) & 0xffffffffUL;
139
51.8k
    if (l < c->Nl)              /* overflow */
140
0
        c->Nh++;
141
51.8k
    c->Nh += (HASH_LONG) (len >> 29); /* might cause compiler warning on
142
                                       * 16-bit */
143
51.8k
    c->Nl = l;
144
145
51.8k
    n = c->num;
146
51.8k
    if (n != 0) {
147
12.5k
        p = (unsigned char *)c->data;
148
149
12.5k
        if (len >= HASH_CBLOCK || len + n >= HASH_CBLOCK) {
150
4.60k
            memcpy(p + n, data, HASH_CBLOCK - n);
151
4.60k
            HASH_BLOCK_DATA_ORDER(c, p, 1);
152
4.60k
            n = HASH_CBLOCK - n;
153
4.60k
            data += n;
154
4.60k
            len -= n;
155
4.60k
            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
4.60k
            memset(p, 0, HASH_CBLOCK); /* keep it zeroed */
163
7.98k
        } else {
164
7.98k
            memcpy(p + n, data, len);
165
7.98k
            c->num += (unsigned int)len;
166
7.98k
            return 1;
167
7.98k
        }
168
12.5k
    }
169
170
43.8k
    n = len / HASH_CBLOCK;
171
43.8k
    if (n > 0) {
172
21.1k
        HASH_BLOCK_DATA_ORDER(c, data, n);
173
21.1k
        n *= HASH_CBLOCK;
174
21.1k
        data += n;
175
21.1k
        len -= n;
176
21.1k
    }
177
178
43.8k
    if (len != 0) {
179
26.8k
        p = (unsigned char *)c->data;
180
26.8k
        c->num = (unsigned int)len;
181
26.8k
        memcpy(p, data, len);
182
26.8k
    }
183
43.8k
    return 1;
184
51.8k
}
Unexecuted instantiation: MD4_Update
MD5_Update
Line
Count
Source
129
18.6k
{
130
18.6k
    const unsigned char *data = data_;
131
18.6k
    unsigned char *p;
132
18.6k
    HASH_LONG l;
133
18.6k
    size_t n;
134
135
18.6k
    if (len == 0)
136
0
        return 1;
137
138
18.6k
    l = (c->Nl + (((HASH_LONG) len) << 3)) & 0xffffffffUL;
139
18.6k
    if (l < c->Nl)              /* overflow */
140
0
        c->Nh++;
141
18.6k
    c->Nh += (HASH_LONG) (len >> 29); /* might cause compiler warning on
142
                                       * 16-bit */
143
18.6k
    c->Nl = l;
144
145
18.6k
    n = c->num;
146
18.6k
    if (n != 0) {
147
9.42k
        p = (unsigned char *)c->data;
148
149
9.42k
        if (len >= HASH_CBLOCK || len + n >= HASH_CBLOCK) {
150
7.55k
            memcpy(p + n, data, HASH_CBLOCK - n);
151
7.55k
            HASH_BLOCK_DATA_ORDER(c, p, 1);
152
7.55k
            n = HASH_CBLOCK - n;
153
7.55k
            data += n;
154
7.55k
            len -= n;
155
7.55k
            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
7.55k
            memset(p, 0, HASH_CBLOCK); /* keep it zeroed */
163
7.55k
        } else {
164
1.87k
            memcpy(p + n, data, len);
165
1.87k
            c->num += (unsigned int)len;
166
1.87k
            return 1;
167
1.87k
        }
168
9.42k
    }
169
170
16.7k
    n = len / HASH_CBLOCK;
171
16.7k
    if (n > 0) {
172
2.61k
        HASH_BLOCK_DATA_ORDER(c, data, n);
173
2.61k
        n *= HASH_CBLOCK;
174
2.61k
        data += n;
175
2.61k
        len -= n;
176
2.61k
    }
177
178
16.7k
    if (len != 0) {
179
16.0k
        p = (unsigned char *)c->data;
180
16.0k
        c->num = (unsigned int)len;
181
16.0k
        memcpy(p, data, len);
182
16.0k
    }
183
16.7k
    return 1;
184
18.6k
}
Unexecuted instantiation: RIPEMD160_Update
Unexecuted instantiation: ossl_sm3_update
185
186
void HASH_TRANSFORM(HASH_CTX *c, const unsigned char *data)
187
2.73k
{
188
2.73k
    HASH_BLOCK_DATA_ORDER(c, data, 1);
189
2.73k
}
SHA1_Transform
Line
Count
Source
187
1.21k
{
188
1.21k
    HASH_BLOCK_DATA_ORDER(c, data, 1);
189
1.21k
}
SHA256_Transform
Line
Count
Source
187
1.52k
{
188
1.52k
    HASH_BLOCK_DATA_ORDER(c, data, 1);
189
1.52k
}
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
56.4k
{
193
56.4k
    unsigned char *p = (unsigned char *)c->data;
194
56.4k
    size_t n = c->num;
195
196
56.4k
    p[n] = 0x80;                /* there is always room for one */
197
56.4k
    n++;
198
199
56.4k
    if (n > (HASH_CBLOCK - 8)) {
200
253
        memset(p + n, 0, HASH_CBLOCK - n);
201
253
        n = 0;
202
253
        HASH_BLOCK_DATA_ORDER(c, p, 1);
203
253
    }
204
56.4k
    memset(p + n, 0, HASH_CBLOCK - 8 - n);
205
206
56.4k
    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
8.38k
    (void)HOST_l2c(c->Nl, p);
212
8.38k
    (void)HOST_l2c(c->Nh, p);
213
#endif
214
56.4k
    p -= HASH_CBLOCK;
215
56.4k
    HASH_BLOCK_DATA_ORDER(c, p, 1);
216
56.4k
    c->num = 0;
217
56.4k
    OPENSSL_cleanse(p, HASH_CBLOCK);
218
219
#ifndef HASH_MAKE_STRING
220
# error "HASH_MAKE_STRING must be defined!"
221
#else
222
56.4k
    HASH_MAKE_STRING(c, md);
223
24.9k
#endif
224
225
24.9k
    return 1;
226
56.4k
}
SHA1_Final
Line
Count
Source
192
23.0k
{
193
23.0k
    unsigned char *p = (unsigned char *)c->data;
194
23.0k
    size_t n = c->num;
195
196
23.0k
    p[n] = 0x80;                /* there is always room for one */
197
23.0k
    n++;
198
199
23.0k
    if (n > (HASH_CBLOCK - 8)) {
200
98
        memset(p + n, 0, HASH_CBLOCK - n);
201
98
        n = 0;
202
98
        HASH_BLOCK_DATA_ORDER(c, p, 1);
203
98
    }
204
23.0k
    memset(p + n, 0, HASH_CBLOCK - 8 - n);
205
206
23.0k
    p += HASH_CBLOCK - 8;
207
23.0k
#if   defined(DATA_ORDER_IS_BIG_ENDIAN)
208
23.0k
    (void)HOST_l2c(c->Nh, p);
209
23.0k
    (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
23.0k
    p -= HASH_CBLOCK;
215
23.0k
    HASH_BLOCK_DATA_ORDER(c, p, 1);
216
23.0k
    c->num = 0;
217
23.0k
    OPENSSL_cleanse(p, HASH_CBLOCK);
218
219
#ifndef HASH_MAKE_STRING
220
# error "HASH_MAKE_STRING must be defined!"
221
#else
222
23.0k
    HASH_MAKE_STRING(c, md);
223
23.0k
#endif
224
225
23.0k
    return 1;
226
23.0k
}
SHA256_Final
Line
Count
Source
192
24.9k
{
193
24.9k
    unsigned char *p = (unsigned char *)c->data;
194
24.9k
    size_t n = c->num;
195
196
24.9k
    p[n] = 0x80;                /* there is always room for one */
197
24.9k
    n++;
198
199
24.9k
    if (n > (HASH_CBLOCK - 8)) {
200
81
        memset(p + n, 0, HASH_CBLOCK - n);
201
81
        n = 0;
202
81
        HASH_BLOCK_DATA_ORDER(c, p, 1);
203
81
    }
204
24.9k
    memset(p + n, 0, HASH_CBLOCK - 8 - n);
205
206
24.9k
    p += HASH_CBLOCK - 8;
207
24.9k
#if   defined(DATA_ORDER_IS_BIG_ENDIAN)
208
24.9k
    (void)HOST_l2c(c->Nh, p);
209
24.9k
    (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
24.9k
    p -= HASH_CBLOCK;
215
24.9k
    HASH_BLOCK_DATA_ORDER(c, p, 1);
216
24.9k
    c->num = 0;
217
24.9k
    OPENSSL_cleanse(p, HASH_CBLOCK);
218
219
#ifndef HASH_MAKE_STRING
220
# error "HASH_MAKE_STRING must be defined!"
221
#else
222
24.9k
    HASH_MAKE_STRING(c, md);
223
24.9k
#endif
224
225
24.9k
    return 1;
226
24.9k
}
Unexecuted instantiation: MD4_Final
MD5_Final
Line
Count
Source
192
8.38k
{
193
8.38k
    unsigned char *p = (unsigned char *)c->data;
194
8.38k
    size_t n = c->num;
195
196
8.38k
    p[n] = 0x80;                /* there is always room for one */
197
8.38k
    n++;
198
199
8.38k
    if (n > (HASH_CBLOCK - 8)) {
200
74
        memset(p + n, 0, HASH_CBLOCK - n);
201
74
        n = 0;
202
74
        HASH_BLOCK_DATA_ORDER(c, p, 1);
203
74
    }
204
8.38k
    memset(p + n, 0, HASH_CBLOCK - 8 - n);
205
206
8.38k
    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
8.38k
    (void)HOST_l2c(c->Nl, p);
212
8.38k
    (void)HOST_l2c(c->Nh, p);
213
8.38k
#endif
214
8.38k
    p -= HASH_CBLOCK;
215
8.38k
    HASH_BLOCK_DATA_ORDER(c, p, 1);
216
8.38k
    c->num = 0;
217
8.38k
    OPENSSL_cleanse(p, HASH_CBLOCK);
218
219
#ifndef HASH_MAKE_STRING
220
# error "HASH_MAKE_STRING must be defined!"
221
#else
222
8.38k
    HASH_MAKE_STRING(c, md);
223
8.38k
#endif
224
225
8.38k
    return 1;
226
8.38k
}
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