Coverage Report

Created: 2026-11-12 06:59

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/cryptofuzz-sp-math/modules/wolfcrypt/bn_ops.cpp
Line
Count
Source
1
#include <cryptofuzz/util.h>
2
#include <cryptofuzz/repository.h>
3
#include <fuzzing/datasource/id.hpp>
4
#include <type_traits>
5
6
#include "bn_ops.h"
7
8
8.34k
#define GET_WHICH(max) uint8_t which = 0; try { which = ds.Get<uint8_t>(); which %= ((max)+1); } catch ( ... ) { }
9
93
#define GET_OPTIONAL_BN() (ds.Get<bool>() ? bn.GetDestPtr(3) : nullptr)
10
11
namespace cryptofuzz {
12
namespace module {
13
14
namespace wolfCrypt_detail {
15
    WC_RNG* GetRNG(void);
16
    WC_RNG* GetSystemRNG(void);
17
}
18
19
namespace wolfCrypt_bignum {
20
21
namespace wolfCrypt_bignum_detail {
22
23
    template <class ReturnType>
24
29.7k
    static ReturnType assertRet(const ReturnType ret) {
25
29.7k
        static_assert(std::is_same<ReturnType, int>());
26
27
29.7k
        if ( ret > 0 ) {
28
0
            CF_ASSERT(0, "Result of mp_* function is not negative or zero");
29
0
        }
30
31
29.7k
        return ret;
32
29.7k
    }
33
12.7k
#define MP_CHECK_EQ(expr, res) CF_CHECK_EQ(::cryptofuzz::module::wolfCrypt_bignum::wolfCrypt_bignum_detail::assertRet(expr), res);
34
35
3.35k
    static int compare(Bignum& A, Bignum& B, Datasource& ds) {
36
3.35k
        util::HintBignumOpt(A.ToDecString());
37
3.35k
        util::HintBignumOpt(B.ToDecString());
38
39
3.35k
        bool swap = false;
40
3.35k
        try {
41
3.35k
            swap = ds.Get<bool>();
42
3.35k
        } catch ( ... ) { }
43
44
3.35k
        if ( swap == false ) {
45
2.48k
            return mp_cmp(A.GetPtr(), B.GetPtr());
46
2.48k
        } else {
47
877
            const auto ret = mp_cmp(B.GetPtr(), A.GetPtr());
48
49
            /* Because the operands were swapped, invert the result */
50
877
            if ( ret == MP_LT ) {
51
368
                return MP_GT;
52
509
            } else if ( ret == MP_GT ) {
53
432
                return MP_LT;
54
432
            } else {
55
77
                return ret;
56
77
            }
57
877
        }
58
3.35k
    }
59
60
#if !defined(WOLFSSL_SP_MATH) && (!defined(USE_FAST_MATH) || defined(WOLFSSL_SP_MATH_ALL))
61
    static std::optional<int> isPowerOf2(Bignum& A, Datasource& ds) {
62
        std::optional<int> ret = std::nullopt;
63
        wolfCrypt_bignum::Bignum tmp(ds);
64
65
        auto numBits = mp_count_bits(A.GetPtr());
66
        CF_CHECK_GTE(numBits, 1);
67
        numBits--;
68
        MP_CHECK_EQ(mp_copy(A.GetPtr(), tmp.GetPtr()), MP_OKAY);
69
#if defined(USE_FAST_MATH) || defined(USE_INTEGER_HEAP_MATH)
70
        CF_NORET(mp_rshb(tmp.GetPtr(), numBits));
71
#else
72
        MP_CHECK_EQ(mp_rshb(tmp.GetPtr(), numBits), MP_OKAY);
73
#endif
74
        MP_CHECK_EQ(mp_mul_2d(tmp.GetPtr(), numBits, tmp.GetPtr()), MP_OKAY);
75
76
        {
77
            /* Use the nearest exponent of 2 as a hint for the mutator */
78
            const auto s = tmp.ToDecString();
79
80
            util::HintBignumOpt(s);
81
        }
82
83
        CF_CHECK_EQ(compare(A, tmp, ds), MP_EQ);
84
85
        ret = numBits;
86
end:
87
        return ret;
88
    }
89
#endif
90
91
    bool montgomery_reduce(
92
            fuzzing::datasource::Datasource& ds,
93
            mp_int* res,
94
            mp_int* a,
95
231
            const mp_digit b) {
96
231
        bool ret = false;
97
98
231
        bool which = false;
99
231
        try {
100
231
            which = ds.Get<bool>();
101
231
        } catch ( ... ) { }
102
103
231
        if ( which == false ) {
104
193
            MP_CHECK_EQ(mp_montgomery_reduce(res, a, b), MP_OKAY);
105
181
        } else {
106
38
            MP_CHECK_EQ(mp_montgomery_reduce_ct(res, a, b), MP_OKAY);
107
33
        }
108
109
214
        ret = true;
110
231
end:
111
112
231
        return ret;
113
214
    }
114
}
115
116
1.16k
bool Add::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
117
1.16k
    bool ret = false;
118
119
1.16k
    GET_WHICH(1);
120
1.16k
    switch ( which ) {
121
432
        case    0:
122
432
            MP_CHECK_EQ(mp_add(bn[0].GetPtr(), bn[1].GetPtr(), bn.GetResPtr()), MP_OKAY);
123
378
            CF_CHECK_TRUE(bn.CopyResult(res));
124
378
            ret = true;
125
378
            break;
126
735
        case    1:
127
735
            {
128
735
                const auto op = bn[1].AsUnsigned<mp_digit>();
129
735
                CF_CHECK_NE(op, std::nullopt);
130
612
                MP_CHECK_EQ(mp_add_d(bn[0].GetPtr(), *op, bn.GetResPtr()), MP_OKAY);
131
573
                CF_CHECK_TRUE(bn.CopyResult(res));
132
573
                ret = true;
133
573
            }
134
0
            break;
135
1.16k
    }
136
137
1.16k
end:
138
1.16k
    return ret;
139
1.16k
}
140
141
1.12k
bool Sub::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
142
1.12k
    bool ret = false;
143
144
1.12k
#if defined(WOLFSSL_SP_MATH) || defined(WOLFSSL_SP_MATH_ALL)
145
    /* SP math cannot represent negative numbers, so ensure the result
146
     * of the subtracton is always >= 0.
147
     *
148
     * Still run the subtraction operation to see if this can cause
149
     * memory errors, but don't return the result.
150
     */
151
1.12k
    bool negative = false;
152
1.12k
    if ( wolfCrypt_bignum_detail::compare(bn[0], bn[1], ds) == MP_LT) {
153
398
        negative = true;
154
398
    }
155
1.12k
#endif
156
157
1.12k
    GET_WHICH(1);
158
1.12k
    switch ( which ) {
159
523
        case    0:
160
523
            MP_CHECK_EQ(mp_sub(bn[0].GetPtr(), bn[1].GetPtr(), bn.GetResPtr()), MP_OKAY);
161
482
            CF_CHECK_TRUE(bn.CopyResult(res));
162
482
            ret = true;
163
482
            break;
164
606
        case    1:
165
606
            {
166
606
                const auto op = bn[1].AsUnsigned<mp_digit>();
167
606
                CF_CHECK_NE(op, std::nullopt);
168
503
                MP_CHECK_EQ(mp_sub_d(bn[0].GetPtr(), *op, bn.GetResPtr()), MP_OKAY);
169
489
                CF_CHECK_TRUE(bn.CopyResult(res));
170
489
                ret = true;
171
489
            }
172
0
            break;
173
1.12k
    }
174
175
1.12k
end:
176
1.12k
#if defined(WOLFSSL_SP_MATH) || defined(WOLFSSL_SP_MATH_ALL)
177
1.12k
    if ( negative == true ) {
178
398
        return false;
179
398
    }
180
731
#endif
181
731
    return ret;
182
1.12k
}
183
184
310
bool Mul::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
185
310
    bool ret = false;
186
187
310
    GET_WHICH(3);
188
310
    switch ( which ) {
189
117
        case    0:
190
117
            MP_CHECK_EQ(mp_mul(bn[0].GetPtr(), bn[1].GetPtr(), bn.GetResPtr()), MP_OKAY);
191
106
            CF_CHECK_TRUE(bn.CopyResult(res));
192
106
            ret = true;
193
106
            break;
194
90
        case    1:
195
90
            {
196
90
                const auto op = bn[1].AsUnsigned<mp_digit>();
197
90
                CF_CHECK_NE(op, std::nullopt);
198
81
                MP_CHECK_EQ(mp_mul_d(bn[0].GetPtr(), *op, bn.GetResPtr()), MP_OKAY);
199
68
                CF_CHECK_TRUE(bn.CopyResult(res));
200
68
                ret = true;
201
68
            }
202
0
            break;
203
#if !defined(USE_FAST_MATH) && !defined(WOLFSSL_SP_MATH)
204
        case    2:
205
            util::HintBignum("2");
206
            CF_CHECK_EQ(mp_cmp_d(bn[1].GetPtr(), 2), MP_EQ);
207
            MP_CHECK_EQ(mp_mul_2(bn[0].GetPtr(), bn.GetResPtr()), MP_OKAY);
208
            CF_CHECK_TRUE(bn.CopyResult(res));
209
            ret = true;
210
            break;
211
#endif
212
82
        case    3:
213
82
            {
214
82
                const auto numBits = mp_cnt_lsb(bn[1].GetPtr());
215
82
                CF_CHECK_GTE(numBits, DIGIT_BIT);
216
42
                CF_CHECK_EQ(numBits % DIGIT_BIT, 0);
217
218
26
                wolfCrypt_bignum::Bignum multiplier(ds);
219
26
                MP_CHECK_EQ(mp_2expt(multiplier.GetPtr(), numBits), MP_OKAY);
220
24
                CF_CHECK_EQ(wolfCrypt_bignum_detail::compare(bn[1], multiplier, ds), MP_EQ);
221
222
13
                MP_CHECK_EQ(mp_lshd(bn.GetDestPtr(0), numBits / DIGIT_BIT), MP_OKAY);
223
13
                MP_CHECK_EQ(mp_copy(bn[0].GetPtr(), res.GetPtr()), MP_OKAY);
224
12
                ret = true;
225
12
            }
226
0
            break;
227
310
    }
228
229
310
end:
230
310
    return ret;
231
310
}
232
233
140
bool Div::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
234
140
    (void)ds;
235
140
    bool ret = false;
236
237
140
    GET_WHICH(3);
238
140
    switch ( which ) {
239
93
        case    0:
240
93
            {
241
93
                auto r = bn.GetResPtr();
242
93
                auto optional_bn = GET_OPTIONAL_BN();
243
93
                if ( optional_bn == r ) {
244
                    /* Prevent that the two result pointers are equal */
245
21
                    optional_bn = nullptr;
246
21
                }
247
93
                MP_CHECK_EQ(mp_div(bn[0].GetPtr(), bn[1].GetPtr(), r, optional_bn), MP_OKAY);
248
57
                CF_CHECK_TRUE(bn.CopyResult(res));
249
57
            }
250
0
            break;
251
12
        case    1:
252
#if !defined(WOLFSSL_SP_MATH)
253
            util::HintBignum("2");
254
            CF_CHECK_EQ(mp_cmp_d(bn[1].GetPtr(), 2), MP_EQ);
255
            MP_CHECK_EQ(mp_div_2(bn[0].GetPtr(), bn.GetResPtr()), MP_OKAY);
256
            CF_CHECK_TRUE(bn.CopyResult(res));
257
            break;
258
#endif
259
12
#if !defined(USE_FAST_MATH)
260
36
        case    2:
261
36
            {
262
36
                mp_digit remainder;
263
36
                util::HintBignum("3");
264
36
                CF_CHECK_EQ(mp_cmp_d(bn[1].GetPtr(), 3), MP_EQ);
265
15
                MP_CHECK_EQ(mp_div_3(bn[0].GetPtr(), bn.GetResPtr(), ds.Get<bool>() ? &remainder : nullptr), MP_OKAY);
266
14
                CF_CHECK_TRUE(bn.CopyResult(res));
267
14
            }
268
0
            break;
269
0
#endif
270
#if defined(WOLFSSL_SP_MATH_ALL)
271
        case    3:
272
            {
273
                const auto divisor = bn[1].AsUnsigned<mp_digit>();
274
                mp_digit remainder;
275
                CF_CHECK_NE(divisor, std::nullopt);
276
                MP_CHECK_EQ(mp_div_d(bn[0].GetPtr(), *divisor, bn.GetResPtr(), ds.Get<bool>() ? &remainder : nullptr), MP_OKAY);
277
                CF_CHECK_TRUE(bn.CopyResult(res));
278
            }
279
#endif
280
11
        default:
281
11
            goto end;
282
140
    }
283
284
    /* wolfCrypt uses different rounding logic with negative divisior.
285
     * The result is still computed, but don't return it
286
     */
287
57
    CF_CHECK_EQ(mp_isneg(bn[0].GetPtr()), 0);
288
289
57
    ret = true;
290
291
126
end:
292
126
    return ret;
293
57
}
294
295
1.29k
bool ExpMod::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
296
1.29k
    bool ret = false;
297
298
1.29k
    try {
299
1.29k
        switch ( ds.Get<uint8_t>() % 5 ) {
300
80
            case    0:
301
80
            {
302
80
                auto data = ds.GetData(0, 1024 / 8, 1024 / 8);
303
                /* Odd */
304
80
                data[1024 / 8 - 1] |= 1;
305
80
                util::HintBignum(util::BinToDec(data));
306
80
            }
307
80
            break;
308
61
            case    1:
309
61
            {
310
61
                auto data = ds.GetData(0, 1536 / 8, 1536 / 8);
311
61
                data[1536 / 8 - 1] |= 1;
312
61
                util::HintBignum(util::BinToDec(data));
313
61
            }
314
61
            break;
315
63
            case    2:
316
63
            {
317
63
                auto data = ds.GetData(0, 2048 / 8, 2048 / 8);
318
63
                data[2048 / 8 - 1] |= 1;
319
63
                util::HintBignum(util::BinToDec(data));
320
63
            }
321
63
            break;
322
91
            case    3:
323
91
            {
324
91
                auto data = ds.GetData(0, 3072 / 8, 3072 / 8);
325
91
                data[3072 / 8 - 1] |= 1;
326
91
                util::HintBignum(util::BinToDec(data));
327
91
            }
328
91
            break;
329
57
            case    4:
330
57
            {
331
57
                auto data = ds.GetData(0, 4096 / 8, 4096 / 8);
332
57
                data[4096 / 8 - 1] |= 1;
333
57
                util::HintBignum(util::BinToDec(data));
334
57
            }
335
57
            break;
336
1.29k
        }
337
1.29k
    } catch ( fuzzing::datasource::Datasource::OutOfData ) {
338
1.16k
    }
339
340
1.29k
    bool return_result = false;
341
342
1.29k
#if defined(WOLFSSL_SP_MATH)
343
1.29k
    return_result = true;
344
#else
345
    if (
346
            !mp_iszero(bn[1].GetPtr()) &&
347
            !mp_isneg(bn[0].GetPtr()) &&
348
            !mp_isneg(bn[1].GetPtr()) &&
349
            !mp_isneg(bn[2].GetPtr()) ) {
350
            return_result = true;
351
    }
352
#endif
353
354
355
1.29k
    GET_WHICH(9);
356
1.29k
    switch ( which ) {
357
1.02k
        case    0:
358
1.02k
            MP_CHECK_EQ(mp_exptmod(bn[0].GetPtr(), bn[1].GetPtr(), bn[2].GetPtr(), bn.GetResPtr()), MP_OKAY);
359
923
            CF_CHECK_TRUE(bn.CopyResult(res));
360
923
            break;
361
#if defined(WOLFSSL_SP_MATH_ALL) || defined(USE_FAST_MATH)
362
        case    1:
363
            MP_CHECK_EQ(mp_exptmod_nct(bn[0].GetPtr(), bn[1].GetPtr(), bn[2].GetPtr(), bn.GetResPtr()), MP_OKAY);
364
            CF_CHECK_TRUE(bn.CopyResult(res));
365
            break;
366
#endif
367
24
        case    2:
368
24
            MP_CHECK_EQ(mp_exptmod_ex(bn[0].GetPtr(), bn[1].GetPtr(), bn[1].GetPtr()->used, bn[2].GetPtr(), bn.GetResPtr()), MP_OKAY);
369
11
            CF_CHECK_TRUE(bn.CopyResult(res));
370
11
            break;
371
0
#if defined(WOLFSSL_SP_MATH)
372
            /* ZD 15548 */
373
0
#if !defined(__aarch64__)
374
48
        case    3:
375
48
            MP_CHECK_EQ(sp_ModExp_1024(bn[0].GetPtr(), bn[1].GetPtr(), bn[2].GetPtr(), bn.GetResPtr()), MP_OKAY);
376
2
            CF_CHECK_TRUE(bn.CopyResult(res));
377
2
            break;
378
0
#endif
379
32
        case    4:
380
32
            MP_CHECK_EQ(sp_ModExp_1536(bn[0].GetPtr(), bn[1].GetPtr(), bn[2].GetPtr(), bn.GetResPtr()), MP_OKAY);
381
1
            CF_CHECK_TRUE(bn.CopyResult(res));
382
1
            break;
383
52
        case    5:
384
52
            MP_CHECK_EQ(sp_ModExp_2048(bn[0].GetPtr(), bn[1].GetPtr(), bn[2].GetPtr(), bn.GetResPtr()), MP_OKAY);
385
3
            CF_CHECK_TRUE(bn.CopyResult(res));
386
3
            break;
387
31
        case    6:
388
31
            MP_CHECK_EQ(sp_ModExp_3072(bn[0].GetPtr(), bn[1].GetPtr(), bn[2].GetPtr(), bn.GetResPtr()), MP_OKAY);
389
1
            CF_CHECK_TRUE(bn.CopyResult(res));
390
1
            break;
391
0
#if !defined(__i386__)
392
33
        case    7:
393
33
            MP_CHECK_EQ(sp_ModExp_4096(bn[0].GetPtr(), bn[1].GetPtr(), bn[2].GetPtr(), bn.GetResPtr()), MP_OKAY);
394
1
            CF_CHECK_TRUE(bn.CopyResult(res));
395
1
            break;
396
0
#endif
397
0
#endif
398
#if !defined(WOLFSSL_SP_MATH) && !defined(WOLFSSL_SP_MATH_ALL) && !defined(USE_FAST_MATH)
399
        case    8:
400
            MP_CHECK_EQ(mp_exptmod_fast(bn[0].GetPtr(), bn[1].GetPtr(), bn[2].GetPtr(), bn.GetResPtr(), 0), MP_OKAY);
401
            CF_CHECK_TRUE(bn.CopyResult(res));
402
            break;
403
#endif
404
#if !defined(WOLFSSL_SP_MATH) && !defined(WOLFSSL_SP_MATH_ALL) && !defined(USE_FAST_MATH)
405
        case    9:
406
            {
407
                util::HintBignum("2");
408
                CF_CHECK_EQ(mp_cmp_d(bn[0].GetPtr(), 2), MP_EQ);
409
                MP_CHECK_EQ(mp_exptmod_base_2(bn[1].GetPtr(), bn[2].GetPtr(), bn.GetResPtr()), MP_OKAY);
410
                CF_CHECK_TRUE(bn.CopyResult(res));
411
            }
412
            break;
413
#endif
414
47
        default:
415
47
            goto end;
416
1.29k
    }
417
418
942
    CF_CHECK_TRUE(return_result);
419
420
942
    ret = true;
421
422
1.29k
end:
423
1.29k
    return ret;
424
942
}
425
426
485
bool Sqr::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
427
485
    (void)ds;
428
429
485
    bool ret = false;
430
431
485
    MP_CHECK_EQ(mp_sqr(bn[0].GetPtr(), bn.GetResPtr()), MP_OKAY);
432
386
    CF_CHECK_TRUE(bn.CopyResult(res));
433
434
386
    ret = true;
435
436
485
end:
437
485
    return ret;
438
386
}
439
440
2.24k
bool GCD::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
441
2.24k
    (void)ds;
442
2.24k
    (void)res;
443
2.24k
    (void)bn;
444
445
2.24k
    bool ret = false;
446
447
    /* mp_gcd does not support negative numbers */
448
2.24k
    CF_CHECK_NE(mp_cmp_d(bn[0].GetPtr(), 0), MP_LT);
449
2.20k
    CF_CHECK_NE(mp_cmp_d(bn[1].GetPtr(), 0), MP_LT);
450
451
2.17k
    MP_CHECK_EQ(mp_gcd(bn[0].GetPtr(), bn[1].GetPtr(), bn.GetResPtr()), MP_OKAY);
452
1.92k
    CF_CHECK_TRUE(bn.CopyResult(res));
453
454
1.92k
    ret = true;
455
456
2.24k
end:
457
2.24k
    return ret;
458
1.92k
}
459
460
1.35k
bool InvMod::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
461
1.35k
    (void)ds;
462
463
1.35k
    bool ret = false;
464
465
1.35k
    GET_WHICH(1);
466
467
1.35k
    switch ( which ) {
468
1.33k
        case    0:
469
1.33k
            MP_CHECK_EQ(mp_invmod(bn[0].GetPtr(), bn[1].GetPtr(), bn.GetResPtr()), MP_OKAY);
470
913
            CF_CHECK_TRUE(bn.CopyResult(res));
471
913
            break;
472
0
#define HAVE_MP_INVMOD_MONT_CT 1
473
474
#if defined(USE_INTEGER_HEAP_MATH)
475
 /* Heapmath does not have mp_invmod_mont_ct */
476
 #undef HAVE_MP_INVMOD_MONT_CT
477
#elif defined(WOLFSSL_SP_MATH) && !defined(WOLFSSL_SP_INVMOD_MONT_CT)
478
 /* SP math has mp_invmod_mont_ct only if WOLFSSL_SP_INVMOD_MONT_CT is defined */
479
0
 #undef HAVE_MP_INVMOD_MONT_CT
480
0
#endif
481
482
#if defined(HAVE_MP_INVMOD_MONT_CT)
483
        case    1:
484
            {
485
                mp_digit mp;
486
                wolfCrypt_bignum::Bignum tmp1(ds);
487
                wolfCrypt_bignum::Bignum tmp2(ds);
488
                int is_prime;
489
490
                /* Modulus must be > 2 and prime */
491
                CF_CHECK_EQ(mp_cmp_d(bn[1].GetPtr(), 2), MP_GT);
492
                MP_CHECK_EQ(mp_prime_is_prime_ex(bn[1].GetPtr(), 30, &is_prime, wolfCrypt_detail::GetRNG()), MP_OKAY);
493
                CF_CHECK_EQ(is_prime, 1);
494
495
                MP_CHECK_EQ(mp_montgomery_setup(bn[1].GetPtr(), &mp), MP_OKAY);
496
                MP_CHECK_EQ(mp_montgomery_calc_normalization(tmp1.GetPtr(), bn[1].GetPtr()), MP_OKAY);
497
                MP_CHECK_EQ(mp_mulmod(bn[0].GetPtr(), tmp1.GetPtr(), bn[1].GetPtr(), tmp2.GetPtr()), MP_OKAY);
498
                MP_CHECK_EQ(mp_invmod_mont_ct(tmp2.GetPtr(), bn[1].GetPtr(), res.GetPtr(), mp), MP_OKAY);
499
                CF_CHECK_TRUE(wolfCrypt_bignum_detail::montgomery_reduce(ds, res.GetPtr(), bn[1].GetPtr(), mp));
500
            }
501
            break;
502
#undef HAVE_MP_INVMOD_MONT_CT
503
#endif
504
505
#if !defined(USE_FAST_MATH) && !defined(WOLFSSL_SP_MATH)
506
#if 0
507
        case    2:
508
            MP_CHECK_EQ(mp_invmod_slow(bn[0].GetPtr(), bn[1].GetPtr(), res.GetPtr()), MP_OKAY);
509
            break;
510
#endif
511
#endif
512
12
        default:
513
12
            goto end;
514
1.35k
    }
515
516
913
    ret = true;
517
518
1.35k
end:
519
1.35k
    return ret;
520
913
}
521
522
1.02k
bool Cmp::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
523
1.02k
    bool ret = false;
524
525
1.02k
    int cmpRes = 0;
526
1.02k
    GET_WHICH(1);
527
1.02k
    switch ( which ) {
528
669
        case    0:
529
669
            cmpRes = wolfCrypt_bignum_detail::compare(bn[0], bn[1], ds);
530
669
            break;
531
359
        case    1:
532
359
            {
533
359
                const auto op = bn[1].AsUnsigned<mp_digit>();
534
359
                CF_CHECK_NE(op, std::nullopt);
535
253
                cmpRes = mp_cmp_d(bn[0].GetPtr(), *op);
536
253
            }
537
0
            break;
538
0
        default:
539
0
            goto end;
540
1.02k
    }
541
542
922
    switch ( cmpRes ) {
543
323
        case    MP_GT:
544
323
            CF_CHECK_EQ( res.Set("1"), true);
545
316
            break;
546
448
        case    MP_LT:
547
448
            CF_CHECK_EQ( res.Set("-1"), true);
548
285
            break;
549
151
        case    MP_EQ:
550
151
            CF_CHECK_EQ( res.Set("0"), true);
551
132
            break;
552
0
        default:
553
0
            CF_ASSERT(0, "Compare result is not one of (MP_GT, MP_LT, MP_EQ)");
554
922
    }
555
556
733
    ret = true;
557
558
1.02k
end:
559
1.02k
    return ret;
560
733
}
561
562
161
bool Abs::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
563
161
    (void)ds;
564
565
161
    bool ret = false;
566
567
161
    MP_CHECK_EQ(mp_abs(bn[0].GetPtr(), bn.GetResPtr()), MP_OKAY);
568
136
    CF_CHECK_TRUE(bn.CopyResult(res));
569
570
136
    ret = true;
571
572
161
end:
573
161
    return ret;
574
136
}
575
576
73
bool Neg::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
577
73
    (void)ds;
578
73
    bool ret = false;
579
580
73
#if defined(WOLFSSL_SP_MATH) || defined(WOLFSSL_SP_MATH_ALL)
581
73
    (void)res;
582
73
    (void)bn;
583
#else
584
    CF_CHECK_EQ(res.Set("0"), true);
585
    MP_CHECK_EQ(mp_sub(res.GetPtr(), bn[0].GetPtr(), res.GetPtr()), MP_OKAY);
586
587
    ret = true;
588
589
end:
590
#endif
591
592
73
    return ret;
593
73
}
594
595
178
bool RShift::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
596
178
    bool ret = false;
597
598
178
    std::optional<uint64_t> _numBits;
599
178
    int numBits;
600
601
178
    GET_WHICH(2);
602
178
    CF_CHECK_NE(_numBits = bn[1].AsUint64(), std::nullopt);
603
168
    CF_CHECK_LTE(_numBits, 2147483647);
604
605
138
    numBits = *_numBits;
606
607
138
    switch ( which ) {
608
127
        case    0:
609
127
            MP_CHECK_EQ(mp_copy(bn[0].GetPtr(), res.GetPtr()), MP_OKAY);
610
#if defined(USE_FAST_MATH) || defined(USE_INTEGER_HEAP_MATH)
611
            CF_NORET(mp_rshb(res.GetPtr(), numBits));
612
#else
613
121
            MP_CHECK_EQ(mp_rshb(res.GetPtr(), numBits), MP_OKAY);
614
121
#endif
615
121
            ret = true;
616
121
            break;
617
#if !defined(WOLFSSL_SP_MATH)
618
        case    1:
619
            MP_CHECK_EQ(mp_div_2d(bn[0].GetPtr(), numBits, res.GetPtr(), GET_OPTIONAL_BN()), MP_OKAY);
620
            ret = true;
621
            break;
622
#endif
623
#if !defined(WOLFSSL_SP_MATH)
624
        case    2:
625
            {
626
                /* Check if number of bits to shift is a multiple of a full digit */
627
                CF_CHECK_EQ(numBits % (sizeof(mp_digit) * 8), 0);
628
629
                MP_CHECK_EQ(mp_copy(bn[0].GetPtr(), res.GetPtr()), MP_OKAY);
630
631
                const auto numDigits = numBits / (sizeof(mp_digit) * 8);
632
                CF_NORET(mp_rshd(res.GetPtr(), numDigits));
633
634
                ret = true;
635
            }
636
            break;
637
#endif
638
138
    }
639
640
178
end:
641
642
178
    return ret;
643
138
}
644
645
18
bool LShift1::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
646
18
    (void)ds;
647
648
18
    bool ret = false;
649
650
18
#if defined(WOLFSSL_SP_MATH)
651
18
    (void)res;
652
18
    (void)bn;
653
#else
654
    MP_CHECK_EQ(mp_mul_2d(bn[0].GetPtr(), 1, bn.GetResPtr()), MP_OKAY);
655
    CF_CHECK_TRUE(bn.CopyResult(res));
656
657
    ret = true;
658
659
end:
660
#endif
661
662
18
    return ret;
663
18
}
664
665
41
bool IsNeg::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
666
41
    (void)ds;
667
668
41
    bool ret = false;
669
670
41
#if defined(WOLFSSL_SP_MATH) || defined(WOLFSSL_SP_MATH_ALL)
671
41
    (void)res;
672
41
    (void)bn;
673
#else
674
    CF_CHECK_EQ( res.Set( std::to_string(mp_isneg(bn[0].GetPtr()) ? 1 : 0) ), true);
675
676
    ret = true;
677
678
end:
679
#endif
680
41
    return ret;
681
41
}
682
683
227
bool IsEq::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
684
227
    bool ret = false;
685
686
227
    const bool isEq = wolfCrypt_bignum_detail::compare(bn[0], bn[1], ds) == MP_EQ;
687
227
    CF_CHECK_EQ( res.Set( std::to_string(isEq ? 1 : 0) ), true);
688
689
225
    ret = true;
690
691
227
end:
692
227
    return ret;
693
225
}
694
695
48
bool IsZero::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
696
48
    (void)ds;
697
698
48
    bool ret = false;
699
700
48
    CF_CHECK_EQ( res.Set( std::to_string(mp_iszero(bn[0].GetPtr()) ? 1 : 0) ), true);
701
702
48
    ret = true;
703
704
48
end:
705
48
    return ret;
706
48
}
707
708
152
bool IsOne::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
709
152
    (void)ds;
710
711
152
    bool ret = false;
712
713
152
    CF_CHECK_EQ( res.Set( std::to_string(mp_isone(bn[0].GetPtr()) ? 1 : 0) ), true);
714
715
152
    ret = true;
716
717
152
end:
718
152
    return ret;
719
152
}
720
721
327
bool MulMod::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
722
327
    (void)ds;
723
724
327
    bool ret = false;
725
726
327
    MP_CHECK_EQ(mp_mulmod(bn[0].GetPtr(), bn[1].GetPtr(), bn[2].GetPtr(), bn.GetResPtr()), MP_OKAY);
727
150
    CF_CHECK_TRUE(bn.CopyResult(res));
728
729
150
    ret = true;
730
731
327
end:
732
327
    return ret;
733
150
}
734
735
11
bool AddMod::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
736
11
    bool ret = false;
737
738
11
#if defined(WOLFSSL_SP_MATH)
739
11
    (void)ds;
740
11
    (void)res;
741
11
    (void)bn;
742
#else
743
    GET_WHICH(1);
744
    switch ( which ) {
745
        case    0:
746
            MP_CHECK_EQ(mp_addmod(bn[0].GetPtr(), bn[1].GetPtr(), bn[2].GetPtr(), bn.GetResPtr()), MP_OKAY);
747
            CF_CHECK_TRUE(bn.CopyResult(res));
748
            break;
749
        case    1:
750
            /* mp_addmod_ct does not support negative numbers */
751
            CF_CHECK_NE(mp_cmp_d(bn[0].GetPtr(), 0), MP_LT);
752
            CF_CHECK_NE(mp_cmp_d(bn[1].GetPtr(), 0), MP_LT);
753
            CF_CHECK_NE(mp_cmp_d(bn[2].GetPtr(), 0), MP_LT);
754
755
            CF_CHECK_EQ(wolfCrypt_bignum_detail::compare(bn[0], bn[1], ds), MP_LT)
756
            CF_CHECK_EQ(wolfCrypt_bignum_detail::compare(bn[1], bn[2], ds), MP_LT)
757
            MP_CHECK_EQ(mp_addmod_ct(bn[0].GetPtr(), bn[1].GetPtr(), bn[2].GetPtr(), bn.GetResPtr()), MP_OKAY);
758
            CF_CHECK_TRUE(bn.CopyResult(res));
759
            break;
760
        default:
761
            goto end;
762
    }
763
764
    ret = true;
765
766
end:
767
#endif
768
11
    return ret;
769
11
}
770
771
10
bool SubMod::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
772
10
    bool ret = false;
773
774
10
#if defined(WOLFSSL_SP_MATH)
775
10
    (void)ds;
776
10
    (void)res;
777
10
    (void)bn;
778
#else
779
    GET_WHICH(1);
780
    switch ( which ) {
781
        case    0:
782
            MP_CHECK_EQ(mp_submod(bn[0].GetPtr(), bn[1].GetPtr(), bn[2].GetPtr(), bn.GetResPtr()), MP_OKAY);
783
            CF_CHECK_TRUE(bn.CopyResult(res));
784
            break;
785
        case    1:
786
            /* mp_submod_ct does not support negative numbers */
787
            CF_CHECK_NE(mp_cmp_d(bn[0].GetPtr(), 0), MP_LT);
788
            CF_CHECK_NE(mp_cmp_d(bn[1].GetPtr(), 0), MP_LT);
789
            CF_CHECK_NE(mp_cmp_d(bn[2].GetPtr(), 0), MP_LT);
790
791
            /* mp_submod_ct documentation states that:
792
             *
793
             * A < modulo
794
             * B < modulo
795
             */
796
            CF_CHECK_EQ(wolfCrypt_bignum_detail::compare(bn[0], bn[2], ds), MP_LT)
797
            CF_CHECK_EQ(wolfCrypt_bignum_detail::compare(bn[1], bn[2], ds), MP_LT)
798
799
            MP_CHECK_EQ(mp_submod_ct(bn[0].GetPtr(), bn[1].GetPtr(), bn[2].GetPtr(), bn.GetResPtr()), MP_OKAY);
800
            CF_CHECK_TRUE(bn.CopyResult(res));
801
            break;
802
        default:
803
            goto end;
804
    }
805
806
    ret = true;
807
808
end:
809
#endif
810
10
    return ret;
811
10
}
812
813
417
bool SqrMod::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
814
417
    (void)ds;
815
816
417
    bool ret = false;
817
818
417
    MP_CHECK_EQ(mp_sqrmod(bn[0].GetPtr(), bn[1].GetPtr(), bn.GetResPtr()), MP_OKAY);
819
229
    CF_CHECK_TRUE(bn.CopyResult(res));
820
821
229
    ret = true;
822
823
417
end:
824
417
    return ret;
825
229
}
826
827
14
bool Bit::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
828
14
    (void)ds;
829
14
    bool ret = false;
830
831
14
#if defined(WOLFSSL_SP_MATH)
832
14
    (void)res;
833
14
    (void)bn;
834
#else
835
    std::optional<uint64_t> _bitPos;
836
#if defined(WOLFSSL_SP_MATH_ALL)
837
    unsigned int bitPos;
838
#else
839
    mp_digit bitPos;
840
#endif
841
    int isBitSet;
842
843
    CF_CHECK_NE(_bitPos = bn[1].AsUint64(), std::nullopt);
844
845
    bitPos = *_bitPos;
846
    /* Ensure no truncation has occurred */
847
    CF_CHECK_EQ(bitPos, *_bitPos);
848
849
    CF_CHECK_GTE(isBitSet = mp_is_bit_set(bn[0].GetPtr(), bitPos), 0);
850
    CF_CHECK_EQ( res.Set(isBitSet ? "1" : "0"), true);
851
852
    ret = true;
853
854
end:
855
#endif
856
14
    return ret;
857
14
}
858
859
63
bool CmpAbs::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
860
63
    (void)ds;
861
63
    (void)res;
862
63
    (void)bn;
863
864
    /* TODO */
865
866
63
    bool ret = false;
867
868
63
    return ret;
869
63
}
870
871
568
bool SetBit::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
872
568
    (void)ds;
873
568
    bool ret = false;
874
875
568
    std::optional<uint64_t> _bitPos;
876
568
    mp_digit bitPos;
877
878
568
    CF_CHECK_NE(_bitPos = bn[1].AsUint64(), std::nullopt);
879
880
538
    bitPos = *_bitPos;
881
    /* Ensure no truncation has occurred */
882
538
    CF_CHECK_EQ(bitPos, *_bitPos);
883
884
521
    MP_CHECK_EQ(mp_copy(bn[0].GetPtr(), res.GetPtr()), MP_OKAY);
885
508
    MP_CHECK_EQ(mp_set_bit(res.GetPtr(), bitPos), MP_OKAY);
886
887
445
    ret = true;
888
889
568
end:
890
568
    return ret;
891
445
}
892
893
48
bool LCM::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
894
48
#if \
895
48
    defined(WOLFSSL_SP_MATH) || \
896
48
    (defined(WOLFSSL_SP_MATH_ALL) && \
897
48
        !(!defined(NO_RSA) && defined(WOLFSSL_KEY_GEN) && !defined(WC_RSA_BLINDING)) \
898
48
    )
899
48
    (void)ds;
900
48
    (void)res;
901
48
    (void)bn;
902
48
    return false;
903
#else
904
    (void)ds;
905
906
    bool ret = false;
907
908
    /* mp_lcm does not support negative numbers */
909
    CF_CHECK_NE(mp_cmp_d(bn[0].GetPtr(), 0), MP_LT);
910
    CF_CHECK_NE(mp_cmp_d(bn[1].GetPtr(), 0), MP_LT);
911
912
    MP_CHECK_EQ(mp_lcm(bn[0].GetPtr(), bn[1].GetPtr(), bn.GetResPtr()), MP_OKAY);
913
    CF_CHECK_TRUE(bn.CopyResult(res));
914
915
    ret = true;
916
917
end:
918
    return ret;
919
#endif
920
48
}
921
922
59
bool Mod::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
923
59
    bool ret = false;
924
925
59
    GET_WHICH(4);
926
59
    switch ( which ) {
927
48
        case    0:
928
48
            MP_CHECK_EQ(mp_mod(bn[0].GetPtr(), bn[1].GetPtr(), bn.GetResPtr()), MP_OKAY);
929
34
            CF_CHECK_TRUE(bn.CopyResult(res));
930
34
            break;
931
#if !defined(WOLFSSL_SP_MATH)
932
        case    1:
933
            {
934
                /* Input must not be negative */
935
                CF_CHECK_NE(mp_cmp_d(bn[0].GetPtr(), 0), MP_LT);
936
937
                const auto op = bn[1].AsUnsigned<mp_digit>();
938
                CF_CHECK_NE(op, std::nullopt);
939
                mp_digit modResult;
940
                MP_CHECK_EQ(mp_mod_d(bn[0].GetPtr(), *op, &modResult), MP_OKAY);
941
                CF_CHECK_EQ(res.Set(std::to_string(modResult)), true);
942
            }
943
            break;
944
        case    2:
945
            {
946
                /* mp_div_2_mod_ct does not support negative numbers */
947
                CF_CHECK_NE(mp_cmp_d(bn[0].GetPtr(), 0), MP_LT);
948
                CF_CHECK_NE(mp_cmp_d(bn[0].GetPtr(), 0), MP_LT);
949
950
                /* bn[0] *= 2 */
951
                MP_CHECK_EQ(mp_mul_d(bn[0].GetPtr(), 2, bn.GetDestPtr(0)), MP_OKAY);
952
953
                CF_CHECK_EQ(wolfCrypt_bignum_detail::compare(bn[0], bn[1], ds), MP_LT)
954
                MP_CHECK_EQ(mp_div_2_mod_ct(bn[0].GetPtr(), bn[1].GetPtr(), bn.GetResPtr()), MP_OKAY);
955
                CF_CHECK_TRUE(bn.CopyResult(res));
956
            }
957
            break;
958
        case    3:
959
            {
960
                mp_digit mp;
961
                wolfCrypt_bignum::Bignum tmp(ds);
962
963
                MP_CHECK_EQ(mp_montgomery_setup(bn[1].GetPtr(), &mp), MP_OKAY);
964
                MP_CHECK_EQ(mp_montgomery_calc_normalization(tmp.GetPtr(), bn[1].GetPtr()), MP_OKAY);
965
                MP_CHECK_EQ(mp_mulmod(bn[0].GetPtr(), tmp.GetPtr(), bn[1].GetPtr(), res.GetPtr()), MP_OKAY);
966
                CF_CHECK_TRUE(wolfCrypt_bignum_detail::montgomery_reduce(ds, res.GetPtr(), bn[1].GetPtr(), mp));
967
            }
968
            break;
969
#endif
970
#if !defined(WOLFSSL_SP_MATH) && (!defined(USE_FAST_MATH) || defined(WOLFSSL_SP_MATH_ALL))
971
        case    4:
972
            {
973
                std::optional<int> exponent = std::nullopt;
974
975
                /* Negative modulo not supported */
976
                CF_CHECK_NE(mp_cmp_d(bn[1].GetPtr(), 0), MP_LT);
977
978
                CF_CHECK_NE(exponent = wolfCrypt_bignum_detail::isPowerOf2(bn[1], ds), std::nullopt);
979
980
                MP_CHECK_EQ(mp_mod_2d(bn[0].GetPtr(), *exponent, bn.GetResPtr()), MP_OKAY);
981
                CF_CHECK_TRUE(bn.CopyResult(res));
982
            }
983
            break;
984
#endif
985
11
        default:
986
11
            goto end;
987
59
    }
988
989
34
    ret = true;
990
991
59
end:
992
59
    return ret;
993
34
}
994
995
95
bool IsEven::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
996
95
    (void)ds;
997
998
95
    bool ret = false;
999
1000
95
    CF_CHECK_EQ(mp_iszero(bn[0].GetPtr()), false);
1001
1002
47
    CF_CHECK_EQ( res.Set( std::to_string(mp_iseven(bn[0].GetPtr()) ? 1 : 0) ), true);
1003
1004
47
    ret = true;
1005
1006
95
end:
1007
1008
95
    return ret;
1009
47
}
1010
1011
90
bool IsOdd::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
1012
90
    (void)ds;
1013
1014
90
    bool ret = false;
1015
1016
90
    CF_CHECK_EQ( res.Set( std::to_string(mp_isodd(bn[0].GetPtr()) ? 1 : 0) ), true);
1017
1018
90
    ret = true;
1019
1020
90
end:
1021
1022
90
    return ret;
1023
90
}
1024
1025
150
bool MSB::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
1026
150
    (void)ds;
1027
1028
150
    bool ret = false;
1029
1030
150
    const int bit = mp_leading_bit(bn[0].GetPtr());
1031
1032
150
    CF_ASSERT(bit == 0 || bit == 1, "mp_leading_bit result is not one of (0, 1)");
1033
1034
150
    CF_CHECK_EQ( res.Set( std::to_string(bit) ), true);
1035
1036
150
    ret = true;
1037
1038
150
end:
1039
1040
150
    return ret;
1041
150
}
1042
1043
146
bool NumBits::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
1044
146
    (void)ds;
1045
1046
146
    bool ret = false;
1047
1048
146
    const auto numBits = mp_count_bits(bn[0].GetPtr());
1049
1050
146
    CF_ASSERT(numBits >= 0, "mp_count_bits result is negative");
1051
1052
146
    CF_CHECK_EQ( res.Set( std::to_string(numBits) ), true);
1053
1054
146
    ret = true;
1055
1056
146
end:
1057
146
    return ret;
1058
146
}
1059
1060
611
bool Set::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
1061
611
    bool ret = false;
1062
1063
611
    GET_WHICH(3);
1064
611
    switch ( which ) {
1065
107
        case    0:
1066
107
            MP_CHECK_EQ(mp_copy(bn[0].GetPtr(), bn.GetResPtr()), MP_OKAY);
1067
83
            CF_CHECK_TRUE(bn.CopyResult(res));
1068
83
            ret = true;
1069
83
            break;
1070
152
        case    1:
1071
152
            {
1072
                /* See ZD 16084 */
1073
152
                CF_CHECK_LTE(mp_count_bits(bn[0].GetPtr()), DIGIT_BIT);
1074
1075
112
                const auto op = bn[0].AsUnsigned<mp_digit>();
1076
112
                CF_CHECK_NE(op, std::nullopt);
1077
103
                MP_CHECK_EQ(mp_set(bn.GetResPtr(), *op), MP_OKAY);
1078
103
                CF_CHECK_TRUE(bn.CopyResult(res));
1079
103
                ret = true;
1080
103
            }
1081
0
            break;
1082
171
        case    2:
1083
171
            {
1084
                /* mp_exch alters the value of bn[0], so invalidate the cache. */
1085
171
                bn.InvalidateCache();
1086
1087
                /* mp_exch always returns a value */
1088
171
                MP_CHECK_EQ(mp_exch(bn.GetResPtr(), bn[0].GetPtr()), MP_OKAY);
1089
110
                CF_CHECK_TRUE(bn.CopyResult(res));
1090
1091
110
                ret = true;
1092
110
            }
1093
0
            break;
1094
181
        case    3:
1095
181
            {
1096
181
                const auto op = bn[0].AsUnsigned<unsigned long>();
1097
181
                CF_CHECK_NE(op, std::nullopt);
1098
149
                MP_CHECK_EQ(mp_set_int(bn.GetResPtr(), *op), MP_OKAY);
1099
145
                CF_CHECK_TRUE(bn.CopyResult(res));
1100
145
                ret = true;
1101
145
            }
1102
0
            break;
1103
611
    }
1104
1105
611
end:
1106
611
    return ret;
1107
611
}
1108
1109
242
bool Exp2::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
1110
242
    (void)ds;
1111
1112
242
    bool ret = false;
1113
1114
242
    const auto exponent = bn[0].AsUnsigned<unsigned int>();
1115
242
    CF_CHECK_NE(exponent, std::nullopt);
1116
#if defined(USE_FAST_MATH) && !defined(WOLFSSL_SP_MATH) && !defined(WOLFSSL_SP_MATH_ALL)
1117
    CF_CHECK_LT(*exponent / DIGIT_BIT, FP_SIZE);
1118
#endif
1119
226
    MP_CHECK_EQ(mp_2expt(bn.GetResPtr(), *exponent), MP_OKAY);
1120
163
    CF_CHECK_TRUE(bn.CopyResult(res));
1121
1122
163
    ret = true;
1123
1124
242
end:
1125
1126
242
    return ret;
1127
163
}
1128
1129
241
bool NumLSZeroBits::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
1130
241
    (void)ds;
1131
1132
241
    bool ret = false;
1133
1134
#if (defined(USE_FAST_MATH) && !defined(HAVE_COMP_KEY))
1135
    (void)res;
1136
    (void)bn;
1137
#else
1138
241
    const auto numBits = mp_cnt_lsb(bn[0].GetPtr());
1139
1140
241
    CF_ASSERT(numBits >= 0, "mp_cnt_lsb result is negative");
1141
1142
241
    CF_CHECK_EQ( res.Set( std::to_string(numBits) ), true);
1143
1144
240
    ret = true;
1145
1146
241
end:
1147
241
#endif
1148
1149
241
    return ret;
1150
240
}
1151
1152
115
bool CondSet::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
1153
115
    (void)ds;
1154
1155
115
    bool ret = false;
1156
1157
115
    const int doCopy = mp_iszero(bn[1].GetPtr()) ? 0 : 1;
1158
115
    CF_CHECK_EQ(res.Set("0"), true);
1159
115
    MP_CHECK_EQ(mp_cond_copy(bn[0].GetPtr(), doCopy, res.GetPtr()), MP_OKAY);
1160
1161
99
    ret = true;
1162
1163
115
end:
1164
115
    return ret;
1165
99
}
1166
1167
934
bool Rand::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
1168
934
    (void)ds;
1169
934
    (void)bn;
1170
1171
934
    bool ret = false;
1172
1173
934
    GET_WHICH(1);
1174
934
    switch ( which ) {
1175
533
        case    0:
1176
533
            {
1177
533
                const auto len = ds.Get<uint16_t>() % 512;
1178
533
                MP_CHECK_EQ(mp_rand(res.GetPtr(), len, wolfCrypt_detail::GetRNG()), MP_OKAY);
1179
378
                ret = true;
1180
378
            }
1181
0
            break;
1182
401
        case    1:
1183
401
            {
1184
401
                const auto len = ds.Get<uint16_t>() % 100;
1185
401
                MP_CHECK_EQ(mp_rand_prime(res.GetPtr(), len, wolfCrypt_detail::GetRNG(), nullptr), MP_OKAY);
1186
90
                ret = true;
1187
90
            }
1188
0
            break;
1189
934
    }
1190
1191
805
end:
1192
805
    return ret;
1193
934
}
1194
1195
146
bool Zero::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
1196
146
    (void)bn;
1197
1198
146
    GET_WHICH(1);
1199
146
    switch ( which ) {
1200
89
        case    0:
1201
89
            CF_NORET(mp_zero(res.GetPtr()));
1202
89
            break;
1203
57
        case    1:
1204
57
            CF_NORET(mp_forcezero(res.GetPtr()));
1205
57
            break;
1206
146
    }
1207
1208
146
    return true;
1209
146
}
1210
1211
858
bool Prime::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
1212
858
    (void)bn;
1213
1214
858
    bool ret = false;
1215
1216
858
    uint16_t len = 2;
1217
858
    try {
1218
        /* Cap at 100; much larger will timeout */
1219
858
        len = ds.Get<uint16_t>() % 100;
1220
858
    } catch ( ... ) { }
1221
1222
1.44k
    MP_CHECK_EQ(mp_rand_prime(res.GetPtr(), len, wolfCrypt_detail::GetRNG(), nullptr), MP_OKAY);
1223
1224
1.44k
    ret = true;
1225
1226
1.44k
end:
1227
858
    return ret;
1228
1.44k
}
1229
1230
1.91k
bool IsPrime::Run(Datasource& ds, Bignum& res, BignumCluster& bn) const {
1231
1.91k
    (void)ds;
1232
1233
1.91k
    bool ret = false;
1234
1235
1.91k
    int r;
1236
1237
    /* Prevent timeouts */
1238
1.91k
    CF_CHECK_LTE(mp_count_bits(bn[0].GetPtr()), 1000);
1239
1240
    /* Must be system RNG; otherwise the fuzzer will PRNG seeds that will
1241
     * incorrectly regard a prime as composite.
1242
     */
1243
1.85k
    CF_CHECK_EQ(mp_prime_is_prime_ex(bn[0].GetPtr(), 256, &r, wolfCrypt_detail::GetSystemRNG()), MP_OKAY);
1244
1.74k
    CF_CHECK_EQ( res.Set( std::to_string(r) ), true);
1245
1246
1.73k
    ret = true;
1247
1248
1.91k
end:
1249
1.91k
    return ret;
1250
1.73k
}
1251
1252
1253
} /* namespace wolfCrypt_bignum */
1254
} /* namespace module */
1255
} /* namespace cryptofuzz */