engines/ccgost/gost_sign.c:246: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `gost94_compute_public`.
Showing all 15 steps of the trace


engines/ccgost/gost_sign.c:245:2: Call
243.   	{
244.   	dsa->priv_key = BN_new();
245.   	BN_rand_range(dsa->priv_key,dsa->q);
        ^
246.   	return gost94_compute_public( dsa);
247.   	}

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)

engines/ccgost/gost_sign.c:246:9: Call
244.   	dsa->priv_key = BN_new();
245.   	BN_rand_range(dsa->priv_key,dsa->q);
246.   	return gost94_compute_public( dsa);
               ^
247.   	}
248.   

engines/ccgost/gost_sign.c:194:1: Parameter `dsa->priv_key->top`
  192.    *
  193.    */
  194. > int gost94_compute_public(DSA *dsa)
  195.   	{
  196.   	/* Now fill algorithm parameters with correct values */

engines/ccgost/gost_sign.c:205:2: Call
  203.   	/* Compute public key  y = a^x mod p */
  204.   	dsa->pub_key=BN_new();
  205.   	BN_mod_exp(dsa->pub_key, dsa->g,dsa->priv_key,dsa->p,ctx);
          ^
  206.   	BN_CTX_free(ctx);
  207.   	return 1;

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:223:8: Call
    221.   		else
    222.   #  endif
    223.   			ret=BN_mod_exp_mont(r,a,p,m,ctx,NULL);
                  ^
    224.   		}
    225.   	else

crypto/bn/bn_exp.c:371:1: Parameter `p->top`
      369.   
      370.   
      371. > int BN_mod_exp_mont(BIGNUM *rr, const BIGNUM *a, const BIGNUM *p,
      372.   		    const BIGNUM *m, BN_CTX *ctx, BN_MONT_CTX *in_mont)
      373.   	{

crypto/bn/bn_exp.c:384:10: Call
      382.   	if (BN_get_flags(p, BN_FLG_CONSTTIME) != 0)
      383.   		{
      384.   		return BN_mod_exp_mont_consttime(rr, a, p, m, ctx, in_mont);
                      ^
      385.   		}
      386.   

crypto/bn/bn_exp.c:574:1: Parameter `p->top`
        572.    * http://www.daemonology.net/hyperthreading-considered-harmful/)
        573.    */
        574. > int BN_mod_exp_mont_consttime(BIGNUM *rr, const BIGNUM *a, const BIGNUM *p,
        575.   		    const BIGNUM *m, BN_CTX *ctx, BN_MONT_CTX *in_mont)
        576.   	{

crypto/bn/bn_exp.c:600:7: Call
        598.   		return(0);
        599.   		}
        600.   	bits=BN_num_bits(p);
                     ^
        601.   	if (bits == 0)
        602.   		{

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