Fixed findings

List of Findings

Error: GCC_ANALYZER_WARNING (CWE-471): [#def1]
nettle-3.10.1/mini-gmp.c:1328:11: warning[-Wanalyzer-write-to-const]: write to ‘const’ object ‘dummy_limb’
nettle-3.10.1/eccdata.c:1404:1: enter_function: entry to ‘main’
nettle-3.10.1/eccdata.c:1408:6: branch_false: following ‘false’ branch (when ‘argc > 3’)...
nettle-3.10.1/eccdata.c:1414:3: branch_false: ...to here
nettle-3.10.1/eccdata.c:1414:3: call_function: calling ‘ecc_curve_init’ from ‘main’
# 1326|         if (shift == 0)
# 1327|   	{
# 1328|-> 	  rp[rn++] = sp[j];
# 1329|   	  shift += bits;
# 1330|   	}

Error: GCC_ANALYZER_WARNING (CWE-471): [#def2]
nettle-3.10.1/mini-gmp.c:1333:11: warning[-Wanalyzer-write-to-const]: write to ‘const’ object ‘dummy_limb’
nettle-3.10.1/eccdata.c:1404:1: enter_function: entry to ‘main’
nettle-3.10.1/eccdata.c:1408:6: branch_false: following ‘false’ branch (when ‘argc > 3’)...
nettle-3.10.1/eccdata.c:1414:3: branch_false: ...to here
nettle-3.10.1/eccdata.c:1414:3: call_function: calling ‘ecc_curve_init’ from ‘main’
# 1331|         else
# 1332|   	{
# 1333|-> 	  rp[rn-1] |= (mp_limb_t) sp[j] << shift;
# 1334|   	  shift += bits;
# 1335|   	  if (shift >= GMP_LIMB_BITS)

Error: GCC_ANALYZER_WARNING (CWE-457): [#def3]
nettle-3.10.1/umac64.c:139:3: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘&tag’
nettle-3.10.1/umac64.c:97:3: branch_true: following ‘true’ branch (when ‘length != 0’)...
nettle-3.10.1/umac64.c:98:3: branch_true: ...to here
nettle-3.10.1/umac64.c:98:3: branch_true: following ‘true’ branch (when ‘length <= 8’)...
nettle-3.10.1/umac64.c:100:7: branch_true: ...to here
nettle-3.10.1/umac64.c:112:3: branch_true: following ‘true’ branch...
nettle-3.10.1/umac64.c:113:10: branch_true: ...to here
nettle-3.10.1/umac64.c:139:3: danger: use of uninitialized value ‘&tag’ here
#  137|     tag[1] = pad[1] ^ ctx->l3_key2[1] ^ _nettle_umac_l3 (ctx->l3_key1 + 8,
#  138|   						       ctx->l2_state + 2);
#  139|->   memcpy (digest, tag, length);
#  140|   
#  141|     /* Reinitialize */

Scan Properties