crypto/modes/ccm128.c:69: error: BUFFER_OVERRUN_L3
  Offset added: 16 Size: [0, +oo].
Showing all 3 steps of the trace


crypto/modes/ccm128.c:65:1: <Length trace>
63.    * called once per session setup...
64.    */
65. > void CRYPTO_ccm128_init(CCM128_CONTEXT *ctx,
66.                           unsigned int M, unsigned int L, void *key,
67.                           block128_f block)

crypto/modes/ccm128.c:65:1: Parameter `ctx->nonce.c[*]`
63.    * called once per session setup...
64.    */
65. > void CRYPTO_ccm128_init(CCM128_CONTEXT *ctx,
66.                           unsigned int M, unsigned int L, void *key,
67.                           block128_f block)

crypto/modes/ccm128.c:69:5: Array access: Offset added: 16 Size: [0, +oo]
67.                           block128_f block)
68.   {
69.       memset(ctx->nonce.c, 0, sizeof(ctx->nonce.c));
          ^
70.       ctx->nonce.c[0] = ((u8)(L - 1) & 7) | (u8)(((M - 2) / 2) & 7) << 3;
71.       ctx->blocks = 0;

void CRYPTO_ccm128_init(CCM128_CONTEXT *ctx,
                        unsigned int M, unsigned int L, void *key,
                        block128_f block)
{
    memset(ctx->nonce.c, 0, sizeof(ctx->nonce.c));
    ctx->nonce.c[0] = ((u8)(L - 1) & 7) | (u8)(((M - 2) / 2) & 7) << 3;
    ctx->blocks = 0;
    ctx->block = block;
    ctx->key = key;
}
['void CRYPTO_ccm128_init(CCM128_CONTEXT *ctx,\n                        unsigned int M, unsigned int L, void *key,\n                        block128_f block)\n{\n    memset(ctx->nonce.c, 0, sizeof(ctx->nonce.c));\n    ctx->nonce.c[0] = ((u8)(L - 1) & 7) | (u8)(((M - 2) / 2) & 7) << 3;\n    ctx->blocks = 0;\n    ctx->block = block;\n    ctx->key = key;\n}']