crypto/jpake/jpake.c:397: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `BN_mod_exp`.
Showing all 12 steps of the trace


crypto/jpake/jpake.c:395:5: Call
393.       * t1 = xa + xb
394.       */
395.       BN_mod_add(t1, ctx->xa, ctx->xb, ctx->p.q, ctx->ctx);
           ^
396.      /* t2 = g^{t1} = g^{xa+xb} */
397.       BN_mod_exp(t2, ctx->p.g, t1, ctx->p.p, ctx->ctx);

crypto/bn/bn_mod.c:143:7: Call
  141.   int BN_mod_add(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, const BIGNUM *m, BN_CTX *ctx)
  142.   	{
  143.   	if (!BN_add(r, a, b)) return 0;
               ^
  144.   	return BN_nnmod(r, r, m, ctx);
  145.   	}

crypto/bn/bn_add.c:87:9: Call
    85.   		if (BN_ucmp(a,b) < 0)
    86.   			{
    87.   			if (!BN_usub(r,b,a)) return(0);
                  ^
    88.   			r->neg=1;
    89.   			}

crypto/bn/bn_add.c:166:1: Parameter `r->top`
      164.   
      165.   /* unsigned subtraction of b from a, a must be larger than b. */
      166. > int BN_usub(BIGNUM *r, const BIGNUM *a, const BIGNUM *b)
      167.   	{
      168.   	size_t max,min,dif;

crypto/jpake/jpake.c:397:5: Call
395.       BN_mod_add(t1, ctx->xa, ctx->xb, ctx->p.q, ctx->ctx);
396.      /* t2 = g^{t1} = g^{xa+xb} */
397.       BN_mod_exp(t2, ctx->p.g, t1, ctx->p.p, ctx->ctx);
           ^
398.      /* t1 = g^{xc} * t2 = g^{xc + xa + xb} */
399.       BN_mod_mul(t1, ctx->p.gxc, t2, ctx->p.p, ctx->ctx);

crypto/bn/bn_exp.c:163:1: Parameter `p->top`
  161.   
  162.   
  163. > int BN_mod_exp(BIGNUM *r, const BIGNUM *a, const BIGNUM *p, const BIGNUM *m,
  164.   	       BN_CTX *ctx)
  165.   	{

crypto/bn/bn_exp.c:219:8: Call
  217.   			{
  218.   			BN_ULONG A = a->d[0];
  219.   			ret=BN_mod_exp_mont_word(r,A,p,m,ctx,NULL);
                ^
  220.   			}
  221.   		else

crypto/bn/bn_exp.c:727:1: Parameter `p->top`
    725.   	}
    726.   
    727. > int BN_mod_exp_mont_word(BIGNUM *rr, BN_ULONG a, const BIGNUM *p,
    728.                            const BIGNUM *m, BN_CTX *ctx, BN_MONT_CTX *in_mont)
    729.   	{

crypto/bn/bn_exp.c:769:9: Call
    767.   		a %= m->d[0]; /* make sure that 'a' is reduced */
    768.   
    769.   	bits = BN_num_bits(p);
                   ^
    770.   	if (bits == 0)
    771.   		{

crypto/bn/bn_lib.c:248:1: <LHS trace>
246.   	}
247.   
248. > int BN_num_bits(const BIGNUM *a)
249.   	{
250.   	int i = a->top - 1;

crypto/bn/bn_lib.c:248:1: Parameter `a->top`
      246.   	}
      247.   
      248. > int BN_num_bits(const BIGNUM *a)
      249.   	{
      250.   	int i = a->top - 1;

crypto/bn/bn_lib.c:250:2: Binary operation: ([0, +oo] - 1):unsigned64 by call to `BN_mod_exp` 
      248.   int BN_num_bits(const BIGNUM *a)
      249.   	{
      250.   	int i = a->top - 1;
              ^
      251.   	bn_check_top(a);
      252.   
