engines/ccgost/gost_pmeth.c:308: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `pack_sign_cp`.
Showing all 10 steps of the trace


engines/ccgost/gost_pmeth.c:303:17: Call
301.   		return 1;
302.   		}	
303.   	unpacked_sig = gost_do_sign(tbs,tbs_len,EVP_PKEY_get0(pkey));
                       ^
304.   	if (!unpacked_sig)
305.   		{

engines/ccgost/gost_sign.c:51:1: Parameter `dsa->q->top`
  49.    * Computes signature and returns it as DSA_SIG structure
  50.    */
  51. > DSA_SIG *gost_do_sign(const unsigned char *dgst,int dlen, DSA *dsa)
  52.   	{
  53.   	BIGNUM *k=NULL,*tmp=NULL,*tmp2=NULL;

engines/ccgost/gost_pmeth.c:308:9: Call
306.   		return 0;
307.   		}
308.   	return pack_sign_cp(unpacked_sig,32,sig,siglen);
               ^
309.   	}
310.   

engines/ccgost/gost_sign.c:119:1: Parameter `s->s->top`
  117.    * and frees up DSA_SIG structure
  118.    */
  119. > int pack_sign_cp(DSA_SIG *s,int order,unsigned char *sig, size_t *siglen)
  120.   	{
  121.   	*siglen = 2*order;

engines/ccgost/gost_sign.c:123:2: Call
  121.   	*siglen = 2*order;
  122.   	memset(sig,0,*siglen);
  123.   	store_bignum(s->s, sig, order);
          ^
  124.   	store_bignum(s->r, sig+order,order);
  125.   	dump_signature("serialized",sig,*siglen);

engines/ccgost/gost_sign.c:314:1: Parameter `bn->top`
    312.   /* Pack bignum into byte buffer of given size, filling all leading bytes
    313.    * by zeros */
    314. > int store_bignum(BIGNUM *bn, unsigned char *buf,int len)
    315.   	{
    316.   	int bytes = BN_num_bytes(bn);

engines/ccgost/gost_sign.c:316:14: Call
    314.   int store_bignum(BIGNUM *bn, unsigned char *buf,int len)
    315.   	{
    316.   	int bytes = BN_num_bytes(bn);
                        ^
    317.   	if (bytes>len) return 0;
    318.   	memset(buf,0,len);

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