crypto/sha/sha512.c:579: error: BUFFER_OVERRUN_L2
  Offset: [31, 94] Size: 80.
Showing all 5 steps of the trace


crypto/sha/sha512.c:562:7: <Offset trace>
560.   #endif
561.   
562.   	for (i=16;i<80;i+=16)
             ^
563.   		{
564.   		ROUND_16_80(i, 0,a,b,c,d,e,f,g,h,X);

crypto/sha/sha512.c:562:7: Assignment
560.   #endif
561.   
562.   	for (i=16;i<80;i+=16)
             ^
563.   		{
564.   		ROUND_16_80(i, 0,a,b,c,d,e,f,g,h,X);

crypto/sha/sha512.c:266:1: <Length trace>
264.   #ifndef SHA512_ASM
265.   __fips_constseg
266. > static const SHA_LONG64 K512[80] = {
267.           U64(0x428a2f98d728ae22),U64(0x7137449123ef65cd),
268.           U64(0xb5c0fbcfec4d3b2f),U64(0xe9b5dba58189dbbc),

crypto/sha/sha512.c:266:1: Array declaration
264.   #ifndef SHA512_ASM
265.   __fips_constseg
266. > static const SHA_LONG64 K512[80] = {
267.           U64(0x428a2f98d728ae22),U64(0x7137449123ef65cd),
268.           U64(0xb5c0fbcfec4d3b2f),U64(0xe9b5dba58189dbbc),

crypto/sha/sha512.c:579:3: Array access: Offset: [31, 94] Size: 80
577.   		ROUND_16_80(i,13,d,e,f,g,h,a,b,c,X);
578.   		ROUND_16_80(i,14,c,d,e,f,g,h,a,b,X);
579.   		ROUND_16_80(i,15,b,c,d,e,f,g,h,a,X);
         ^
580.   		}
581.   

static void sha512_block_data_order (SHA512_CTX *ctx, const void *in, size_t num)
	{
	const SHA_LONG64 *W=in;
	SHA_LONG64	a,b,c,d,e,f,g,h,s0,s1,T1;
	SHA_LONG64	X[16];
	int i;
			while (num--) {
	a = ctx->h[0];	b = ctx->h[1];	c = ctx->h[2];	d = ctx->h[3];
	e = ctx->h[4];	f = ctx->h[5];	g = ctx->h[6];	h = ctx->h[7];
#ifdef B_ENDIAN
	T1 = X[0] = W[0];	ROUND_00_15(0,a,b,c,d,e,f,g,h);
	T1 = X[1] = W[1];	ROUND_00_15(1,h,a,b,c,d,e,f,g);
	T1 = X[2] = W[2];	ROUND_00_15(2,g,h,a,b,c,d,e,f);
	T1 = X[3] = W[3];	ROUND_00_15(3,f,g,h,a,b,c,d,e);
	T1 = X[4] = W[4];	ROUND_00_15(4,e,f,g,h,a,b,c,d);
	T1 = X[5] = W[5];	ROUND_00_15(5,d,e,f,g,h,a,b,c);
	T1 = X[6] = W[6];	ROUND_00_15(6,c,d,e,f,g,h,a,b);
	T1 = X[7] = W[7];	ROUND_00_15(7,b,c,d,e,f,g,h,a);
	T1 = X[8] = W[8];	ROUND_00_15(8,a,b,c,d,e,f,g,h);
	T1 = X[9] = W[9];	ROUND_00_15(9,h,a,b,c,d,e,f,g);
	T1 = X[10] = W[10];	ROUND_00_15(10,g,h,a,b,c,d,e,f);
	T1 = X[11] = W[11];	ROUND_00_15(11,f,g,h,a,b,c,d,e);
	T1 = X[12] = W[12];	ROUND_00_15(12,e,f,g,h,a,b,c,d);
	T1 = X[13] = W[13];	ROUND_00_15(13,d,e,f,g,h,a,b,c);
	T1 = X[14] = W[14];	ROUND_00_15(14,c,d,e,f,g,h,a,b);
	T1 = X[15] = W[15];	ROUND_00_15(15,b,c,d,e,f,g,h,a);
#else
	T1 = X[0]  = PULL64(W[0]);	ROUND_00_15(0,a,b,c,d,e,f,g,h);
	T1 = X[1]  = PULL64(W[1]);	ROUND_00_15(1,h,a,b,c,d,e,f,g);
	T1 = X[2]  = PULL64(W[2]);	ROUND_00_15(2,g,h,a,b,c,d,e,f);
	T1 = X[3]  = PULL64(W[3]);	ROUND_00_15(3,f,g,h,a,b,c,d,e);
	T1 = X[4]  = PULL64(W[4]);	ROUND_00_15(4,e,f,g,h,a,b,c,d);
	T1 = X[5]  = PULL64(W[5]);	ROUND_00_15(5,d,e,f,g,h,a,b,c);
	T1 = X[6]  = PULL64(W[6]);	ROUND_00_15(6,c,d,e,f,g,h,a,b);
	T1 = X[7]  = PULL64(W[7]);	ROUND_00_15(7,b,c,d,e,f,g,h,a);
	T1 = X[8]  = PULL64(W[8]);	ROUND_00_15(8,a,b,c,d,e,f,g,h);
	T1 = X[9]  = PULL64(W[9]);	ROUND_00_15(9,h,a,b,c,d,e,f,g);
	T1 = X[10] = PULL64(W[10]);	ROUND_00_15(10,g,h,a,b,c,d,e,f);
	T1 = X[11] = PULL64(W[11]);	ROUND_00_15(11,f,g,h,a,b,c,d,e);
	T1 = X[12] = PULL64(W[12]);	ROUND_00_15(12,e,f,g,h,a,b,c,d);
	T1 = X[13] = PULL64(W[13]);	ROUND_00_15(13,d,e,f,g,h,a,b,c);
	T1 = X[14] = PULL64(W[14]);	ROUND_00_15(14,c,d,e,f,g,h,a,b);
	T1 = X[15] = PULL64(W[15]);	ROUND_00_15(15,b,c,d,e,f,g,h,a);
#endif
	for (i=16;i<80;i+=16)
		{
		ROUND_16_80(i, 0,a,b,c,d,e,f,g,h,X);
		ROUND_16_80(i, 1,h,a,b,c,d,e,f,g,X);
		ROUND_16_80(i, 2,g,h,a,b,c,d,e,f,X);
		ROUND_16_80(i, 3,f,g,h,a,b,c,d,e,X);
		ROUND_16_80(i, 4,e,f,g,h,a,b,c,d,X);
		ROUND_16_80(i, 5,d,e,f,g,h,a,b,c,X);
		ROUND_16_80(i, 6,c,d,e,f,g,h,a,b,X);
		ROUND_16_80(i, 7,b,c,d,e,f,g,h,a,X);
		ROUND_16_80(i, 8,a,b,c,d,e,f,g,h,X);
		ROUND_16_80(i, 9,h,a,b,c,d,e,f,g,X);
		ROUND_16_80(i,10,g,h,a,b,c,d,e,f,X);
		ROUND_16_80(i,11,f,g,h,a,b,c,d,e,X);
		ROUND_16_80(i,12,e,f,g,h,a,b,c,d,X);
		ROUND_16_80(i,13,d,e,f,g,h,a,b,c,X);
		ROUND_16_80(i,14,c,d,e,f,g,h,a,b,X);
		ROUND_16_80(i,15,b,c,d,e,f,g,h,a,X);
		}
	ctx->h[0] += a;	ctx->h[1] += b;	ctx->h[2] += c;	ctx->h[3] += d;
	ctx->h[4] += e;	ctx->h[5] += f;	ctx->h[6] += g;	ctx->h[7] += h;
			W+=SHA_LBLOCK;
			}
	}
['static void sha512_block_data_order (SHA512_CTX *ctx, const void *in, size_t num)\n\t{\n\tconst SHA_LONG64 *W=in;\n\tSHA_LONG64\ta,b,c,d,e,f,g,h,s0,s1,T1;\n\tSHA_LONG64\tX[16];\n\tint i;\n\t\t\twhile (num--) {\n\ta = ctx->h[0];\tb = ctx->h[1];\tc = ctx->h[2];\td = ctx->h[3];\n\te = ctx->h[4];\tf = ctx->h[5];\tg = ctx->h[6];\th = ctx->h[7];\n#ifdef B_ENDIAN\n\tT1 = X[0] = W[0];\tROUND_00_15(0,a,b,c,d,e,f,g,h);\n\tT1 = X[1] = W[1];\tROUND_00_15(1,h,a,b,c,d,e,f,g);\n\tT1 = X[2] = W[2];\tROUND_00_15(2,g,h,a,b,c,d,e,f);\n\tT1 = X[3] = W[3];\tROUND_00_15(3,f,g,h,a,b,c,d,e);\n\tT1 = X[4] = W[4];\tROUND_00_15(4,e,f,g,h,a,b,c,d);\n\tT1 = X[5] = W[5];\tROUND_00_15(5,d,e,f,g,h,a,b,c);\n\tT1 = X[6] = W[6];\tROUND_00_15(6,c,d,e,f,g,h,a,b);\n\tT1 = X[7] = W[7];\tROUND_00_15(7,b,c,d,e,f,g,h,a);\n\tT1 = X[8] = W[8];\tROUND_00_15(8,a,b,c,d,e,f,g,h);\n\tT1 = X[9] = W[9];\tROUND_00_15(9,h,a,b,c,d,e,f,g);\n\tT1 = X[10] = W[10];\tROUND_00_15(10,g,h,a,b,c,d,e,f);\n\tT1 = X[11] = W[11];\tROUND_00_15(11,f,g,h,a,b,c,d,e);\n\tT1 = X[12] = W[12];\tROUND_00_15(12,e,f,g,h,a,b,c,d);\n\tT1 = X[13] = W[13];\tROUND_00_15(13,d,e,f,g,h,a,b,c);\n\tT1 = X[14] = W[14];\tROUND_00_15(14,c,d,e,f,g,h,a,b);\n\tT1 = X[15] = W[15];\tROUND_00_15(15,b,c,d,e,f,g,h,a);\n#else\n\tT1 = X[0]  = PULL64(W[0]);\tROUND_00_15(0,a,b,c,d,e,f,g,h);\n\tT1 = X[1]  = PULL64(W[1]);\tROUND_00_15(1,h,a,b,c,d,e,f,g);\n\tT1 = X[2]  = PULL64(W[2]);\tROUND_00_15(2,g,h,a,b,c,d,e,f);\n\tT1 = X[3]  = PULL64(W[3]);\tROUND_00_15(3,f,g,h,a,b,c,d,e);\n\tT1 = X[4]  = PULL64(W[4]);\tROUND_00_15(4,e,f,g,h,a,b,c,d);\n\tT1 = X[5]  = PULL64(W[5]);\tROUND_00_15(5,d,e,f,g,h,a,b,c);\n\tT1 = X[6]  = PULL64(W[6]);\tROUND_00_15(6,c,d,e,f,g,h,a,b);\n\tT1 = X[7]  = PULL64(W[7]);\tROUND_00_15(7,b,c,d,e,f,g,h,a);\n\tT1 = X[8]  = PULL64(W[8]);\tROUND_00_15(8,a,b,c,d,e,f,g,h);\n\tT1 = X[9]  = PULL64(W[9]);\tROUND_00_15(9,h,a,b,c,d,e,f,g);\n\tT1 = X[10] = PULL64(W[10]);\tROUND_00_15(10,g,h,a,b,c,d,e,f);\n\tT1 = X[11] = PULL64(W[11]);\tROUND_00_15(11,f,g,h,a,b,c,d,e);\n\tT1 = X[12] = PULL64(W[12]);\tROUND_00_15(12,e,f,g,h,a,b,c,d);\n\tT1 = X[13] = PULL64(W[13]);\tROUND_00_15(13,d,e,f,g,h,a,b,c);\n\tT1 = X[14] = PULL64(W[14]);\tROUND_00_15(14,c,d,e,f,g,h,a,b);\n\tT1 = X[15] = PULL64(W[15]);\tROUND_00_15(15,b,c,d,e,f,g,h,a);\n#endif\n\tfor (i=16;i<80;i+=16)\n\t\t{\n\t\tROUND_16_80(i, 0,a,b,c,d,e,f,g,h,X);\n\t\tROUND_16_80(i, 1,h,a,b,c,d,e,f,g,X);\n\t\tROUND_16_80(i, 2,g,h,a,b,c,d,e,f,X);\n\t\tROUND_16_80(i, 3,f,g,h,a,b,c,d,e,X);\n\t\tROUND_16_80(i, 4,e,f,g,h,a,b,c,d,X);\n\t\tROUND_16_80(i, 5,d,e,f,g,h,a,b,c,X);\n\t\tROUND_16_80(i, 6,c,d,e,f,g,h,a,b,X);\n\t\tROUND_16_80(i, 7,b,c,d,e,f,g,h,a,X);\n\t\tROUND_16_80(i, 8,a,b,c,d,e,f,g,h,X);\n\t\tROUND_16_80(i, 9,h,a,b,c,d,e,f,g,X);\n\t\tROUND_16_80(i,10,g,h,a,b,c,d,e,f,X);\n\t\tROUND_16_80(i,11,f,g,h,a,b,c,d,e,X);\n\t\tROUND_16_80(i,12,e,f,g,h,a,b,c,d,X);\n\t\tROUND_16_80(i,13,d,e,f,g,h,a,b,c,X);\n\t\tROUND_16_80(i,14,c,d,e,f,g,h,a,b,X);\n\t\tROUND_16_80(i,15,b,c,d,e,f,g,h,a,X);\n\t\t}\n\tctx->h[0] += a;\tctx->h[1] += b;\tctx->h[2] += c;\tctx->h[3] += d;\n\tctx->h[4] += e;\tctx->h[5] += f;\tctx->h[6] += g;\tctx->h[7] += h;\n\t\t\tW+=SHA_LBLOCK;\n\t\t\t}\n\t}']