New Defects reported by Coverity Scan for ARM-software/arm-trusted-firmware - TF-A

1 Apr 2025


      Hi,
Please find the latest report on new defect(s) introduced to ARM-software/arm-trusted-firmware found with Coverity Scan.
2 new defect(s) introduced to ARM-software/arm-trusted-firmware found with Coverity Scan.
New defect(s) Reported-by: Coverity Scan
Showing 2 of 2 defect(s)
** CID 458349:  Integer handling issues  (INCOMPATIBLE_CAST)
________________________________________________________________________________________________________
*** CID 458349:  Integer handling issues  (INCOMPATIBLE_CAST)
/plat/intel/soc/common/socfpga_sip_svc.c: 2190 in sip_smc_handler_v1()
2184     			SMC_RET1(handle, status);
2185     		} else {
2186     			SMC_RET3(handle, seu_respbuf[0], seu_respbuf[1], seu_respbuf[2]);
2187     		}
2188     
2189     	case INTEL_SIP_SMC_SAFE_INJECT_SEU_ERR:
...
...
...
CID 458349:  Integer handling issues  (INCOMPATIBLE_CAST)
Pointer "&x1" points to an object whose effective type is "unsigned long" (64 bits, unsigned) but is dereferenced as a narrower "unsigned int" (32 bits, unsigned). This may lead to unexpected results depending on machine endianness.

2190     		status = intel_sdm_safe_inject_seu_err((uint32_t *)&x1, (uint32_t)x2);
2191     		SMC_RET1(handle, status);
2192     
2193     	case INTEL_SIP_SMC_ATF_BUILD_VER:
2194     		SMC_RET4(handle, INTEL_SIP_SMC_STATUS_OK, VERSION_MAJOR,
2195     			 VERSION_MINOR, VERSION_PATCH);
** CID 458348:  Integer handling issues  (INCOMPATIBLE_CAST)
________________________________________________________________________________________________________
*** CID 458348:  Integer handling issues  (INCOMPATIBLE_CAST)
/plat/intel/soc/common/socfpga_sip_svc.c: 1250 in sip_smc_handler_v3()
1244     						   0);
1245     		SMC_RET1(handle, status);
1246     	}
1247     
1248     	case ALTERA_SIP_SMC_ASYNC_FCS_GET_ATTESTATION_CERT:
1249     	{
...
...
...
CID 458348:  Integer handling issues  (INCOMPATIBLE_CAST)
Pointer "&x4" points to an object whose effective type is "unsigned long" (64 bits, unsigned) but is dereferenced as a narrower "unsigned int" (32 bits, unsigned). This may lead to unexpected results depending on machine endianness.

1250     		status = intel_fcs_get_attestation_cert(smc_fid, x1, x2, x3,
1251     					(uint32_t *) &x4, &mbox_error);
1252     		SMC_RET1(handle, status);
1253     	}
1254     
1255     	case ALTERA_SIP_SMC_ASYNC_FCS_CREATE_CERT_ON_RELOAD:
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://scan.coverity.com/projects/arm-software-arm-trusted-firmware?tab=ove...