ssl/d1_srvr.c:353: error: INTEGER_OVERFLOW_L2
  ([0, `s->cert->pkeys[*].privatekey->pkey.rsa->n->top`] - 1):unsigned64 by call to `dtls1_send_server_key_exchange`.
Showing all 11 steps of the trace


ssl/d1_srvr.c:145:1: Parameter `s->cert->pkeys[*].privatekey->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:353:9: Call
351.   			    )
352.   				{
353.   				ret=dtls1_send_server_key_exchange(s);
               ^
354.   				if (ret <= 0) goto end;
355.   				}

ssl/d1_srvr.c:765:1: Parameter `s->cert->pkeys[*].privatekey->pkey.rsa->n->top`
  763.   	}
  764.   
  765. > int dtls1_send_server_key_exchange(SSL *s)
  766.   	{
  767.   #ifndef OPENSSL_NO_RSA

ssl/d1_srvr.c:950:9: Call
  948.   					j+=i;
  949.   					}
  950.   				if (RSA_sign(NID_md5_sha1, md_buf, j,
                 ^
  951.   					&(p[2]), &u, pkey->pkey.rsa) <= 0)
  952.   					{

crypto/rsa/rsa_sign.c:70:1: Parameter `rsa->n->top`
    68.   #define SSL_SIG_LENGTH	36
    69.   
    70. > int RSA_sign(int type, const unsigned char *m, unsigned int m_len,
    71.   	     unsigned char *sigret, unsigned int *siglen, RSA *rsa)
    72.   	{

crypto/rsa/rsa_sign.c:116:4: Call
    114.   		i=i2d_X509_SIG(&sig,NULL);
    115.   	}
    116.   	j=RSA_size(rsa);
              ^
    117.   	if (i > (j-RSA_PKCS1_PADDING_SIZE))
    118.   		{

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->cert->pkeys[*].privatekey->pkey.rsa->n->top] - 1):unsigned64 by call to `dtls1_send_server_key_exchange` 
        248.   int BN_num_bits(const BIGNUM *a)
        249.   	{
        250.   	int i = a->top - 1;
                ^
        251.   	bn_check_top(a);
        252.   
