Coverage Report

Created: 2026-09-20 06:33

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