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


crypto/pkcs12/p12_decr.c:93:2: Call
91.   	}
92.   
93.   	EVP_CipherUpdate(&ctx, out, &i, in, inlen);
       ^
94.   	outlen = i;
95.   	if(!EVP_CipherFinal_ex(&ctx, out + i, &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)
