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

randombit / botan / 20823011036

08 Jan 2026 11:24AM UTC coverage: 90.423% (-0.003%) from 90.426%
20823011036

push

github

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

FIX: Amalgamation build on MSVC x86

101645 of 112411 relevant lines covered (90.42%)

12867229.89 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()) {
243✔
17
      return 0;
24✔
18
   }
19
   Botan::BigInt u = mod;
74✔
20
   Botan::BigInt v = n;
74✔
21
   Botan::BigInt A = 1;
74✔
22
   Botan::BigInt B = 0;
74✔
23
   Botan::BigInt C = 0;
74✔
24
   Botan::BigInt D = 1;
74✔
25

26
   while(u.is_nonzero()) {
40,921✔
27
      const size_t u_zero_bits = Botan::low_zero_bits(u);
27,183✔
28
      u >>= u_zero_bits;
27,183✔
29
      for(size_t i = 0; i != u_zero_bits; ++i) {
54,401✔
30
         if(A.is_odd() || B.is_odd()) {
27,218✔
31
            A += n;
13,686✔
32
            B -= mod;
13,686✔
33
         }
34
         A >>= 1;
27,218✔
35
         B >>= 1;
27,218✔
36
      }
37

38
      const size_t v_zero_bits = Botan::low_zero_bits(v);
27,183✔
39
      v >>= v_zero_bits;
27,183✔
40
      for(size_t i = 0; i != v_zero_bits; ++i) {
54,256✔
41
         if(C.is_odd() || D.is_odd()) {
27,073✔
42
            C += n;
13,457✔
43
            D -= mod;
13,457✔
44
         }
45
         C >>= 1;
27,073✔
46
         D >>= 1;
27,073✔
47
      }
48

49
      if(u >= v) {
27,183✔
50
         u -= v;
13,664✔
51
         A -= C;
13,664✔
52
         B -= D;
13,664✔
53
      } else {
54
         v -= u;
13,519✔
55
         C -= A;
13,519✔
56
         D -= B;
13,519✔
57
      }
58
   }
59

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

64
   while(D.is_negative()) {
109✔
65
      D += mod;
50✔
66
   }
67
   while(D >= mod) {
59✔
68
      D -= mod;
×
69
   }
70

71
   return D;
59✔
72
}
74✔
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