providers/common/ciphers/cipher_ccm.c:266: error: INTEGER_OVERFLOW_L1
  (0 - [8+max(0, `vctx->m`), 8+max(0, `vctx->m`)]):unsigned64 by call to `ccm_cipher_internal`.
Showing all 9 steps of the trace


providers/common/ciphers/cipher_ccm.c:260:1: Parameter `vctx->m`
258.   }
259.   
260. > int ccm_stream_final(void *vctx, unsigned char *out, size_t *outl,
261.                               size_t outsize)
262.   {

providers/common/ciphers/cipher_ccm.c:266:9: Call
264.       int i;
265.   
266.       i = ccm_cipher_internal(ctx, out, outl, NULL, 0);
               ^
267.       if (i <= 0)
268.           return 0;

providers/common/ciphers/cipher_ccm.c:347:1: Parameter `len`
  345.   }
  346.   
  347. > static int ccm_cipher_internal(PROV_CCM_CTX *ctx, unsigned char *out,
  348.                                  size_t *padlen, const unsigned char *in,
  349.                                  size_t len)

providers/common/ciphers/cipher_ccm.c:360:16: Call
  358.   
  359.       if (ctx->tls_aad_len != UNINITIALISED_SIZET)
  360.           return ccm_tls_cipher(ctx, out, padlen, in, len);
                        ^
  361.   
  362.       /* EVP_*Final() doesn't return any data */

providers/common/ciphers/cipher_ccm.c:303:1: <LHS trace>
301.   }
302.   
303. > static int ccm_tls_cipher(PROV_CCM_CTX *ctx,
304.                             unsigned char *out, size_t *padlen,
305.                             const unsigned char *in, size_t len)

providers/common/ciphers/cipher_ccm.c:303:1: Parameter `len`
    301.   }
    302.   
    303. > static int ccm_tls_cipher(PROV_CCM_CTX *ctx,
    304.                             unsigned char *out, size_t *padlen,
    305.                             const unsigned char *in, size_t len)

providers/common/ciphers/cipher_ccm.c:303:1: <RHS trace>
301.   }
302.   
303. > static int ccm_tls_cipher(PROV_CCM_CTX *ctx,
304.                             unsigned char *out, size_t *padlen,
305.                             const unsigned char *in, size_t len)

providers/common/ciphers/cipher_ccm.c:303:1: Parameter `len`
    301.   }
    302.   
    303. > static int ccm_tls_cipher(PROV_CCM_CTX *ctx,
    304.                             unsigned char *out, size_t *padlen,
    305.                             const unsigned char *in, size_t len)

providers/common/ciphers/cipher_ccm.c:320:5: Binary operation: (0 - [8+max(0, vctx->m), 8+max(0, vctx->m)]):unsigned64 by call to `ccm_cipher_internal` 
    318.       memcpy(ctx->iv + EVP_CCM_TLS_FIXED_IV_LEN, in, EVP_CCM_TLS_EXPLICIT_IV_LEN);
    319.       /* Correct length value */
    320.       len -= EVP_CCM_TLS_EXPLICIT_IV_LEN + ctx->m;
               ^
    321.       if (!ccm_set_iv(ctx, len))
    322.           goto err;
