crypto/evp/bio_enc.c:201: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `EVP_CipherUpdate`.
Showing all 6 steps of the trace


crypto/evp/bio_enc.c:201:4: Call
199.   		else
200.   			{
201.   			EVP_CipherUpdate(&(ctx->cipher),
          ^
202.   				(unsigned char *)ctx->buf,&ctx->buf_len,
203.   				(unsigned char *)&(ctx->buf[BUF_OFFSET]),i);

crypto/evp/evp_enc.c:232:1: Parameter `ctx->cipher->block_size`
  230.   	}
  231.   
  232. > int EVP_CipherUpdate(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl,
  233.   		     const unsigned char *in, size_t inl)
  234.   	{

crypto/evp/evp_enc.c:236:10: Call
  234.   	{
  235.   	if (ctx->encrypt)
  236.   		return EVP_EncryptUpdate(ctx,out,outl,in,inl);
                  ^
  237.   	else	return EVP_DecryptUpdate(ctx,out,outl,in,inl);
  238.   	}

crypto/evp/evp_enc.c:278:1: <LHS trace>
276.   	}
277.   
278. > int EVP_EncryptUpdate(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl,
279.   		      const unsigned char *in, size_t inl)
280.   	{

crypto/evp/evp_enc.c:278:1: Parameter `inl`
    276.   	}
    277.   
    278. > int EVP_EncryptUpdate(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl,
    279.   		      const unsigned char *in, size_t inl)
    280.   	{

crypto/evp/evp_enc.c:329:2: Binary operation: ([0, +oo] - 1):unsigned64 by call to `EVP_CipherUpdate` 
    327.   	else
    328.   		*outl = 0;
    329.   	i=inl&(bl-1);
            ^
    330.   	inl-=i;
    331.   	if (inl > 0)
