crypto/dsa/dsa_gen.c:137: error: INTEGER_OVERFLOW_L1
  (20 - 64):unsigned64 by call to `SHA1`.
Showing all 8 steps of the trace


crypto/dsa/dsa_gen.c:137:4: Call
135.   
136.   			/* step 2 */
137.   			HASH(seed,SHA_DIGEST_LENGTH,md);
          ^
138.   			HASH(buf,SHA_DIGEST_LENGTH,buf2);
139.   			for (i=0; i<SHA_DIGEST_LENGTH; i++)

crypto/sha/sha1_one.c:64:1: Parameter `n`
  62.   
  63.   #ifndef NO_SHA1
  64. > unsigned char *SHA1(const unsigned char *d, unsigned long n, unsigned char *md)
  65.   	{
  66.   	SHA_CTX c;

crypto/sha/sha1_one.c:71:2: Call
  69.   	if (md == NULL) md=m;
  70.   	SHA1_Init(&c);
  71.   	SHA1_Update(&c,d,n);
         ^
  72.   	SHA1_Final(md,&c);
  73.   	memset(&c,0,sizeof(c));

crypto/sha/sha1dgst.c:117:1: <LHS trace>
115.   	}
116.   
117. > void SHA1_Update(SHA_CTX *c, const register unsigned char *data,
118.   	     unsigned long len)
119.   	{

crypto/sha/sha1dgst.c:117:1: Parameter `len`
    115.   	}
    116.   
    117. > void SHA1_Update(SHA_CTX *c, const register unsigned char *data,
    118.   	     unsigned long len)
    119.   	{

crypto/sha/sha1dgst.c:117:1: <RHS trace>
115.   	}
116.   
117. > void SHA1_Update(SHA_CTX *c, const register unsigned char *data,
118.   	     unsigned long len)
119.   	{

crypto/sha/sha1dgst.c:117:1: Parameter `len`
    115.   	}
    116.   
    117. > void SHA1_Update(SHA_CTX *c, const register unsigned char *data,
    118.   	     unsigned long len)
    119.   	{

crypto/sha/sha1dgst.c:148:4: Binary operation: (20 - 64):unsigned64 by call to `SHA1` 
    146.   				p[sw]=l;
    147.   				}
    148.   			len-=(SHA_CBLOCK-c->num);
              ^
    149.   
    150.   			sha1_block(c,p,64);
