Coverage Report

Created: 2024-07-27 06:39

/src/openssl31/providers/implementations/digests/sha3_prov.c
Line
Count
Source (jump to first uncovered line)
1
/*
2
 * Copyright 2019-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 <string.h>
11
#include <openssl/core_names.h>
12
#include <openssl/crypto.h>
13
#include <openssl/evp.h>
14
#include <openssl/params.h>
15
#include <openssl/err.h>
16
#include <openssl/proverr.h>
17
#include "internal/sha3.h"
18
#include "prov/digestcommon.h"
19
#include "prov/implementations.h"
20
21
#define SHA3_FLAGS PROV_DIGEST_FLAG_ALGID_ABSENT
22
#define SHAKE_FLAGS PROV_DIGEST_FLAG_XOF
23
#define KMAC_FLAGS PROV_DIGEST_FLAG_XOF
24
25
/*
26
 * Forward declaration of any unique methods implemented here. This is not strictly
27
 * necessary for the compiler, but provides an assurance that the signatures
28
 * of the functions in the dispatch table are correct.
29
 */
30
static OSSL_FUNC_digest_init_fn keccak_init;
31
static OSSL_FUNC_digest_init_fn keccak_init_params;
32
static OSSL_FUNC_digest_update_fn keccak_update;
33
static OSSL_FUNC_digest_final_fn keccak_final;
34
static OSSL_FUNC_digest_freectx_fn keccak_freectx;
35
static OSSL_FUNC_digest_dupctx_fn keccak_dupctx;
36
static OSSL_FUNC_digest_set_ctx_params_fn shake_set_ctx_params;
37
static OSSL_FUNC_digest_settable_ctx_params_fn shake_settable_ctx_params;
38
static sha3_absorb_fn generic_sha3_absorb;
39
static sha3_final_fn generic_sha3_final;
40
41
#if defined(OPENSSL_CPUID_OBJ) && defined(__s390__) && defined(KECCAK1600_ASM)
42
/*
43
 * IBM S390X support
44
 */
45
# include "s390x_arch.h"
46
# define S390_SHA3 1
47
# define S390_SHA3_CAPABLE(name) \
48
    ((OPENSSL_s390xcap_P.kimd[0] & S390X_CAPBIT(S390X_##name)) && \
49
     (OPENSSL_s390xcap_P.klmd[0] & S390X_CAPBIT(S390X_##name)))
50
51
#endif
52
53
static int keccak_init(void *vctx, ossl_unused const OSSL_PARAM params[])
54
227k
{
55
227k
    if (!ossl_prov_is_running())
56
0
        return 0;
57
    /* The newctx() handles most of the ctx fixed setup. */
58
227k
    ossl_sha3_reset((KECCAK1600_CTX *)vctx);
59
227k
    return 1;
60
227k
}
61
62
static int keccak_init_params(void *vctx, const OSSL_PARAM params[])
63
58.2k
{
64
58.2k
    return keccak_init(vctx, NULL)
65
58.2k
            && shake_set_ctx_params(vctx, params);
66
58.2k
}
67
68
static int keccak_update(void *vctx, const unsigned char *inp, size_t len)
69
234k
{
70
234k
    KECCAK1600_CTX *ctx = vctx;
71
234k
    const size_t bsz = ctx->block_size;
72
234k
    size_t num, rem;
73
74
234k
    if (len == 0)
75
0
        return 1;
76
77
    /* Is there anything in the buffer already ? */
78
234k
    if ((num = ctx->bufsz) != 0) {
79
        /* Calculate how much space is left in the buffer */
80
2.32k
        rem = bsz - num;
81
        /* If the new input does not fill the buffer then just add it */
82
2.32k
        if (len < rem) {
83
2.23k
            memcpy(ctx->buf + num, inp, len);
84
2.23k
            ctx->bufsz += len;
85
2.23k
            return 1;
86
2.23k
        }
87
        /* otherwise fill up the buffer and absorb the buffer */
88
83
        memcpy(ctx->buf + num, inp, rem);
89
        /* Update the input pointer */
90
83
        inp += rem;
91
83
        len -= rem;
92
83
        ctx->meth.absorb(ctx, ctx->buf, bsz);
93
83
        ctx->bufsz = 0;
94
83
    }
95
    /* Absorb the input - rem = leftover part of the input < blocksize) */
96
231k
    rem = ctx->meth.absorb(ctx, inp, len);
97
    /* Copy the leftover bit of the input into the buffer */
98
231k
    if (rem) {
99
227k
        memcpy(ctx->buf, inp + len - rem, rem);
100
227k
        ctx->bufsz = rem;
101
227k
    }
102
231k
    return 1;
103
234k
}
104
105
static int keccak_final(void *vctx, unsigned char *out, size_t *outl,
106
                        size_t outsz)
107
196k
{
108
196k
    int ret = 1;
109
196k
    KECCAK1600_CTX *ctx = vctx;
110
111
196k
    if (!ossl_prov_is_running())
112
0
        return 0;
113
196k
    if (outsz > 0)
114
196k
        ret = ctx->meth.final(out, ctx);
115
116
196k
    *outl = ctx->md_size;
117
196k
    return ret;
118
196k
}
119
120
/*-
121
 * Generic software version of the absorb() and final().
122
 */
123
static size_t generic_sha3_absorb(void *vctx, const void *inp, size_t len)
124
196k
{
125
196k
    KECCAK1600_CTX *ctx = vctx;
126
127
196k
    return SHA3_absorb(ctx->A, inp, len, ctx->block_size);
128
196k
}
129
130
static int generic_sha3_final(unsigned char *md, void *vctx)
131
227k
{
132
227k
    return ossl_sha3_final(md, (KECCAK1600_CTX *)vctx);
133
227k
}
134
135
static PROV_SHA3_METHOD sha3_generic_md =
136
{
137
    generic_sha3_absorb,
138
    generic_sha3_final
139
};
140
141
#if defined(S390_SHA3)
142
143
static sha3_absorb_fn s390x_sha3_absorb;
144
static sha3_final_fn s390x_sha3_final;
145
static sha3_final_fn s390x_shake_final;
146
147
/*-
148
 * The platform specific parts of the absorb() and final() for S390X.
149
 */
150
static size_t s390x_sha3_absorb(void *vctx, const void *inp, size_t len)
151
{
152
    KECCAK1600_CTX *ctx = vctx;
153
    size_t rem = len % ctx->block_size;
154
155
    s390x_kimd(inp, len - rem, ctx->pad, ctx->A);
156
    return rem;
157
}
158
159
static int s390x_sha3_final(unsigned char *md, void *vctx)
160
{
161
    KECCAK1600_CTX *ctx = vctx;
162
163
    if (!ossl_prov_is_running())
164
        return 0;
165
    s390x_klmd(ctx->buf, ctx->bufsz, NULL, 0, ctx->pad, ctx->A);
166
    memcpy(md, ctx->A, ctx->md_size);
167
    return 1;
168
}
169
170
static int s390x_shake_final(unsigned char *md, void *vctx)
171
{
172
    KECCAK1600_CTX *ctx = vctx;
173
174
    if (!ossl_prov_is_running())
175
        return 0;
176
    s390x_klmd(ctx->buf, ctx->bufsz, md, ctx->md_size, ctx->pad, ctx->A);
177
    return 1;
178
}
179
180
static int s390x_keccakc_final(unsigned char *md, void *vctx, int padding)
181
{
182
    KECCAK1600_CTX *ctx = vctx;
183
    size_t bsz = ctx->block_size;
184
    size_t num = ctx->bufsz;
185
    size_t needed = ctx->md_size;
186
    static const unsigned char empty[KECCAK1600_WIDTH / 8] = {0};
187
188
    if (!ossl_prov_is_running())
189
        return 0;
190
    if (ctx->md_size == 0)
191
        return 1;
192
    memset(ctx->buf + num, 0, bsz - num);
193
    ctx->buf[num] = padding;
194
    ctx->buf[bsz - 1] |= 0x80;
195
    s390x_kimd(ctx->buf, bsz, ctx->pad, ctx->A);
196
    while (needed > bsz) {
197
        memcpy(md, ctx->A, bsz);
198
        needed -= bsz;
199
        md += bsz;
200
        s390x_kimd(empty, bsz, ctx->pad, ctx->A);
201
    }
202
    memcpy(md, ctx->A, needed);
203
204
    return 1;
205
}
206
207
static int s390x_kmac_final(unsigned char *md, void *vctx)
208
{
209
    return s390x_keccakc_final(md, vctx, 0x04);
210
}
211
212
static PROV_SHA3_METHOD sha3_s390x_md =
213
{
214
    s390x_sha3_absorb,
215
    s390x_sha3_final
216
};
217
218
static PROV_SHA3_METHOD shake_s390x_md =
219
{
220
    s390x_sha3_absorb,
221
    s390x_shake_final
222
};
223
224
static PROV_SHA3_METHOD kmac_s390x_md =
225
{
226
    s390x_sha3_absorb,
227
    s390x_kmac_final
228
};
229
230
# define SHA3_SET_MD(uname, typ)                                               \
231
    if (S390_SHA3_CAPABLE(uname)) {                                            \
232
        ctx->pad = S390X_##uname;                                              \
233
        ctx->meth = typ##_s390x_md;                                            \
234
    } else {                                                                   \
235
        ctx->meth = sha3_generic_md;                                           \
236
    }
237
# define KMAC_SET_MD(bitlen)                                                   \
238
    if (S390_SHA3_CAPABLE(SHAKE_##bitlen)) {                                   \
239
        ctx->pad = S390X_SHAKE_##bitlen;                                       \
240
        ctx->meth = kmac_s390x_md;                                             \
241
    } else {                                                                   \
242
        ctx->meth = sha3_generic_md;                                           \
243
    }
244
#else
245
108k
# define SHA3_SET_MD(uname, typ) ctx->meth = sha3_generic_md;
246
95
# define KMAC_SET_MD(bitlen) ctx->meth = sha3_generic_md;
247
#endif /* S390_SHA3 */
248
249
#define SHA3_newctx(typ, uname, name, bitlen, pad)                             \
250
static OSSL_FUNC_digest_newctx_fn name##_newctx;                               \
251
108k
static void *name##_newctx(void *provctx)                                      \
252
108k
{                                                                              \
253
108k
    KECCAK1600_CTX *ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) \
254
108k
                                                : NULL;                        \
255
108k
                                                                               \
256
108k
    if (ctx == NULL)                                                           \
257
108k
        return NULL;                                                           \
258
108k
    ossl_sha3_init(ctx, pad, bitlen);                                          \
259
108k
    SHA3_SET_MD(uname, typ)                                                    \
260
108k
    return ctx;                                                                \
261
108k
}
sha3_prov.c:sha3_224_newctx
Line
Count
Source
251
12.3k
static void *name##_newctx(void *provctx)                                      \
252
12.3k
{                                                                              \
253
12.3k
    KECCAK1600_CTX *ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) \
254
12.3k
                                                : NULL;                        \
255
12.3k
                                                                               \
256
12.3k
    if (ctx == NULL)                                                           \
257
12.3k
        return NULL;                                                           \
258
12.3k
    ossl_sha3_init(ctx, pad, bitlen);                                          \
259
12.3k
    SHA3_SET_MD(uname, typ)                                                    \
260
12.3k
    return ctx;                                                                \
261
12.3k
}
sha3_prov.c:sha3_256_newctx
Line
Count
Source
251
9.44k
static void *name##_newctx(void *provctx)                                      \
252
9.44k
{                                                                              \
253
9.44k
    KECCAK1600_CTX *ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) \
254
9.44k
                                                : NULL;                        \
255
9.44k
                                                                               \
256
9.44k
    if (ctx == NULL)                                                           \
257
9.44k
        return NULL;                                                           \
258
9.44k
    ossl_sha3_init(ctx, pad, bitlen);                                          \
259
9.44k
    SHA3_SET_MD(uname, typ)                                                    \
260
9.44k
    return ctx;                                                                \
261
9.44k
}
sha3_prov.c:sha3_384_newctx
Line
Count
Source
251
24.3k
static void *name##_newctx(void *provctx)                                      \
252
24.3k
{                                                                              \
253
24.3k
    KECCAK1600_CTX *ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) \
254
24.3k
                                                : NULL;                        \
255
24.3k
                                                                               \
256
24.3k
    if (ctx == NULL)                                                           \
257
24.3k
        return NULL;                                                           \
258
24.3k
    ossl_sha3_init(ctx, pad, bitlen);                                          \
259
24.3k
    SHA3_SET_MD(uname, typ)                                                    \
260
24.3k
    return ctx;                                                                \
261
24.3k
}
sha3_prov.c:sha3_512_newctx
Line
Count
Source
251
25.4k
static void *name##_newctx(void *provctx)                                      \
252
25.4k
{                                                                              \
253
25.4k
    KECCAK1600_CTX *ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) \
254
25.4k
                                                : NULL;                        \
255
25.4k
                                                                               \
256
25.4k
    if (ctx == NULL)                                                           \
257
25.4k
        return NULL;                                                           \
258
25.4k
    ossl_sha3_init(ctx, pad, bitlen);                                          \
259
25.4k
    SHA3_SET_MD(uname, typ)                                                    \
260
25.4k
    return ctx;                                                                \
261
25.4k
}
sha3_prov.c:shake_128_newctx
Line
Count
Source
251
33.3k
static void *name##_newctx(void *provctx)                                      \
252
33.3k
{                                                                              \
253
33.3k
    KECCAK1600_CTX *ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) \
254
33.3k
                                                : NULL;                        \
255
33.3k
                                                                               \
256
33.3k
    if (ctx == NULL)                                                           \
257
33.3k
        return NULL;                                                           \
258
33.3k
    ossl_sha3_init(ctx, pad, bitlen);                                          \
259
33.3k
    SHA3_SET_MD(uname, typ)                                                    \
260
33.3k
    return ctx;                                                                \
261
33.3k
}
sha3_prov.c:shake_256_newctx
Line
Count
Source
251
3.67k
static void *name##_newctx(void *provctx)                                      \
252
3.67k
{                                                                              \
253
3.67k
    KECCAK1600_CTX *ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) \
254
3.67k
                                                : NULL;                        \
255
3.67k
                                                                               \
256
3.67k
    if (ctx == NULL)                                                           \
257
3.67k
        return NULL;                                                           \
258
3.67k
    ossl_sha3_init(ctx, pad, bitlen);                                          \
259
3.67k
    SHA3_SET_MD(uname, typ)                                                    \
260
3.67k
    return ctx;                                                                \
261
3.67k
}
262
263
#define KMAC_newctx(uname, bitlen, pad)                                        \
264
static OSSL_FUNC_digest_newctx_fn uname##_newctx;                              \
265
95
static void *uname##_newctx(void *provctx)                                     \
266
95
{                                                                              \
267
95
    KECCAK1600_CTX *ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) \
268
95
                                                : NULL;                        \
269
95
                                                                               \
270
95
    if (ctx == NULL)                                                           \
271
95
        return NULL;                                                           \
272
95
    ossl_keccak_kmac_init(ctx, pad, bitlen);                                   \
273
95
    KMAC_SET_MD(bitlen)                                                        \
274
95
    return ctx;                                                                \
275
95
}
sha3_prov.c:keccak_kmac_128_newctx
Line
Count
Source
265
27
static void *uname##_newctx(void *provctx)                                     \
266
27
{                                                                              \
267
27
    KECCAK1600_CTX *ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) \
268
27
                                                : NULL;                        \
269
27
                                                                               \
270
27
    if (ctx == NULL)                                                           \
271
27
        return NULL;                                                           \
272
27
    ossl_keccak_kmac_init(ctx, pad, bitlen);                                   \
273
27
    KMAC_SET_MD(bitlen)                                                        \
274
27
    return ctx;                                                                \
275
27
}
sha3_prov.c:keccak_kmac_256_newctx
Line
Count
Source
265
68
static void *uname##_newctx(void *provctx)                                     \
266
68
{                                                                              \
267
68
    KECCAK1600_CTX *ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) \
268
68
                                                : NULL;                        \
269
68
                                                                               \
270
68
    if (ctx == NULL)                                                           \
271
68
        return NULL;                                                           \
272
68
    ossl_keccak_kmac_init(ctx, pad, bitlen);                                   \
273
68
    KMAC_SET_MD(bitlen)                                                        \
274
68
    return ctx;                                                                \
275
68
}
276
277
#define PROV_FUNC_SHA3_DIGEST_COMMON(name, bitlen, blksize, dgstsize, flags)   \
278
PROV_FUNC_DIGEST_GET_PARAM(name, blksize, dgstsize, flags)                     \
279
const OSSL_DISPATCH ossl_##name##_functions[] = {                              \
280
    { OSSL_FUNC_DIGEST_NEWCTX, (void (*)(void))name##_newctx },                \
281
    { OSSL_FUNC_DIGEST_UPDATE, (void (*)(void))keccak_update },                \
282
    { OSSL_FUNC_DIGEST_FINAL, (void (*)(void))keccak_final },                  \
283
    { OSSL_FUNC_DIGEST_FREECTX, (void (*)(void))keccak_freectx },              \
284
    { OSSL_FUNC_DIGEST_DUPCTX, (void (*)(void))keccak_dupctx },                \
285
    PROV_DISPATCH_FUNC_DIGEST_GET_PARAMS(name)
286
287
#define PROV_FUNC_SHA3_DIGEST(name, bitlen, blksize, dgstsize, flags)          \
288
    PROV_FUNC_SHA3_DIGEST_COMMON(name, bitlen, blksize, dgstsize, flags),      \
289
    { OSSL_FUNC_DIGEST_INIT, (void (*)(void))keccak_init },                    \
290
    PROV_DISPATCH_FUNC_DIGEST_CONSTRUCT_END
291
292
#define PROV_FUNC_SHAKE_DIGEST(name, bitlen, blksize, dgstsize, flags)         \
293
    PROV_FUNC_SHA3_DIGEST_COMMON(name, bitlen, blksize, dgstsize, flags),      \
294
    { OSSL_FUNC_DIGEST_INIT, (void (*)(void))keccak_init_params },             \
295
    { OSSL_FUNC_DIGEST_SET_CTX_PARAMS, (void (*)(void))shake_set_ctx_params }, \
296
    { OSSL_FUNC_DIGEST_SETTABLE_CTX_PARAMS,                                    \
297
     (void (*)(void))shake_settable_ctx_params },                              \
298
    PROV_DISPATCH_FUNC_DIGEST_CONSTRUCT_END
299
300
static void keccak_freectx(void *vctx)
301
109k
{
302
109k
    KECCAK1600_CTX *ctx = (KECCAK1600_CTX *)vctx;
303
304
109k
    OPENSSL_clear_free(ctx,  sizeof(*ctx));
305
109k
}
306
307
static void *keccak_dupctx(void *ctx)
308
939
{
309
939
    KECCAK1600_CTX *in = (KECCAK1600_CTX *)ctx;
310
939
    KECCAK1600_CTX *ret = ossl_prov_is_running() ? OPENSSL_malloc(sizeof(*ret))
311
939
                                                 : NULL;
312
313
939
    if (ret != NULL)
314
939
        *ret = *in;
315
939
    return ret;
316
939
}
317
318
static const OSSL_PARAM known_shake_settable_ctx_params[] = {
319
    {OSSL_DIGEST_PARAM_XOFLEN, OSSL_PARAM_UNSIGNED_INTEGER, NULL, 0, 0},
320
    OSSL_PARAM_END
321
};
322
static const OSSL_PARAM *shake_settable_ctx_params(ossl_unused void *ctx,
323
                                                   ossl_unused void *provctx)
324
3
{
325
3
    return known_shake_settable_ctx_params;
326
3
}
327
328
static int shake_set_ctx_params(void *vctx, const OSSL_PARAM params[])
329
60.2k
{
330
60.2k
    const OSSL_PARAM *p;
331
60.2k
    KECCAK1600_CTX *ctx = (KECCAK1600_CTX *)vctx;
332
333
60.2k
    if (ctx == NULL)
334
0
        return 0;
335
60.2k
    if (params == NULL)
336
58.2k
        return 1;
337
338
1.99k
    p = OSSL_PARAM_locate_const(params, OSSL_DIGEST_PARAM_XOFLEN);
339
1.99k
    if (p != NULL && !OSSL_PARAM_get_size_t(p, &ctx->md_size)) {
340
0
        ERR_raise(ERR_LIB_PROV, PROV_R_FAILED_TO_GET_PARAMETER);
341
0
        return 0;
342
0
    }
343
1.99k
    return 1;
344
1.99k
}
345
346
#define IMPLEMENT_SHA3_functions(bitlen)                                       \
347
    SHA3_newctx(sha3, SHA3_##bitlen, sha3_##bitlen, bitlen, '\x06')            \
348
    PROV_FUNC_SHA3_DIGEST(sha3_##bitlen, bitlen,                               \
349
                          SHA3_BLOCKSIZE(bitlen), SHA3_MDSIZE(bitlen),         \
350
                          SHA3_FLAGS)
351
352
#define IMPLEMENT_SHAKE_functions(bitlen)                                      \
353
    SHA3_newctx(shake, SHAKE_##bitlen, shake_##bitlen, bitlen, '\x1f')         \
354
    PROV_FUNC_SHAKE_DIGEST(shake_##bitlen, bitlen,                             \
355
                          SHA3_BLOCKSIZE(bitlen), SHA3_MDSIZE(bitlen),         \
356
                          SHAKE_FLAGS)
357
#define IMPLEMENT_KMAC_functions(bitlen)                                       \
358
    KMAC_newctx(keccak_kmac_##bitlen, bitlen, '\x04')                          \
359
    PROV_FUNC_SHAKE_DIGEST(keccak_kmac_##bitlen, bitlen,                       \
360
                           SHA3_BLOCKSIZE(bitlen), KMAC_MDSIZE(bitlen),        \
361
                           KMAC_FLAGS)
362
363
/* ossl_sha3_224_functions */
364
IMPLEMENT_SHA3_functions(224)
365
/* ossl_sha3_256_functions */
366
IMPLEMENT_SHA3_functions(256)
367
/* ossl_sha3_384_functions */
368
IMPLEMENT_SHA3_functions(384)
369
/* ossl_sha3_512_functions */
370
IMPLEMENT_SHA3_functions(512)
371
/* ossl_shake_128_functions */
372
IMPLEMENT_SHAKE_functions(128)
373
/* ossl_shake_256_functions */
374
IMPLEMENT_SHAKE_functions(256)
375
/* ossl_keccak_kmac_128_functions */
376
IMPLEMENT_KMAC_functions(128)
377
/* ossl_keccak_kmac_256_functions */
378
IMPLEMENT_KMAC_functions(256)