crypto/sha/keccak1600.c:663: error: BUFFER_OVERRUN_L2
  Offset: [1, 24] Size: 24 by call to `Round`.
Showing all 7 steps of the trace


crypto/sha/keccak1600.c:661:10: Assignment
659.   #endif
660.   
661.       for (i = 0; i < 24; i += 2) {
                ^
662.           Round(T, A, i);
663.           Round(A, T, i + 1);

crypto/sha/keccak1600.c:663:9: Call
661.       for (i = 0; i < 24; i += 2) {
662.           Round(T, A, i);
663.           Round(A, T, i + 1);
               ^
664.       }
665.   

crypto/sha/keccak1600.c:528:1: <Offset trace>
526.    * processed byte ratio at minimal round unroll factor]...
527.    */
528. > static void Round(uint64_t R[5][5], uint64_t A[5][5], size_t i)
529.   {
530.       uint64_t C[5], D[5];

crypto/sha/keccak1600.c:528:1: Parameter `i`
  526.    * processed byte ratio at minimal round unroll factor]...
  527.    */
  528. > static void Round(uint64_t R[5][5], uint64_t A[5][5], size_t i)
  529.   {
  530.       uint64_t C[5], D[5];

crypto/sha/keccak1600.c:80:1: <Length trace>
78.   };
79.   
80. > static const uint64_t iotas[] = {
81.       BIT_INTERLEAVE ? 0x0000000000000001U : 0x0000000000000001U,
82.       BIT_INTERLEAVE ? 0x0000008900000000U : 0x0000000000008082U,

crypto/sha/keccak1600.c:80:1: Array declaration
  78.   };
  79.   
  80. > static const uint64_t iotas[] = {
  81.       BIT_INTERLEAVE ? 0x0000000000000001U : 0x0000000000000001U,
  82.       BIT_INTERLEAVE ? 0x0000008900000000U : 0x0000000000008082U,

crypto/sha/keccak1600.c:559:39: Array access: Offset: [1, 24] Size: 24 by call to `Round` 
  557.       R[0][4] = C[4] ^ ( C[0] & C[1]);
  558.   #else
  559.       R[0][0] = C[0] ^ (~C[1] & C[2]) ^ iotas[i];
                                               ^
  560.       R[0][1] = C[1] ^ (~C[2] & C[3]);
  561.       R[0][2] = C[2] ^ (~C[3] & C[4]);
