ssl/s23_srvr.c:203: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 16383):unsigned64 by call to `ssl23_get_client_hello`.
Showing all 9 steps of the trace


ssl/s23_srvr.c:140:1: Parameter `s->init_buf->length`
138.   			ssl23_get_server_method)
139.   
140. > int ssl23_accept(SSL *s)
141.   	{
142.   	BUF_MEM *buf;

ssl/s23_srvr.c:203:8: Call
201.   
202.   			s->shutdown=0;
203.   			ret=ssl23_get_client_hello(s);
              ^
204.   			if (ret >= 0) cb=NULL;
205.   			goto end;

ssl/s23_srvr.c:231:1: Parameter `s->init_buf->length`
  229.   
  230.   
  231. > int ssl23_get_client_hello(SSL *s)
  232.   	{
  233.   	char buf_space[11]; /* Request this many bytes in initial read.

ssl/s23_srvr.c:505:8: Call
  503.   		if (s->s3 != NULL) ssl3_free(s);
  504.   
  505.   		if (!BUF_MEM_grow_clean(s->init_buf,
                ^
  506.   			SSL2_MAX_RECORD_LENGTH_3_BYTE_HEADER))
  507.   			{

crypto/buffer/buffer.c:128:1: <LHS trace>
126.   	}
127.   
128. > int BUF_MEM_grow_clean(BUF_MEM *str, size_t len)
129.   	{
130.   	char *ret;

crypto/buffer/buffer.c:128:1: Parameter `len`
    126.   	}
    127.   
    128. > int BUF_MEM_grow_clean(BUF_MEM *str, size_t len)
    129.   	{
    130.   	char *ret;

crypto/buffer/buffer.c:128:1: <RHS trace>
126.   	}
127.   
128. > int BUF_MEM_grow_clean(BUF_MEM *str, size_t len)
129.   	{
130.   	char *ret;

crypto/buffer/buffer.c:128:1: Parameter `len`
    126.   	}
    127.   
    128. > int BUF_MEM_grow_clean(BUF_MEM *str, size_t len)
    129.   	{
    130.   	char *ret;

crypto/buffer/buffer.c:135:3: Binary operation: ([0, +oo] - 16383):unsigned64 by call to `ssl23_get_client_hello` 
    133.   	if (str->length >= len)
    134.   		{
    135.   		memset(&str->data[len],0,str->length-len);
             ^
    136.   		str->length=len;
    137.   		return(len);
