providers/common/ciphers/cipher_ccm.c:254: 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:248:1: Parameter `vctx->m`
246.   }
247.   
248. > int ccm_stream_final(void *vctx, unsigned char *out, size_t *outl,
249.                               size_t outsize)
250.   {

providers/common/ciphers/cipher_ccm.c:254:9: Call
252.       int i;
253.   
254.       i = ccm_cipher_internal(ctx, out, outl, NULL, 0);
               ^
255.       if (i <= 0)
256.           return 0;

providers/common/ciphers/cipher_ccm.c:335:1: Parameter `len`
  333.   }
  334.   
  335. > static int ccm_cipher_internal(PROV_CCM_CTX *ctx, unsigned char *out,
  336.                                  size_t *padlen, const unsigned char *in,
  337.                                  size_t len)

providers/common/ciphers/cipher_ccm.c:348:16: Call
  346.   
  347.       if (ctx->tls_aad_len >= 0)
  348.           return ccm_tls_cipher(ctx, out, padlen, in, len);
                        ^
  349.   
  350.       /* EVP_*Final() doesn't return any data */

providers/common/ciphers/cipher_ccm.c:291:1: <LHS trace>
289.   }
290.   
291. > static int ccm_tls_cipher(PROV_CCM_CTX *ctx,
292.                             unsigned char *out, size_t *padlen,
293.                             const unsigned char *in, size_t len)

providers/common/ciphers/cipher_ccm.c:291:1: Parameter `len`
    289.   }
    290.   
    291. > static int ccm_tls_cipher(PROV_CCM_CTX *ctx,
    292.                             unsigned char *out, size_t *padlen,
    293.                             const unsigned char *in, size_t len)

providers/common/ciphers/cipher_ccm.c:291:1: <RHS trace>
289.   }
290.   
291. > static int ccm_tls_cipher(PROV_CCM_CTX *ctx,
292.                             unsigned char *out, size_t *padlen,
293.                             const unsigned char *in, size_t len)

providers/common/ciphers/cipher_ccm.c:291:1: Parameter `len`
    289.   }
    290.   
    291. > static int ccm_tls_cipher(PROV_CCM_CTX *ctx,
    292.                             unsigned char *out, size_t *padlen,
    293.                             const unsigned char *in, size_t len)

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