ssl/s3_enc.c:102: error: INTEGER_OVERFLOW_L2
  ([1, +oo] - 64):unsigned64 by call to `SHA1_Update`.
Showing all 7 steps of the trace


ssl/s3_enc.c:97:3: Assignment
95.   	for (i=0; i<num; i+=MD5_DIGEST_LENGTH)
96.   		{
97.   		k++;
         ^
98.   		for (j=0; j<k; j++)
99.   			buf[j]=c;

ssl/s3_enc.c:102:3: Call
100.   		c++;
101.   		SHA1_Init(  &s1);
102.   		SHA1_Update(&s1,buf,k);
         ^
103.   		SHA1_Update(&s1,s->session->master_key,
104.   			s->session->master_key_length);

crypto/sha/sha1dgst.c:126:1: <LHS trace>
124.   	}
125.   
126. > void SHA1_Update(SHA_CTX *c, register unsigned char *data,
127.   	     unsigned long len)
128.   	{

crypto/sha/sha1dgst.c:126:1: Parameter `len`
  124.   	}
  125.   
  126. > void SHA1_Update(SHA_CTX *c, register unsigned char *data,
  127.   	     unsigned long len)
  128.   	{

crypto/sha/sha1dgst.c:126:1: <RHS trace>
124.   	}
125.   
126. > void SHA1_Update(SHA_CTX *c, register unsigned char *data,
127.   	     unsigned long len)
128.   	{

crypto/sha/sha1dgst.c:126:1: Parameter `len`
  124.   	}
  125.   
  126. > void SHA1_Update(SHA_CTX *c, register unsigned char *data,
  127.   	     unsigned long len)
  128.   	{

crypto/sha/sha1dgst.c:157:4: Binary operation: ([1, +oo] - 64):unsigned64 by call to `SHA1_Update` 
  155.   				p[sw]=l;
  156.   				}
  157.   			len-=(SHA_CBLOCK-c->num);
            ^
  158.   
  159.   			sha1_block(c,p,64);
