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


crypto/evp/bio_enc.c:145:13: Call
143.            * read in at IV offset, read the EVP_Cipher documentation about why
144.            */
145.           i = BIO_read(next, &(ctx->buf[BUF_OFFSET]), ENC_BLOCK_SIZE);
                   ^
146.   
147.           if (i <= 0) {

crypto/bio/bio_lib.c:200:9: Assignment
  198.       if ((b == NULL) || (b->method == NULL) || (b->method->bread == NULL)) {
  199.           BIOerr(BIO_F_BIO_READ, BIO_R_UNSUPPORTED_METHOD);
  200.           return (-2);
                 ^
  201.       }
  202.   

crypto/evp/bio_enc.c:145:9: Assignment
143.            * read in at IV offset, read the EVP_Cipher documentation about why
144.            */
145.           i = BIO_read(next, &(ctx->buf[BUF_OFFSET]), ENC_BLOCK_SIZE);
               ^
146.   
147.           if (i <= 0) {

crypto/evp/bio_enc.c:161:18: Call
159.               }
160.           } else {
161.               if (!EVP_CipherUpdate(ctx->cipher,
                        ^
162.                                     (unsigned char *)ctx->buf, &ctx->buf_len,
163.                                     (unsigned char *)&(ctx->buf[BUF_OFFSET]),

crypto/evp/evp_enc.c:205:1: Parameter `inl`
  203.   }
  204.   
  205. > int EVP_CipherUpdate(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl,
  206.                        const unsigned char *in, int inl)
  207.   {

crypto/evp/evp_enc.c:209:16: Call
  207.   {
  208.       if (ctx->encrypt)
  209.           return EVP_EncryptUpdate(ctx, out, outl, in, inl);
                        ^
  210.       else
  211.           return EVP_DecryptUpdate(ctx, out, outl, in, inl);

crypto/evp/evp_enc.c:294:1: Parameter `inl`
    292.   }
    293.   
    294. > int EVP_EncryptUpdate(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl,
    295.                         const unsigned char *in, int inl)
    296.   {

crypto/evp/evp_enc.c:300:13: Call
    298.   
    299.       if (ctx->cipher->flags & EVP_CIPH_FLAG_CUSTOM_CIPHER) {
    300.           if (is_partially_overlapping(out, in, inl))
                       ^
    301.               return 0;
    302.   

crypto/evp/evp_enc.c:279:1: <RHS trace>
277.   #endif
278.   
279. > static int is_partially_overlapping(const void *ptr1, const void *ptr2,
280.                                       int len)
281.   {

crypto/evp/evp_enc.c:279:1: Parameter `len`
      277.   #endif
      278.   
      279. > static int is_partially_overlapping(const void *ptr1, const void *ptr2,
      280.                                       int len)
      281.   {

crypto/evp/evp_enc.c:289:49: Binary operation: (0 - [1, +oo]):unsigned64 by call to `EVP_CipherUpdate` 
      287.        */
      288.       int condition = (len > 0) & (diff != 0) & ((diff < (PTRDIFF_T)len) |
      289.                                                  (diff > (0 - (PTRDIFF_T)len)));
                                                             ^
      290.       assert(!condition);
      291.       return condition;
