ssl/d1_srvr.c:436: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 10):unsigned64 by call to `ssl3_send_server_certificate`.
Showing all 13 steps of the trace


ssl/d1_srvr.c:156:1: Parameter `s->init_buf->length`
154.   			DTLSv1_2_enc_data)
155.   
156. > int dtls1_accept(SSL *s)
157.   	{
158.   	BUF_MEM *buf;

ssl/d1_srvr.c:436:9: Call
434.   				{
435.   				dtls1_start_timer(s);
436.   				ret=ssl3_send_server_certificate(s);
               ^
437.   				if (ret <= 0) goto end;
438.   #ifndef OPENSSL_NO_TLSEXT

ssl/s3_srvr.c:3355:1: Parameter `s->init_buf->length`
  3353.   	}
  3354.   
  3355. > int ssl3_send_server_certificate(SSL *s)
  3356.   	{
  3357.   	CERT_PKEY *cpk;

ssl/s3_srvr.c:3373:3: Call
  3371.   			}
  3372.   
  3373.   		ssl3_output_cert_chain(s,cpk);
            ^
  3374.   		s->state=SSL3_ST_SW_CERT_B;
  3375.   		}

ssl/s3_both.c:317:1: Parameter `s->init_buf->length`
    315.   	}
    316.   
    317. > unsigned long ssl3_output_cert_chain(SSL *s, CERT_PKEY *cpk)
    318.   	{
    319.   	unsigned char *p;

ssl/s3_both.c:322:7: Call
    320.   	unsigned long l = 3 + SSL_HM_HEADER_LENGTH(s);
    321.   
    322.   	if (!ssl_add_cert_chain(s, cpk, &l))
                 ^
    323.   		return 0;
    324.   

ssl/ssl_cert.c:1053:1: Parameter `s->init_buf->length`
      1051.   
      1052.   /* Add certificate chain to internal SSL BUF_MEM strcuture */
      1053. > int ssl_add_cert_chain(SSL *s, CERT_PKEY *cpk, unsigned long *l)
      1054.   	{
      1055.   	BUF_MEM *buf = s->init_buf;

ssl/ssl_cert.c:1087:7: Call
      1085.   
      1086.   	/* TLSv1 sends a chain with nothing in it, instead of an alert */
      1087.   	if (!BUF_MEM_grow_clean(buf,10))
                    ^
      1088.   		{
      1089.   		SSLerr(SSL_F_SSL_ADD_CERT_CHAIN,ERR_R_BUF_LIB);

crypto/buffer/buffer.c:139:1: <LHS trace>
137.   	}
138.   
139. > int BUF_MEM_grow_clean(BUF_MEM *str, size_t len)
140.   	{
141.   	char *ret;

crypto/buffer/buffer.c:139:1: Parameter `len`
        137.   	}
        138.   
        139. > int BUF_MEM_grow_clean(BUF_MEM *str, size_t len)
        140.   	{
        141.   	char *ret;

crypto/buffer/buffer.c:139:1: <RHS trace>
137.   	}
138.   
139. > int BUF_MEM_grow_clean(BUF_MEM *str, size_t len)
140.   	{
141.   	char *ret;

crypto/buffer/buffer.c:139:1: Parameter `len`
        137.   	}
        138.   
        139. > int BUF_MEM_grow_clean(BUF_MEM *str, size_t len)
        140.   	{
        141.   	char *ret;

crypto/buffer/buffer.c:146:3: Binary operation: ([0, +oo] - 10):unsigned64 by call to `ssl3_send_server_certificate` 
        144.   	if (str->length >= len)
        145.   		{
        146.   		memset(&str->data[len],0,str->length-len);
                 ^
        147.   		str->length=len;
        148.   		return(len);
