Coverage Report

Created: 2025-06-13 06:57

/src/openssl/include/crypto/md32_common.h
Line
Count
Source (jump to first uncovered line)
1
/*
2
 * Copyright 1999-2022 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
#ifndef OSSL_CRYPTO_MD32_COMMON_H
67
# define OSSL_CRYPTO_MD32_COMMON_H
68
# pragma once
69
70
# include <openssl/crypto.h>
71
72
# if !defined(DATA_ORDER_IS_BIG_ENDIAN) && !defined(DATA_ORDER_IS_LITTLE_ENDIAN)
73
#  error "DATA_ORDER must be defined!"
74
# endif
75
76
# ifndef HASH_CBLOCK
77
#  error "HASH_CBLOCK must be defined!"
78
# endif
79
# ifndef HASH_LONG
80
#  error "HASH_LONG must be defined!"
81
# endif
82
# ifndef HASH_CTX
83
#  error "HASH_CTX must be defined!"
84
# endif
85
86
# ifndef HASH_UPDATE
87
#  error "HASH_UPDATE must be defined!"
88
# endif
89
# ifndef HASH_TRANSFORM
90
#  error "HASH_TRANSFORM must be defined!"
91
# endif
92
# ifndef HASH_FINAL
93
#  error "HASH_FINAL must be defined!"
94
# endif
95
96
# ifndef HASH_BLOCK_DATA_ORDER
97
#  error "HASH_BLOCK_DATA_ORDER must be defined!"
98
# endif
99
100
0
# define ROTATE(a,n)     (((a)<<(n))|(((a)&0xffffffff)>>(32-(n))))
101
102
#ifndef PEDANTIC
103
# if defined(__GNUC__) && __GNUC__>=2 && \
104
     !defined(OPENSSL_NO_ASM) && !defined(OPENSSL_NO_INLINE_ASM)
105
#  if defined(__riscv_zbb) || defined(__riscv_zbkb)
106
#   if __riscv_xlen == 64
107
#   undef ROTATE
108
#   define ROTATE(x, n) ({ MD32_REG_T ret;            \
109
                       asm ("roriw %0, %1, %2"        \
110
                       : "=r"(ret)                    \
111
                       : "r"(x), "i"(32 - (n))); ret;})
112
#   endif
113
#   if __riscv_xlen == 32
114
#   undef ROTATE
115
#   define ROTATE(x, n) ({ MD32_REG_T ret;            \
116
                       asm ("rori %0, %1, %2"         \
117
                       : "=r"(ret)                    \
118
                       : "r"(x), "i"(32 - (n))); ret;})
119
#   endif
120
#  endif
121
# endif
122
#endif
123
124
# if defined(DATA_ORDER_IS_BIG_ENDIAN)
125
126
0
#  define HOST_c2l(c,l)  (l =(((unsigned long)(*((c)++)))<<24),          \
127
0
                         l|=(((unsigned long)(*((c)++)))<<16),          \
128
0
                         l|=(((unsigned long)(*((c)++)))<< 8),          \
129
0
                         l|=(((unsigned long)(*((c)++)))    )           )
130
2.27G
#  define HOST_l2c(l,c)  (*((c)++)=(unsigned char)(((l)>>24)&0xff),      \
131
2.27G
                         *((c)++)=(unsigned char)(((l)>>16)&0xff),      \
132
2.27G
                         *((c)++)=(unsigned char)(((l)>> 8)&0xff),      \
133
2.27G
                         *((c)++)=(unsigned char)(((l)    )&0xff),      \
134
2.27G
                         l)
135
136
# elif defined(DATA_ORDER_IS_LITTLE_ENDIAN)
137
138
0
#  define HOST_c2l(c,l)  (l =(((unsigned long)(*((c)++)))    ),          \
139
0
                         l|=(((unsigned long)(*((c)++)))<< 8),          \
140
0
                         l|=(((unsigned long)(*((c)++)))<<16),          \
141
0
                         l|=(((unsigned long)(*((c)++)))<<24)           )
142
0
#  define HOST_l2c(l,c)  (*((c)++)=(unsigned char)(((l)    )&0xff),      \
143
0
                         *((c)++)=(unsigned char)(((l)>> 8)&0xff),      \
144
0
                         *((c)++)=(unsigned char)(((l)>>16)&0xff),      \
145
0
                         *((c)++)=(unsigned char)(((l)>>24)&0xff),      \
146
0
                         l)
147
148
# endif
149
150
/*
151
 * Time for some action :-)
152
 */
153
154
int HASH_UPDATE(HASH_CTX *c, const void *data_, size_t len)
155
911M
{
156
911M
    const unsigned char *data = data_;
157
911M
    unsigned char *p;
158
911M
    HASH_LONG l;
159
911M
    size_t n;
160
161
911M
    if (len == 0)
162
0
        return 1;
163
164
911M
    l = (c->Nl + (((HASH_LONG) len) << 3)) & 0xffffffffUL;
165
911M
    if (l < c->Nl)              /* overflow */
166
0
        c->Nh++;
167
911M
    c->Nh += (HASH_LONG) (len >> 29); /* might cause compiler warning on
168
                                       * 16-bit */
169
911M
    c->Nl = l;
170
171
911M
    n = c->num;
172
911M
    if (n != 0) {
173
455M
        p = (unsigned char *)c->data;
174
175
455M
        if (len >= HASH_CBLOCK || len + n >= HASH_CBLOCK) {
176
228M
            memcpy(p + n, data, HASH_CBLOCK - n);
177
228M
            HASH_BLOCK_DATA_ORDER(c, p, 1);
178
228M
            n = HASH_CBLOCK - n;
179
228M
            data += n;
180
228M
            len -= n;
181
228M
            c->num = 0;
182
            /*
183
             * We use memset rather than OPENSSL_cleanse() here deliberately.
184
             * Using OPENSSL_cleanse() here could be a performance issue. It
185
             * will get properly cleansed on finalisation so this isn't a
186
             * security problem.
187
             */
188
228M
            memset(p, 0, HASH_CBLOCK); /* keep it zeroed */
189
228M
        } else {
190
227M
            memcpy(p + n, data, len);
191
227M
            c->num += (unsigned int)len;
192
227M
            return 1;
193
227M
        }
194
455M
    }
195
196
683M
    n = len / HASH_CBLOCK;
197
683M
    if (n > 0) {
198
98.1k
        HASH_BLOCK_DATA_ORDER(c, data, n);
199
98.1k
        n *= HASH_CBLOCK;
200
98.1k
        data += n;
201
98.1k
        len -= n;
202
98.1k
    }
203
204
683M
    if (len != 0) {
205
455M
        p = (unsigned char *)c->data;
206
455M
        c->num = (unsigned int)len;
207
455M
        memcpy(p, data, len);
208
455M
    }
209
683M
    return 1;
210
911M
}
Unexecuted instantiation: MD4_Update
Unexecuted instantiation: MD5_Update
Unexecuted instantiation: RIPEMD160_Update
Unexecuted instantiation: SHA1_Update
SHA256_Update
Line
Count
Source
155
911M
{
156
911M
    const unsigned char *data = data_;
157
911M
    unsigned char *p;
158
911M
    HASH_LONG l;
159
911M
    size_t n;
160
161
911M
    if (len == 0)
162
0
        return 1;
163
164
911M
    l = (c->Nl + (((HASH_LONG) len) << 3)) & 0xffffffffUL;
165
911M
    if (l < c->Nl)              /* overflow */
166
0
        c->Nh++;
167
911M
    c->Nh += (HASH_LONG) (len >> 29); /* might cause compiler warning on
168
                                       * 16-bit */
169
911M
    c->Nl = l;
170
171
911M
    n = c->num;
172
911M
    if (n != 0) {
173
455M
        p = (unsigned char *)c->data;
174
175
455M
        if (len >= HASH_CBLOCK || len + n >= HASH_CBLOCK) {
176
228M
            memcpy(p + n, data, HASH_CBLOCK - n);
177
228M
            HASH_BLOCK_DATA_ORDER(c, p, 1);
178
228M
            n = HASH_CBLOCK - n;
179
228M
            data += n;
180
228M
            len -= n;
181
228M
            c->num = 0;
182
            /*
183
             * We use memset rather than OPENSSL_cleanse() here deliberately.
184
             * Using OPENSSL_cleanse() here could be a performance issue. It
185
             * will get properly cleansed on finalisation so this isn't a
186
             * security problem.
187
             */
188
228M
            memset(p, 0, HASH_CBLOCK); /* keep it zeroed */
189
228M
        } else {
190
227M
            memcpy(p + n, data, len);
191
227M
            c->num += (unsigned int)len;
192
227M
            return 1;
193
227M
        }
194
455M
    }
195
196
683M
    n = len / HASH_CBLOCK;
197
683M
    if (n > 0) {
198
98.1k
        HASH_BLOCK_DATA_ORDER(c, data, n);
199
98.1k
        n *= HASH_CBLOCK;
200
98.1k
        data += n;
201
98.1k
        len -= n;
202
98.1k
    }
203
204
683M
    if (len != 0) {
205
455M
        p = (unsigned char *)c->data;
206
455M
        c->num = (unsigned int)len;
207
455M
        memcpy(p, data, len);
208
455M
    }
209
683M
    return 1;
210
911M
}
Unexecuted instantiation: ossl_sm3_update
211
212
void HASH_TRANSFORM(HASH_CTX *c, const unsigned char *data)
213
0
{
214
0
    HASH_BLOCK_DATA_ORDER(c, data, 1);
215
0
}
Unexecuted instantiation: MD4_Transform
Unexecuted instantiation: MD5_Transform
Unexecuted instantiation: RIPEMD160_Transform
Unexecuted instantiation: SHA1_Transform
Unexecuted instantiation: SHA256_Transform
Unexecuted instantiation: ossl_sm3_transform
216
217
int HASH_FINAL(unsigned char *md, HASH_CTX *c)
218
227M
{
219
227M
    unsigned char *p = (unsigned char *)c->data;
220
227M
    size_t n = c->num;
221
222
227M
    p[n] = 0x80;                /* there is always room for one */
223
227M
    n++;
224
225
227M
    if (n > (HASH_CBLOCK - 8)) {
226
29
        memset(p + n, 0, HASH_CBLOCK - n);
227
29
        n = 0;
228
29
        HASH_BLOCK_DATA_ORDER(c, p, 1);
229
29
    }
230
227M
    memset(p + n, 0, HASH_CBLOCK - 8 - n);
231
232
227M
    p += HASH_CBLOCK - 8;
233
# if   defined(DATA_ORDER_IS_BIG_ENDIAN)
234
227M
    (void)HOST_l2c(c->Nh, p);
235
227M
    (void)HOST_l2c(c->Nl, p);
236
# elif defined(DATA_ORDER_IS_LITTLE_ENDIAN)
237
0
    (void)HOST_l2c(c->Nl, p);
238
0
    (void)HOST_l2c(c->Nh, p);
239
# endif
240
227M
    p -= HASH_CBLOCK;
241
227M
    HASH_BLOCK_DATA_ORDER(c, p, 1);
242
227M
    c->num = 0;
243
227M
    OPENSSL_cleanse(p, HASH_CBLOCK);
244
245
# ifndef HASH_MAKE_STRING
246
#  error "HASH_MAKE_STRING must be defined!"
247
# else
248
227M
    HASH_MAKE_STRING(c, md);
249
227M
# endif
250
251
227M
    return 1;
252
227M
}
Unexecuted instantiation: MD4_Final
Unexecuted instantiation: MD5_Final
Unexecuted instantiation: RIPEMD160_Final
Unexecuted instantiation: SHA1_Final
SHA256_Final
Line
Count
Source
218
227M
{
219
227M
    unsigned char *p = (unsigned char *)c->data;
220
227M
    size_t n = c->num;
221
222
227M
    p[n] = 0x80;                /* there is always room for one */
223
227M
    n++;
224
225
227M
    if (n > (HASH_CBLOCK - 8)) {
226
29
        memset(p + n, 0, HASH_CBLOCK - n);
227
29
        n = 0;
228
29
        HASH_BLOCK_DATA_ORDER(c, p, 1);
229
29
    }
230
227M
    memset(p + n, 0, HASH_CBLOCK - 8 - n);
231
232
227M
    p += HASH_CBLOCK - 8;
233
227M
# if   defined(DATA_ORDER_IS_BIG_ENDIAN)
234
227M
    (void)HOST_l2c(c->Nh, p);
235
227M
    (void)HOST_l2c(c->Nl, p);
236
# elif defined(DATA_ORDER_IS_LITTLE_ENDIAN)
237
    (void)HOST_l2c(c->Nl, p);
238
    (void)HOST_l2c(c->Nh, p);
239
# endif
240
227M
    p -= HASH_CBLOCK;
241
227M
    HASH_BLOCK_DATA_ORDER(c, p, 1);
242
227M
    c->num = 0;
243
227M
    OPENSSL_cleanse(p, HASH_CBLOCK);
244
245
# ifndef HASH_MAKE_STRING
246
#  error "HASH_MAKE_STRING must be defined!"
247
# else
248
227M
    HASH_MAKE_STRING(c, md);
249
227M
# endif
250
251
227M
    return 1;
252
227M
}
Unexecuted instantiation: ossl_sm3_final
253
254
# ifndef MD32_REG_T
255
#  if defined(__alpha) || defined(__sparcv9) || defined(__mips)
256
#   define MD32_REG_T long
257
/*
258
 * This comment was originally written for MD5, which is why it
259
 * discusses A-D. But it basically applies to all 32-bit digests,
260
 * which is why it was moved to common header file.
261
 *
262
 * In case you wonder why A-D are declared as long and not
263
 * as MD5_LONG. Doing so results in slight performance
264
 * boost on LP64 architectures. The catch is we don't
265
 * really care if 32 MSBs of a 64-bit register get polluted
266
 * with eventual overflows as we *save* only 32 LSBs in
267
 * *either* case. Now declaring 'em long excuses the compiler
268
 * from keeping 32 MSBs zeroed resulting in 13% performance
269
 * improvement under SPARC Solaris7/64 and 5% under AlphaLinux.
270
 * Well, to be honest it should say that this *prevents*
271
 * performance degradation.
272
 */
273
#  else
274
/*
275
 * Above is not absolute and there are LP64 compilers that
276
 * generate better code if MD32_REG_T is defined int. The above
277
 * pre-processor condition reflects the circumstances under which
278
 * the conclusion was made and is subject to further extension.
279
 */
280
#   define MD32_REG_T int
281
#  endif
282
# endif
283
284
#endif