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


crypto/jpake/jpake.c:278:5: Call
276.   int JPAKE_STEP1_generate(JPAKE_STEP1 *send, JPAKE_CTX *ctx)
277.       {
278.       genrand(ctx);
           ^
279.       generate_step_part(&send->p1, ctx->xa, ctx->p.g, ctx);
280.       generate_step_part(&send->p2, ctx->xb, ctx->p.g, ctx);

crypto/jpake/jpake.c:268:5: Call
  266.   
  267.      /* ... and xb in [0, q-1) */
  268.       BN_rand_range(ctx->xb, qm1);
             ^
  269.      /* [1, q) */
  270.       BN_add_word(ctx->xb, 1);

crypto/bn/bn_rand.c:300:9: Call
    298.   int	BN_rand_range(BIGNUM *r, const BIGNUM *range)
    299.   	{
    300.   	return bn_rand_range(0, r, range);
                   ^
    301.   	}
    302.   

crypto/bn/bn_rand.c:230:1: Parameter `r->top`
      228.   
      229.   /* random number r:  0 <= r < range */
      230. > static int bn_rand_range(int pseudo, BIGNUM *r, const BIGNUM *range)
      231.   	{
      232.   	int (*bn_rand)(BIGNUM *, size_t, int, int)

crypto/jpake/jpake.c:270:5: Call
  268.       BN_rand_range(ctx->xb, qm1);
  269.      /* [1, q) */
  270.       BN_add_word(ctx->xb, 1);
             ^
  271.   
  272.      /* cleanup */

crypto/bn/bn_word.c:126:1: Parameter `a->top`
    124.   	}
    125.   
    126. > int BN_add_word(BIGNUM *a, BN_ULONG w)
    127.   	{
    128.   	BN_ULONG l;

crypto/jpake/jpake.c:280:5: Call
278.       genrand(ctx);
279.       generate_step_part(&send->p1, ctx->xa, ctx->p.g, ctx);
280.       generate_step_part(&send->p2, ctx->xb, ctx->p.g, ctx);
           ^
281.   
282.       return 1;

crypto/jpake/jpake.c:247:1: Parameter `x->top`
  245.       }    
  246.   
  247. > static void generate_step_part(JPAKE_STEP_PART *p, const BIGNUM *x,
  248.   			       const BIGNUM *g, JPAKE_CTX *ctx)
  249.       {

crypto/jpake/jpake.c:250:5: Call
  248.   			       const BIGNUM *g, JPAKE_CTX *ctx)
  249.       {
  250.       BN_mod_exp(p->gx, g, x, ctx->p.p, ctx->ctx);
             ^
  251.       generate_zkp(p, x, g, ctx);
  252.       }

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 `generate_step_part` 
        248.   int BN_num_bits(const BIGNUM *a)
        249.   	{
        250.   	int i = a->top - 1;
                ^
        251.   	bn_check_top(a);
        252.   
