providers/common/ciphers/ccm.c:272: 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/ccm.c:266:1: Parameter `vctx->m`
264.   }
265.   
266. > static int ccm_stream_final(void *vctx, unsigned char *out, size_t *outl,
267.                               size_t outsize)
268.   {

providers/common/ciphers/ccm.c:272:9: Call
270.       int i;
271.   
272.       i = ccm_cipher_internal(ctx, out, outl, NULL, 0);
               ^
273.       if (i <= 0)
274.           return 0;

providers/common/ciphers/ccm.c:353:1: Parameter `len`
  351.   }
  352.   
  353. > static int ccm_cipher_internal(PROV_CCM_CTX *ctx, unsigned char *out,
  354.                                  size_t *padlen, const unsigned char *in,
  355.                                  size_t len)

providers/common/ciphers/ccm.c:366:16: Call
  364.   
  365.       if (ctx->tls_aad_len >= 0)
  366.           return ccm_tls_cipher(ctx, out, padlen, in, len);
                        ^
  367.   
  368.       /* EVP_*Final() doesn't return any data */

providers/common/ciphers/ccm.c:309:1: <LHS trace>
307.   }
308.   
309. > static int ccm_tls_cipher(PROV_CCM_CTX *ctx,
310.                             unsigned char *out, size_t *padlen,
311.                             const unsigned char *in, size_t len)

providers/common/ciphers/ccm.c:309:1: Parameter `len`
    307.   }
    308.   
    309. > static int ccm_tls_cipher(PROV_CCM_CTX *ctx,
    310.                             unsigned char *out, size_t *padlen,
    311.                             const unsigned char *in, size_t len)

providers/common/ciphers/ccm.c:309:1: <RHS trace>
307.   }
308.   
309. > static int ccm_tls_cipher(PROV_CCM_CTX *ctx,
310.                             unsigned char *out, size_t *padlen,
311.                             const unsigned char *in, size_t len)

providers/common/ciphers/ccm.c:309:1: Parameter `len`
    307.   }
    308.   
    309. > static int ccm_tls_cipher(PROV_CCM_CTX *ctx,
    310.                             unsigned char *out, size_t *padlen,
    311.                             const unsigned char *in, size_t len)

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