• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

randombit / botan / 20815178654

08 Jan 2026 11:24AM UTC coverage: 90.426%. Remained the same
20815178654

push

github

web-flow
Merge pull request #5216 from Rohde-Schwarz/fix/msvc_x86_build

FIX: Amalgamation build on MSVC x86

101649 of 112411 relevant lines covered (90.43%)

12771803.9 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

96.43
/src/fuzzer/invert.cpp
1
/*
2
* (C) 2015,2016,2020 Jack Lloyd
3
*
4
* Botan is released under the Simplified BSD License (see license.txt)
5
*/
6
#include "fuzzers.h"
7

8
#include <botan/numthry.h>
9

10
namespace {
11

12
Botan::BigInt ref_inverse_mod(const Botan::BigInt& n, const Botan::BigInt& mod) {
99✔
13
   if(n == 0 || mod < 2) {
197✔
14
      return 0;
1✔
15
   }
16
   if(n.is_even() && mod.is_even()) {
239✔
17
      return 0;
18✔
18
   }
19
   Botan::BigInt u = mod;
80✔
20
   Botan::BigInt v = n;
80✔
21
   Botan::BigInt A = 1;
80✔
22
   Botan::BigInt B = 0;
80✔
23
   Botan::BigInt C = 0;
80✔
24
   Botan::BigInt D = 1;
80✔
25

26
   while(u.is_nonzero()) {
45,725✔
27
      const size_t u_zero_bits = Botan::low_zero_bits(u);
30,371✔
28
      u >>= u_zero_bits;
30,371✔
29
      for(size_t i = 0; i != u_zero_bits; ++i) {
61,133✔
30
         if(A.is_odd() || B.is_odd()) {
30,762✔
31
            A += n;
15,364✔
32
            B -= mod;
15,364✔
33
         }
34
         A >>= 1;
30,762✔
35
         B >>= 1;
30,762✔
36
      }
37

38
      const size_t v_zero_bits = Botan::low_zero_bits(v);
30,371✔
39
      v >>= v_zero_bits;
30,371✔
40
      for(size_t i = 0; i != v_zero_bits; ++i) {
60,602✔
41
         if(C.is_odd() || D.is_odd()) {
30,231✔
42
            C += n;
15,075✔
43
            D -= mod;
15,075✔
44
         }
45
         C >>= 1;
30,231✔
46
         D >>= 1;
30,231✔
47
      }
48

49
      if(u >= v) {
30,371✔
50
         u -= v;
15,274✔
51
         A -= C;
15,274✔
52
         B -= D;
15,274✔
53
      } else {
54
         v -= u;
15,097✔
55
         C -= A;
15,097✔
56
         D -= B;
15,097✔
57
      }
58
   }
59

60
   if(v != 1) {
80✔
61
      return 0;  // no modular inverse
19✔
62
   }
63

64
   while(D.is_negative()) {
107✔
65
      D += mod;
46✔
66
   }
67
   while(D >= mod) {
61✔
68
      D -= mod;
×
69
   }
70

71
   return D;
61✔
72
}
80✔
73

74
}  // namespace
75

76
void fuzz(std::span<const uint8_t> in) {
100✔
77
   static const size_t max_bits = 4096;
100✔
78

79
   if(in.size() > 2 * max_bits / 8) {
100✔
80
      return;
1✔
81
   }
82

83
   const Botan::BigInt x = Botan::BigInt::from_bytes(in.subspan(0, in.size() / 2));
100✔
84
   const Botan::BigInt mod = Botan::BigInt::from_bytes(in.subspan(in.size() / 2, in.size() - in.size() / 2));
100✔
85

86
   if(mod < 2) {
100✔
87
      return;
1✔
88
   }
89

90
   const Botan::BigInt lib = Botan::inverse_mod(x, mod);
99✔
91
   const Botan::BigInt ref = ref_inverse_mod(x, mod);
99✔
92

93
   if(ref != lib) {
99✔
94
      FUZZER_WRITE_AND_CRASH("X = " << x.to_hex_string() << "\n"
×
95
                                    << "Mod = " << mod.to_hex_string() << "\n"
96
                                    << "GCD(X,Mod) = " << gcd(x, mod).to_hex_string() << "\n"
97
                                    << "RefInv(X,Mod) = " << ref.to_hex_string() << "\n"
98
                                    << "LibInv(X,Mod)  = " << lib.to_hex_string() << "\n"
99
                                    << "RefCheck = " << ((x * ref) % mod).to_hex_string() << "\n"
100
                                    << "LibCheck  = " << ((x * lib) % mod).to_hex_string() << "\n");
101
   }
102
}
100✔
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc