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

randombit / botan / 13456189926

21 Feb 2025 11:50AM UTC coverage: 91.663%. Remained the same
13456189926

Pull #4555

github

web-flow
Merge b5264ec68 into 7295027f5
Pull Request #4555: Remove the workspace argument to various ECC interfaces

95007 of 103648 relevant lines covered (91.66%)

11390241.2 hits per line

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

92.48
/src/lib/pubkey/ec_group/ec_inner_data.cpp
1
/*
2
* (C) 2024 Jack Lloyd
3
*
4
* Botan is released under the Simplified BSD License (see license.txt)
5
*/
6

7
#include <botan/internal/ec_inner_data.h>
8

9
#include <botan/der_enc.h>
10
#include <botan/internal/ec_inner_pc.h>
11
#include <botan/internal/fmt.h>
12
#include <botan/internal/pcurves.h>
13

14
#if defined(BOTAN_HAS_LEGACY_EC_POINT)
15
   #include <botan/internal/ec_inner_bn.h>
16
   #include <botan/internal/point_mul.h>
17
#endif
18

19
#if defined(BOTAN_HAS_XMD)
20
   #include <botan/internal/xmd.h>
21
#endif
22

23
namespace Botan {
24

25
EC_Group_Data::~EC_Group_Data() = default;
5,772✔
26

27
// Note this constructor *does not* initialize m_curve, m_base_point or m_base_mult
28
EC_Group_Data::EC_Group_Data(const BigInt& p,
1,155✔
29
                             const BigInt& a,
30
                             const BigInt& b,
31
                             const BigInt& g_x,
32
                             const BigInt& g_y,
33
                             const BigInt& order,
34
                             const BigInt& cofactor,
35
                             const OID& oid,
36
                             EC_Group_Source source) :
1,155✔
37
      m_p(p),
1,155✔
38
      m_a(a),
1,155✔
39
      m_b(b),
1,155✔
40
      m_g_x(g_x),
1,155✔
41
      m_g_y(g_y),
1,155✔
42
      m_order(order),
1,155✔
43
      m_cofactor(cofactor),
1,155✔
44
#if defined(BOTAN_HAS_LEGACY_EC_POINT)
45
      m_mod_field(Modular_Reducer::for_public_modulus(p)),
1,155✔
46
      m_mod_order(Modular_Reducer::for_public_modulus(order)),
1,155✔
47
      m_monty(m_p, m_mod_field),
1,155✔
48
#endif
49
      m_oid(oid),
1,155✔
50
      m_p_words(p.sig_words()),
1,155✔
51
      m_p_bits(p.bits()),
1,155✔
52
      m_order_bits(order.bits()),
1,155✔
53
      m_order_bytes((m_order_bits + 7) / 8),
1,155✔
54
      m_a_is_minus_3(a == p - 3),
1,155✔
55
      m_a_is_zero(a.is_zero()),
1,155✔
56
      m_has_cofactor(m_cofactor != 1),
1,155✔
57
      m_order_is_less_than_p(m_order < p),
1,155✔
58
      m_source(source) {
3,465✔
59
   if(!m_oid.empty()) {
1,155✔
60
      DER_Encoder der(m_der_named_curve);
1,152✔
61
      der.encode(m_oid);
1,152✔
62

63
      const std::string name = m_oid.human_name_or_empty();
1,152✔
64
      if(!name.empty()) {
1,152✔
65
         // returns nullptr if unknown or not supported
66
         m_pcurve = PCurve::PrimeOrderCurve::for_named_curve(name);
1,147✔
67
      }
68
      if(m_pcurve) {
1,152✔
69
         m_engine = EC_Group_Engine::Optimized;
912✔
70
      }
71
   }
1,152✔
72

73
#if defined(BOTAN_HAS_LEGACY_EC_POINT)
74
   secure_vector<word> ws;
1,155✔
75
   m_a_r = m_monty.mul(a, m_monty.R2(), ws);
2,310✔
76
   m_b_r = m_monty.mul(b, m_monty.R2(), ws);
2,310✔
77
   if(!m_pcurve) {
1,155✔
78
      m_engine = EC_Group_Engine::Legacy;
243✔
79
   }
80
#else
81
   if(!m_pcurve) {
82
      if(m_oid.empty()) {
83
         throw Not_Implemented("EC_Group this group is not supported in this build configuration");
84
      } else {
85
         throw Not_Implemented(
86
            fmt("EC_Group the group {} is not supported in this build configuration", oid.to_string()));
87
      }
88
   }
89
#endif
90
}
1,155✔
91

92
std::shared_ptr<EC_Group_Data> EC_Group_Data::create(const BigInt& p,
1,155✔
93
                                                     const BigInt& a,
94
                                                     const BigInt& b,
95
                                                     const BigInt& g_x,
96
                                                     const BigInt& g_y,
97
                                                     const BigInt& order,
98
                                                     const BigInt& cofactor,
99
                                                     const OID& oid,
100
                                                     EC_Group_Source source) {
101
   auto group = std::make_shared<EC_Group_Data>(p, a, b, g_x, g_y, order, cofactor, oid, source);
1,155✔
102

103
#if defined(BOTAN_HAS_LEGACY_EC_POINT)
104
   group->m_curve = CurveGFp(group.get());
1,155✔
105
   group->m_base_point = EC_Point(group->m_curve, g_x, g_y);
2,310✔
106
   if(!group->m_pcurve) {
1,155✔
107
      group->m_base_mult = std::make_unique<EC_Point_Base_Point_Precompute>(group->m_base_point, group->m_mod_order);
243✔
108
   }
109
#endif
110

111
   return group;
1,155✔
112
}
×
113

114
bool EC_Group_Data::params_match(const BigInt& p,
770✔
115
                                 const BigInt& a,
116
                                 const BigInt& b,
117
                                 const BigInt& g_x,
118
                                 const BigInt& g_y,
119
                                 const BigInt& order,
120
                                 const BigInt& cofactor) const {
121
   return (this->p() == p && this->a() == a && this->b() == b && this->order() == order &&
871✔
122
           this->cofactor() == cofactor && this->g_x() == g_x && this->g_y() == g_y);
862✔
123
}
124

125
bool EC_Group_Data::params_match(const EC_Group_Data& other) const {
×
126
   return params_match(other.p(), other.a(), other.b(), other.g_x(), other.g_y(), other.order(), other.cofactor());
×
127
}
128

129
void EC_Group_Data::set_oid(const OID& oid) {
×
130
   BOTAN_ARG_CHECK(!oid.empty(), "OID should be set");
×
131
   BOTAN_STATE_CHECK(m_oid.empty() && m_der_named_curve.empty());
×
132
   m_oid = oid;
×
133

134
   DER_Encoder der(m_der_named_curve);
×
135
   der.encode(m_oid);
×
136
}
×
137

138
std::unique_ptr<EC_Scalar_Data> EC_Group_Data::scalar_from_bytes_with_trunc(std::span<const uint8_t> bytes) const {
26,070✔
139
   const size_t bit_length = 8 * bytes.size();
26,070✔
140

141
   if(bit_length < order_bits()) {
26,070✔
142
      // No shifting required, but might still need to reduce by modulus
143
      return this->scalar_from_bytes_mod_order(bytes);
5,254✔
144
   } else {
145
      const size_t shift = bit_length - order_bits();
20,816✔
146

147
      const size_t new_length = bytes.size() - (shift / 8);
20,816✔
148
      const size_t bit_shift = shift % 8;
20,816✔
149

150
      if(bit_shift == 0) {
20,816✔
151
         // Easy case just read different bytes
152
         return this->scalar_from_bytes_mod_order(bytes.first(new_length));
18,174✔
153
      } else {
154
         std::vector<uint8_t> sbytes(new_length);
2,642✔
155

156
         uint8_t carry = 0;
2,642✔
157
         for(size_t i = 0; i != new_length; ++i) {
72,276✔
158
            const uint8_t w = bytes[i];
69,634✔
159
            sbytes[i] = (w >> bit_shift) | carry;
69,634✔
160
            carry = w << (8 - bit_shift);
69,634✔
161
         }
162

163
         return this->scalar_from_bytes_mod_order(sbytes);
2,642✔
164
      }
2,642✔
165
   }
166
}
167

168
std::unique_ptr<EC_Scalar_Data> EC_Group_Data::scalar_from_bytes_mod_order(std::span<const uint8_t> bytes) const {
34,786✔
169
   if(bytes.size() > 2 * order_bytes()) {
34,786✔
170
      return {};
×
171
   }
172

173
   if(m_pcurve) {
34,786✔
174
      if(auto s = m_pcurve->scalar_from_wide_bytes(bytes)) {
23,549✔
175
         return std::make_unique<EC_Scalar_Data_PC>(shared_from_this(), std::move(*s));
23,549✔
176
      } else {
177
         return {};
×
178
      }
23,549✔
179
   } else {
180
#if defined(BOTAN_HAS_LEGACY_EC_POINT)
181
      return std::make_unique<EC_Scalar_Data_BN>(shared_from_this(), m_mod_order.reduce(BigInt(bytes)));
11,237✔
182
#else
183
      throw Not_Implemented("Legacy EC interfaces disabled in this build configuration");
184
#endif
185
   }
186
}
187

188
std::unique_ptr<EC_Scalar_Data> EC_Group_Data::scalar_random(RandomNumberGenerator& rng) const {
44,376✔
189
   if(m_pcurve) {
44,376✔
190
      return std::make_unique<EC_Scalar_Data_PC>(shared_from_this(), m_pcurve->random_scalar(rng));
19,571✔
191
   } else {
192
#if defined(BOTAN_HAS_LEGACY_EC_POINT)
193
      return std::make_unique<EC_Scalar_Data_BN>(shared_from_this(),
49,610✔
194
                                                 BigInt::random_integer(rng, BigInt::one(), m_order));
74,415✔
195
#else
196
      throw Not_Implemented("Legacy EC interfaces disabled in this build configuration");
197
#endif
198
   }
199
}
200

201
std::unique_ptr<EC_Scalar_Data> EC_Group_Data::scalar_one() const {
101✔
202
   if(m_pcurve) {
101✔
203
      return std::make_unique<EC_Scalar_Data_PC>(shared_from_this(), m_pcurve->scalar_one());
61✔
204
   } else {
205
#if defined(BOTAN_HAS_LEGACY_EC_POINT)
206
      return std::make_unique<EC_Scalar_Data_BN>(shared_from_this(), BigInt::one());
40✔
207
#else
208
      throw Not_Implemented("Legacy EC interfaces disabled in this build configuration");
209
#endif
210
   }
211
}
212

213
std::unique_ptr<EC_Scalar_Data> EC_Group_Data::scalar_from_bigint(const BigInt& bn) const {
4,482✔
214
   if(bn <= 0 || bn >= m_order) {
4,482✔
215
      return {};
×
216
   }
217

218
   if(m_pcurve) {
4,482✔
219
      return this->scalar_deserialize(bn.serialize(m_order_bytes));
6,754✔
220
   } else {
221
#if defined(BOTAN_HAS_LEGACY_EC_POINT)
222
      return std::make_unique<EC_Scalar_Data_BN>(shared_from_this(), bn);
1,105✔
223
#else
224
      throw Not_Implemented("Legacy EC interfaces disabled in this build configuration");
225
#endif
226
   }
227
}
228

229
std::unique_ptr<EC_Scalar_Data> EC_Group_Data::gk_x_mod_order(const EC_Scalar_Data& scalar,
3,313✔
230
                                                              RandomNumberGenerator& rng) const {
231
   if(m_pcurve) {
3,313✔
232
      const auto& k = EC_Scalar_Data_PC::checked_ref(scalar);
1,693✔
233
      auto gk_x_mod_order = m_pcurve->base_point_mul_x_mod_order(k.value(), rng);
1,693✔
234
      return std::make_unique<EC_Scalar_Data_PC>(shared_from_this(), gk_x_mod_order);
1,693✔
235
   } else {
1,693✔
236
#if defined(BOTAN_HAS_LEGACY_EC_POINT)
237
      const auto& k = EC_Scalar_Data_BN::checked_ref(scalar);
1,620✔
238
      BOTAN_STATE_CHECK(m_base_mult != nullptr);
1,620✔
239
      std::vector<BigInt> ws;
1,620✔
240
      const auto pt = m_base_mult->mul(k.value(), rng, m_order, ws);
1,620✔
241

242
      if(pt.is_zero()) {
3,240✔
243
         return std::make_unique<EC_Scalar_Data_BN>(shared_from_this(), BigInt::zero());
×
244
      } else {
245
         return std::make_unique<EC_Scalar_Data_BN>(shared_from_this(), m_mod_order.reduce(pt.get_affine_x()));
1,620✔
246
      }
247
#else
248
      throw Not_Implemented("Legacy EC interfaces disabled in this build configuration");
249
#endif
250
   }
1,620✔
251
}
252

253
std::unique_ptr<EC_Scalar_Data> EC_Group_Data::scalar_deserialize(std::span<const uint8_t> bytes) const {
68,700✔
254
   if(bytes.size() != m_order_bytes) {
68,700✔
255
      return nullptr;
5,862✔
256
   }
257

258
   if(m_pcurve) {
62,838✔
259
      if(auto s = m_pcurve->deserialize_scalar(bytes)) {
46,965✔
260
         return std::make_unique<EC_Scalar_Data_PC>(shared_from_this(), *s);
44,752✔
261
      } else {
262
         return nullptr;
2,213✔
263
      }
46,965✔
264
   } else {
265
#if defined(BOTAN_HAS_LEGACY_EC_POINT)
266
      BigInt r(bytes);
15,873✔
267

268
      if(r.is_zero() || r >= m_order) {
31,746✔
269
         return nullptr;
685✔
270
      }
271

272
      return std::make_unique<EC_Scalar_Data_BN>(shared_from_this(), std::move(r));
15,188✔
273
#else
274
      throw Not_Implemented("Legacy EC interfaces disabled in this build configuration");
275
#endif
276
   }
15,873✔
277
}
278

279
std::unique_ptr<EC_AffinePoint_Data> EC_Group_Data::point_deserialize(std::span<const uint8_t> bytes) const {
44,553✔
280
   // The deprecated "hybrid" point format
281
   // TODO(Botan4) remove this
282
   if(bytes.size() >= 1 + 2 * 4 && (bytes[0] == 0x06 || bytes[0] == 0x07)) {
44,553✔
283
      bool hdr_y_is_even = bytes[0] == 0x06;
207✔
284
      bool y_is_even = (bytes.back() & 0x01) == 0;
207✔
285

286
      if(hdr_y_is_even == y_is_even) {
207✔
287
         std::vector<uint8_t> sec1(bytes.begin(), bytes.end());
147✔
288
         sec1[0] = 0x04;
147✔
289
         return this->point_deserialize(sec1);
147✔
290
      }
147✔
291
   }
292

293
   try {
44,406✔
294
      if(m_pcurve) {
44,406✔
295
         if(auto pt = m_pcurve->deserialize_point(bytes)) {
33,028✔
296
            return std::make_unique<EC_AffinePoint_Data_PC>(shared_from_this(), std::move(*pt));
26,911✔
297
         } else {
298
            return {};
6,117✔
299
         }
33,028✔
300
      } else {
301
#if defined(BOTAN_HAS_LEGACY_EC_POINT)
302
         auto pt = Botan::OS2ECP(bytes, m_curve);
11,378✔
303
         return std::make_unique<EC_AffinePoint_Data_BN>(shared_from_this(), std::move(pt));
11,119✔
304
#else
305
         throw Not_Implemented("Legacy EC interfaces disabled in this build configuration");
306
#endif
307
      }
11,119✔
308
   } catch(...) {
259✔
309
      return {};
259✔
310
   }
259✔
311
}
312

313
namespace {
314

315
std::function<void(std::span<uint8_t>)> h2c_expand_message(std::string_view hash_fn,
59✔
316
                                                           std::span<const uint8_t> input,
317
                                                           std::span<const uint8_t> domain_sep) {
318
   /*
319
   * This could be extended to support expand_message_xof or a MHF like Argon2
320
   */
321

322
   if(hash_fn.starts_with("SHAKE")) {
59✔
323
      throw Not_Implemented("Hash to curve currently does not support expand_message_xof");
×
324
   }
325

326
   return [=](std::span<uint8_t> uniform_bytes) {
174✔
327
#if defined(BOTAN_HAS_XMD)
328
      expand_message_xmd(hash_fn, uniform_bytes, input, domain_sep);
56✔
329
#else
330
      BOTAN_UNUSED(hash_fn, uniform_bytes, input, domain_sep);
331
      throw Not_Implemented("Hash to curve is not implemented due to XMD being disabled");
332
#endif
333
   };
59✔
334
}
335

336
}  // namespace
337

338
std::unique_ptr<EC_AffinePoint_Data> EC_Group_Data::point_hash_to_curve_ro(std::string_view hash_fn,
25✔
339
                                                                           std::span<const uint8_t> input,
340
                                                                           std::span<const uint8_t> domain_sep) const {
341
   if(m_pcurve) {
25✔
342
      auto pt = m_pcurve->hash_to_curve_ro(h2c_expand_message(hash_fn, input, domain_sep));
25✔
343
      return std::make_unique<EC_AffinePoint_Data_PC>(shared_from_this(), m_pcurve->point_to_affine(pt));
25✔
344
   } else {
25✔
345
      throw Not_Implemented("Hash to curve is not implemented for this curve");
×
346
   }
347
}
348

349
std::unique_ptr<EC_AffinePoint_Data> EC_Group_Data::point_hash_to_curve_nu(std::string_view hash_fn,
34✔
350
                                                                           std::span<const uint8_t> input,
351
                                                                           std::span<const uint8_t> domain_sep) const {
352
   if(m_pcurve) {
34✔
353
      auto pt = m_pcurve->hash_to_curve_nu(h2c_expand_message(hash_fn, input, domain_sep));
37✔
354
      return std::make_unique<EC_AffinePoint_Data_PC>(shared_from_this(), std::move(pt));
31✔
355
   } else {
31✔
356
      throw Not_Implemented("Hash to curve is not implemented for this curve");
×
357
   }
358
}
359

360
std::unique_ptr<EC_AffinePoint_Data> EC_Group_Data::point_g_mul(const EC_Scalar_Data& scalar,
15,370✔
361
                                                                RandomNumberGenerator& rng) const {
362
   if(m_pcurve) {
15,370✔
363
      const auto& k = EC_Scalar_Data_PC::checked_ref(scalar);
7,980✔
364
      auto pt = m_pcurve->point_to_affine(m_pcurve->mul_by_g(k.value(), rng));
7,980✔
365
      return std::make_unique<EC_AffinePoint_Data_PC>(shared_from_this(), std::move(pt));
7,980✔
366
   } else {
7,980✔
367
#if defined(BOTAN_HAS_LEGACY_EC_POINT)
368
      const auto& group = scalar.group();
7,390✔
369
      const auto& bn = EC_Scalar_Data_BN::checked_ref(scalar);
7,390✔
370

371
      BOTAN_STATE_CHECK(group->m_base_mult != nullptr);
7,390✔
372
      std::vector<BigInt> ws;
7,390✔
373
      auto pt = group->m_base_mult->mul(bn.value(), rng, m_order, ws);
7,390✔
374
      return std::make_unique<EC_AffinePoint_Data_BN>(shared_from_this(), std::move(pt));
7,390✔
375
#else
376
      throw Not_Implemented("Legacy EC interfaces disabled in this build configuration");
377
#endif
378
   }
7,390✔
379
}
380

381
std::unique_ptr<EC_AffinePoint_Data> EC_Group_Data::mul_px_qy(const EC_AffinePoint_Data& p,
3,472✔
382
                                                              const EC_Scalar_Data& x,
383
                                                              const EC_AffinePoint_Data& q,
384
                                                              const EC_Scalar_Data& y,
385
                                                              RandomNumberGenerator& rng) const {
386
   if(m_pcurve) {
3,472✔
387
      auto pt = m_pcurve->mul_px_qy(EC_AffinePoint_Data_PC::checked_ref(p).value(),
5,208✔
388
                                    EC_Scalar_Data_PC::checked_ref(x).value(),
2,604✔
389
                                    EC_AffinePoint_Data_PC::checked_ref(q).value(),
2,604✔
390
                                    EC_Scalar_Data_PC::checked_ref(y).value(),
2,604✔
391
                                    rng);
2,604✔
392

393
      if(pt) {
2,604✔
394
         return std::make_unique<EC_AffinePoint_Data_PC>(shared_from_this(), m_pcurve->point_to_affine(*pt));
2,520✔
395
      } else {
396
         return nullptr;
84✔
397
      }
398
   } else {
2,604✔
399
#if defined(BOTAN_HAS_LEGACY_EC_POINT)
400
      std::vector<BigInt> ws;
868✔
401
      const auto& group = p.group();
868✔
402

403
      // TODO this could be better!
404
      EC_Point_Var_Point_Precompute p_mul(p.to_legacy_point(), rng, ws);
868✔
405
      EC_Point_Var_Point_Precompute q_mul(q.to_legacy_point(), rng, ws);
868✔
406

407
      const auto order = group->order() * group->cofactor();  // See #3800
868✔
408

409
      auto px = p_mul.mul(EC_Scalar_Data_BN::checked_ref(x).value(), rng, order, ws);
868✔
410
      auto qy = q_mul.mul(EC_Scalar_Data_BN::checked_ref(y).value(), rng, order, ws);
868✔
411

412
      auto px_qy = px + qy;
868✔
413

414
      if(!px_qy.is_zero()) {
1,624✔
415
         px_qy.force_affine();
756✔
416
         return std::make_unique<EC_AffinePoint_Data_BN>(shared_from_this(), std::move(px_qy));
756✔
417
      } else {
418
         return nullptr;
112✔
419
      }
420
#else
421
      throw Not_Implemented("Legacy EC interfaces disabled in this build configuration");
422
#endif
423
   }
2,604✔
424
}
425

426
std::unique_ptr<EC_AffinePoint_Data> EC_Group_Data::affine_add(const EC_AffinePoint_Data& p,
7,754✔
427
                                                               const EC_AffinePoint_Data& q) const {
428
   if(m_pcurve) {
7,754✔
429
      auto pt = m_pcurve->point_add(EC_AffinePoint_Data_PC::checked_ref(p).value(),
5,046✔
430
                                    EC_AffinePoint_Data_PC::checked_ref(q).value());
5,046✔
431

432
      return std::make_unique<EC_AffinePoint_Data_PC>(shared_from_this(), m_pcurve->point_to_affine(pt));
5,045✔
433
   } else {
5,045✔
434
#if defined(BOTAN_HAS_LEGACY_EC_POINT)
435
      auto pt = p.to_legacy_point() + q.to_legacy_point();
2,708✔
436
      return std::make_unique<EC_AffinePoint_Data_BN>(shared_from_this(), std::move(pt));
2,708✔
437
#else
438
      throw Not_Implemented("Legacy EC interfaces disabled in this build configuration");
439
#endif
440
   }
2,708✔
441
}
442

443
std::unique_ptr<EC_AffinePoint_Data> EC_Group_Data::affine_neg(const EC_AffinePoint_Data& p) const {
9,512✔
444
   if(m_pcurve) {
9,512✔
445
      auto pt = m_pcurve->point_negate(EC_AffinePoint_Data_PC::checked_ref(p).value());
6,312✔
446
      return std::make_unique<EC_AffinePoint_Data_PC>(shared_from_this(), pt);
6,312✔
447
   } else {
6,312✔
448
#if defined(BOTAN_HAS_LEGACY_EC_POINT)
449
      auto pt = p.to_legacy_point();
3,200✔
450
      pt.negate();  // negates in place
3,200✔
451
      return std::make_unique<EC_AffinePoint_Data_BN>(shared_from_this(), std::move(pt));
3,200✔
452
#else
453
      throw Not_Implemented("Legacy EC interfaces disabled in this build configuration");
454
#endif
455
   }
3,200✔
456
}
457

458
std::unique_ptr<EC_Mul2Table_Data> EC_Group_Data::make_mul2_table(const EC_AffinePoint_Data& h) const {
13,253✔
459
   if(m_pcurve) {
13,253✔
460
      return std::make_unique<EC_Mul2Table_Data_PC>(h);
11,173✔
461
   } else {
462
#if defined(BOTAN_HAS_LEGACY_EC_POINT)
463
      EC_AffinePoint_Data_BN g(shared_from_this(), this->base_point());
4,160✔
464
      return std::make_unique<EC_Mul2Table_Data_BN>(g, h);
2,080✔
465
#else
466
      throw Not_Implemented("Legacy EC interfaces disabled in this build configuration");
467
#endif
468
   }
2,080✔
469
}
470

471
}  // namespace Botan
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