crypto/evp/bio_b64.c:440: error: INTEGER_OVERFLOW_L2
  ([1, 1024] - [-oo, -1+max(48, `b->ptr->base64.length`)]):unsigned64 by call to `EVP_EncodeUpdate`.
Showing all 8 steps of the trace


crypto/evp/bio_b64.c:365:1: Parameter `b->ptr->base64.length`
363.   	}
364.   
365. > static int b64_write(BIO *b, const char *in, int inl)
366.   	{
367.   	int ret=inl,n,i;

crypto/evp/bio_b64.c:440:4: Call
438.   		else
439.   			{
440.   			EVP_EncodeUpdate(&(ctx->base64),
          ^
441.   				(unsigned char *)ctx->buf,&ctx->buf_len,
442.   				(unsigned char *)in,n);

crypto/evp/encode.c:131:1: <LHS trace>
129.   	}
130.   
131. > void EVP_EncodeUpdate(EVP_ENCODE_CTX *ctx, unsigned char *out, int *outl,
132.   		      const unsigned char *in, size_t inl)
133.   	{

crypto/evp/encode.c:131:1: Parameter `inl`
  129.   	}
  130.   
  131. > void EVP_EncodeUpdate(EVP_ENCODE_CTX *ctx, unsigned char *out, int *outl,
  132.   		      const unsigned char *in, size_t inl)
  133.   	{

crypto/evp/encode.c:131:1: <RHS trace>
129.   	}
130.   
131. > void EVP_EncodeUpdate(EVP_ENCODE_CTX *ctx, unsigned char *out, int *outl,
132.   		      const unsigned char *in, size_t inl)
133.   	{

crypto/evp/encode.c:131:1: Parameter `inl`
  129.   	}
  130.   
  131. > void EVP_EncodeUpdate(EVP_ENCODE_CTX *ctx, unsigned char *out, int *outl,
  132.   		      const unsigned char *in, size_t inl)
  133.   	{

crypto/evp/encode.c:148:3: Assignment
  146.   	if (ctx->num != 0)
  147.   		{
  148.   		i=ctx->length-ctx->num;
           ^
  149.   		memcpy(&(ctx->enc_data[ctx->num]),in,i);
  150.   		in+=i;

crypto/evp/encode.c:151:3: Binary operation: ([1, 1024] - [-oo, -1+max(48, b->ptr->base64.length)]):unsigned64 by call to `EVP_EncodeUpdate` 
  149.   		memcpy(&(ctx->enc_data[ctx->num]),in,i);
  150.   		in+=i;
  151.   		inl-=i;
           ^
  152.   		j=EVP_EncodeBlock(out,ctx->enc_data,ctx->length);
  153.   		ctx->num=0;
