Skip to content

Commit

Permalink
upstream: fix some integer overflows in sieve_large() that show up when
Browse files Browse the repository at this point in the history
trying to generate modp groups > 16k bits. Reported via GHPR#306 by Bertram
Felgenhauer, but fixed in a different way. feedback/ok tb@

OpenBSD-Commit-ID: 81cbc6dd3a21c57bd6fadea10e44afe37bca558e
  • Loading branch information
djmdjm committed May 1, 2022
1 parent a45615c commit 0bc6b4c
Showing 1 changed file with 7 additions and 7 deletions.
14 changes: 7 additions & 7 deletions moduli.c
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
/* $OpenBSD: moduli.c,v 1.37 2019/11/15 06:00:20 djm Exp $ */
/* $OpenBSD: moduli.c,v 1.38 2022/05/01 23:20:30 djm Exp $ */
/*
* Copyright 1994 Phil Karn <[email protected]>
* Copyright 1996-1998, 2003 William Allen Simpson <[email protected]>
Expand Down Expand Up @@ -184,20 +184,20 @@ qfileout(FILE * ofile, u_int32_t otype, u_int32_t otests, u_int32_t otries,
** Sieve p's and q's with small factors
*/
static void
sieve_large(u_int32_t s)
sieve_large(u_int32_t s32)
{
u_int32_t r, u;
u_int64_t r, u, s = s32;

debug3("sieve_large %u", s);
debug3("sieve_large %u", s32);
largetries++;
/* r = largebase mod s */
r = BN_mod_word(largebase, s);
r = BN_mod_word(largebase, s32);
if (r == 0)
u = 0; /* s divides into largebase exactly */
else
u = s - r; /* largebase+u is first entry divisible by s */

if (u < largebits * 2) {
if (u < largebits * 2ULL) {
/*
* The sieve omits p's and q's divisible by 2, so ensure that
* largebase+u is odd. Then, step through the sieve in
Expand All @@ -218,7 +218,7 @@ sieve_large(u_int32_t s)
else
u = s - r; /* p+u is first entry divisible by s */

if (u < largebits * 4) {
if (u < largebits * 4ULL) {
/*
* The sieve omits p's divisible by 4, so ensure that
* largebase+u is not. Then, step through the sieve in
Expand Down

0 comments on commit 0bc6b4c

Please sign in to comment.