crypto/blake2/blake2b.c:98: error: BUFFER_OVERRUN_L1
  Offset: [7, 63] (⇐ [0, 56] + 7) Size: 1 by call to `blake2b_init_param`.
Showing all 7 steps of the trace


crypto/blake2/blake2b.c:84:1: Array declaration
82.   
83.   /* Initialize the hashing context.  Always returns 1. */
84. > int BLAKE2b_Init(BLAKE2B_CTX *c)
85.   {
86.       BLAKE2B_PARAM P[1];

crypto/blake2/blake2b.c:98:5: Call
96.       memset(P->salt,     0, sizeof(P->salt));
97.       memset(P->personal, 0, sizeof(P->personal));
98.       blake2b_init_param(c, P);
           ^
99.       return 1;
100.   }

crypto/blake2/blake2b.c:78:10: Assignment
  76.       assert(sizeof(BLAKE2B_PARAM) == 64);
  77.       /* IV XOR ParamBlock */
  78.       for (i = 0; i < 8; ++i) {
                 ^
  79.           S->h[i] ^= load64(p + sizeof(S->h[i]) * i);
  80.       }

crypto/blake2/blake2b.c:79:20: Call
  77.       /* IV XOR ParamBlock */
  78.       for (i = 0; i < 8; ++i) {
  79.           S->h[i] ^= load64(p + sizeof(S->h[i]) * i);
                           ^
  80.       }
  81.   }

crypto/blake2/blake2_impl.h:41:1: <Length trace>
39.   }
40.   
41. > static ossl_inline uint64_t load64(const uint8_t *src)
42.   {
43.       const union {

crypto/blake2/blake2_impl.h:41:1: Parameter `*src`
    39.   }
    40.   
    41. > static ossl_inline uint64_t load64(const uint8_t *src)
    42.   {
    43.       const union {

crypto/blake2/blake2_impl.h:60:33: Array access: Offset: [7, 63] (⇐ [0, 56] + 7) Size: 1 by call to `blake2b_init_param` 
    58.                      | ((uint64_t)src[5] << 40)
    59.                      | ((uint64_t)src[6] << 48)
    60.                      | ((uint64_t)src[7] << 56);
                                          ^
    61.           return w;
    62.       }
