/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 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 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 |