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

randombit / botan / 17024898259

17 Aug 2025 07:18PM UTC coverage: 90.652%. Remained the same
17024898259

push

github

web-flow
Merge pull request #5064 from randombit/jack/add-back-disable-neon

Partially Revert #4927

100082 of 110402 relevant lines covered (90.65%)

12244720.18 hits per line

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

94.64
/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) {
98✔
13
   if(n == 0 || mod < 2) {
196✔
14
      return 0;
×
15
   }
16
   if(n.is_even() && mod.is_even()) {
258✔
17
      return 0;
27✔
18
   }
19
   Botan::BigInt u = mod;
71✔
20
   Botan::BigInt v = n;
71✔
21
   Botan::BigInt A = 1;
71✔
22
   Botan::BigInt B = 0;
71✔
23
   Botan::BigInt C = 0;
71✔
24
   Botan::BigInt D = 1;
71✔
25

26
   while(u.is_nonzero()) {
40,099✔
27
      const size_t u_zero_bits = Botan::low_zero_bits(u);
26,584✔
28
      u >>= u_zero_bits;
26,584✔
29
      for(size_t i = 0; i != u_zero_bits; ++i) {
53,179✔
30
         if(A.is_odd() || B.is_odd()) {
26,595✔
31
            A += n;
13,348✔
32
            B -= mod;
13,348✔
33
         }
34
         A >>= 1;
26,595✔
35
         B >>= 1;
26,595✔
36
      }
37

38
      const size_t v_zero_bits = Botan::low_zero_bits(v);
26,584✔
39
      v >>= v_zero_bits;
26,584✔
40
      for(size_t i = 0; i != v_zero_bits; ++i) {
52,958✔
41
         if(C.is_odd() || D.is_odd()) {
26,374✔
42
            C += n;
13,233✔
43
            D -= mod;
13,233✔
44
         }
45
         C >>= 1;
26,374✔
46
         D >>= 1;
26,374✔
47
      }
48

49
      if(u >= v) {
26,584✔
50
         u -= v;
13,444✔
51
         A -= C;
13,444✔
52
         B -= D;
13,444✔
53
      } else {
54
         v -= u;
13,140✔
55
         C -= A;
13,140✔
56
         D -= B;
13,140✔
57
      }
58
   }
59

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

64
   while(D.is_negative()) {
105✔
65
      D += mod;
48✔
66
   }
67
   while(D >= mod) {
57✔
68
      D -= mod;
×
69
   }
70

71
   return D;
57✔
72
}
71✔
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;
2✔
81
   }
82

83
   const Botan::BigInt x = Botan::BigInt::from_bytes(in.subspan(0, in.size() / 2));
100✔
84
   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;
2✔
88
   }
89

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

93
   if(ref != lib) {
98✔
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