ssl/d1_srvr.c:464: error: INTEGER_OVERFLOW_L2
  ([0, `s->session->peer->cert_info->key->pkey->pkey.rsa->n->top`] - 1):unsigned64 by call to `ssl3_get_cert_verify`.
Showing all 13 steps of the trace


ssl/d1_srvr.c:145:1: Parameter `s->session->peer->cert_info->key->pkey->pkey.rsa->n->top`
143.   			dtls1_get_server_method)
144.   
145. > int dtls1_accept(SSL *s)
146.   	{
147.   	BUF_MEM *buf;

ssl/d1_srvr.c:464:8: Call
462.   
463.   			/* we should decide if we expected this one */
464.   			ret=ssl3_get_cert_verify(s);
              ^
465.   			if (ret <= 0) goto end;
466.   

ssl/s3_srvr.c:2479:1: Parameter `s->session->peer->cert_info->key->pkey->pkey.rsa->n->top`
  2477.   	}
  2478.   
  2479. > int ssl3_get_cert_verify(SSL *s)
  2480.   	{
  2481.   	EVP_PKEY *pkey=NULL;

ssl/s3_srvr.c:2575:5: Call
  2573.   	if (pkey->type == EVP_PKEY_RSA)
  2574.   		{
  2575.   		i=RSA_verify(NID_md5_sha1, s->s3->tmp.cert_verify_md,
              ^
  2576.   			MD5_DIGEST_LENGTH+SHA_DIGEST_LENGTH, p, i, 
  2577.   							pkey->pkey.rsa);

crypto/rsa/rsa_sign.c:273:1: Parameter `rsa->n->top`
    271.   	}
    272.   
    273. > int RSA_verify(int dtype, const unsigned char *m, unsigned int m_len,
    274.   		const unsigned char *sigbuf, unsigned int siglen,
    275.   		RSA *rsa)

crypto/rsa/rsa_sign.c:284:9: Call
    282.   		}
    283.   
    284.   	return int_rsa_verify(dtype, m, m_len, NULL, NULL, sigbuf, siglen, rsa);
                   ^
    285.   	}

crypto/rsa/rsa_sign.c:146:1: Parameter `rsa->n->top`
      144.   	}
      145.   
      146. > int int_rsa_verify(int dtype, const unsigned char *m,
      147.   			  unsigned int m_len,
      148.   			  unsigned char *rm, size_t *prm_len,

crypto/rsa/rsa_sign.c:156:30: Call
      154.   	X509_SIG *sig=NULL;
      155.   
      156.   	if (siglen != (unsigned int)RSA_size(rsa))
                                          ^
      157.   		{
      158.   		RSAerr(RSA_F_INT_RSA_VERIFY,RSA_R_WRONG_SIGNATURE_LENGTH);

crypto/rsa/rsa_lib.c:274:1: Parameter `r->n->top`
        272.   	}
        273.   
        274. > int RSA_size(const RSA *r)
        275.   	{
        276.   	return(BN_num_bytes(r->n));

crypto/rsa/rsa_lib.c:276:9: Call
        274.   int RSA_size(const RSA *r)
        275.   	{
        276.   	return(BN_num_bytes(r->n));
                       ^
        277.   	}
        278.   

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, s->session->peer->cert_info->key->pkey->pkey.rsa->n->top] - 1):unsigned64 by call to `ssl3_get_cert_verify` 
          248.   int BN_num_bits(const BIGNUM *a)
          249.   	{
          250.   	int i = a->top - 1;
                  ^
          251.   	bn_check_top(a);
          252.   
