libtommath: Fix possible integer overflow CVE-2023-36328
[heimdal.git] / lib / hcrypto / libtommath / bn_mp_dr_is_modulus.c
blob83760eacca08d62d9c4d29acf71ee9c216f892ae
1 #include "tommath_private.h"
2 #ifdef BN_MP_DR_IS_MODULUS_C
3 /* LibTomMath, multiple-precision integer library -- Tom St Denis */
4 /* SPDX-License-Identifier: Unlicense */
6 /* determines if a number is a valid DR modulus */
7 mp_bool mp_dr_is_modulus(const mp_int *a)
9 int ix;
11 /* must be at least two digits */
12 if (a->used < 2) {
13 return MP_NO;
16 /* must be of the form b**k - a [a <= b] so all
17 * but the first digit must be equal to -1 (mod b).
19 for (ix = 1; ix < a->used; ix++) {
20 if (a->dp[ix] != MP_MASK) {
21 return MP_NO;
24 return MP_YES;
27 #endif