Hi,
Please find the latest report on new defect(s) introduced to coreboot found
with Coverity Scan.
1 new defect(s) introduced to coreboot found with Coverity Scan.
11 defect(s), reported by Coverity Scan earlier, were marked fixed in the
recent build analyzed by Coverity Scan.
New defect(s) Reported-by: Coverity Scan
Showing 1 of 1 defect(s)
** CID 1452916: Null pointer dereferences (FORWARD_NULL)
/util/sconfig/main.c: 453 in new_fw_config_field()
________________________________________________________________________________________________________
*** CID 1452916: Null pointer dereferences (FORWARD_NULL)
/util/sconfig/main.c: 453 in new_fw_config_field()
447 }
448
449 /* Check that each field is within 64 bits. */
450 tmp = bits;
451 while (tmp) {
452 if (tmp->start_bit > tmp->end_bit || tmp->end_bit > 63)
{
>>> CID 1452916: Null pointer dereferences (FORWARD_NULL)
>>> Dereferencing null pointer "field".
453 printf("ERROR: fw_config field %s has invalid
range %u-%u\n", field->name,
454 tmp->start_bit, tmp->end_bit);
455 exit(1);
456 }
457
458 /* Check for overlap with an existing field. */
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit,
https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0qcxCbhZ31OYv50yq2SfQfrHt3Prsn4qSLrYIrajINpiFX8l0vrlNSf8iCrS27qY0Cr0DkycwNUgGZJj8-3DkkcN_L-2FDzr14mnrsJO5b1wX1hp9b1MAQygl7x-2B74RAaH2cn2-2BWPk-2FxdgijVL5IMW3XfN2auO1Vdboammv6Cd7DmESsXKcuh22H8FQ6m7ivW0C7CrFnbW9kfzHQRY8QlQpRa0Lw62W3Ym4XNeB3QJDBvumW6wvQZXVkKMv2KBB9iiqNEQog62eN4jg1sMHXKn-2F8wD-2FXXxHhpNveaFqJFXMJoejJQ-3D-3D
_______________________________________________
coreboot mailing list -- [email protected]
To unsubscribe send an email to [email protected]
