crypto/rand/md_rand.c:308: error: INTEGER_OVERFLOW_L2
  ([1, +oo] - [-oo, 316]):unsigned64 by call to `MD5_Update`.
Showing all 9 steps of the trace


crypto/rand/md_rand.c:220:1: Global `state_index`
218.   	}
219.   
220. > static void ssleay_rand_bytes(unsigned char *buf, int num)
221.   	{
222.   	int i,j,k,st_num,st_idx;

crypto/rand/md_rand.c:286:2: Assignment
284.   		}
285.   
286.   	st_idx=state_index;
        ^
287.   	st_num=state_num;
288.   	state_index+=num;

crypto/rand/md_rand.c:304:3: Assignment
302.   		MD_Update(&m,buf,j); /* purify complains */
303.   #endif
304.   		k=(st_idx+j)-st_num;
         ^
305.   		if (k > 0)
306.   			{

crypto/rand/md_rand.c:308:4: Call
306.   			{
307.   			MD_Update(&m,&(state[st_idx]),j-k);
308.   			MD_Update(&m,&(state[0]),k);
          ^
309.   			}
310.   		else

crypto/md5/md5_dgst.c:100:1: <LHS trace>
98.   	}
99.   
100. > void MD5_Update(MD5_CTX *c, const void *_data, unsigned long len)
101.   	{
102.   	register const unsigned char *data=_data;

crypto/md5/md5_dgst.c:100:1: Parameter `len`
  98.   	}
  99.   
  100. > void MD5_Update(MD5_CTX *c, const void *_data, unsigned long len)
  101.   	{
  102.   	register const unsigned char *data=_data;

crypto/md5/md5_dgst.c:100:1: <RHS trace>
98.   	}
99.   
100. > void MD5_Update(MD5_CTX *c, const void *_data, unsigned long len)
101.   	{
102.   	register const unsigned char *data=_data;

crypto/md5/md5_dgst.c:100:1: Parameter `len`
  98.   	}
  99.   
  100. > void MD5_Update(MD5_CTX *c, const void *_data, unsigned long len)
  101.   	{
  102.   	register const unsigned char *data=_data;

crypto/md5/md5_dgst.c:133:4: Binary operation: ([1, +oo] - [-oo, 316]):unsigned64 by call to `MD5_Update` 
  131.   				p[sw]=l;
  132.   				}
  133.   			len-=(MD5_CBLOCK-c->num);
            ^
  134.   
  135.   			md5_block(c,p,64);
