[coreboot] New Defects reported by Coverity Scan for coreboot

scan-admin at coverity.com scan-admin at coverity.com
Fri Jun 22 16:08:13 CEST 2018


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.


New defect(s) Reported-by: Coverity Scan
Showing 1 of 1 defect(s)


** CID 1393576:  Null pointer dereferences  (REVERSE_INULL)
/src/drivers/i2c/sx9310/sx9310.c: 44 in i2c_sx9310_fill_ssdt()


________________________________________________________________________________________________________
*** CID 1393576:  Null pointer dereferences  (REVERSE_INULL)
/src/drivers/i2c/sx9310/sx9310.c: 44 in i2c_sx9310_fill_ssdt()
38     		.mode_10bit = dev->path.i2c.mode_10bit,
39     		.speed = config->speed ? : I2C_SPEED_FAST,
40     		.resource = scope,
41     	};
42     	struct acpi_dp *dsd;
43     
>>>     CID 1393576:  Null pointer dereferences  (REVERSE_INULL)
>>>     Null-checking "config" suggests that it may be null, but it has already been dereferenced on all paths leading to the check.
44     	if (!dev->enabled || !scope || !config)
45     		return;
46     
47     	/* Device */
48     	acpigen_write_scope(scope);
49     	acpigen_write_device(acpi_device_name(dev));


________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V05UPxvVjWch-2Bd2MGckcRbLuoVetFLSjdonCi1EjfHRqWGQvojmmkYaBE-2BPJiTQvQ-3D-3D_q4bX76XMySz3BXBlWr5fXXJ4cvAsgEXEqC7dBPM7O5Yn8S0bAaq1zETf6tmSKrZb1iJoTol7v0nnunMHFvdgWdplyAGi-2FaOEOeRFiqe1Ls-2BI9O13PnI-2B8UhEqxejapv5hEQf8j6fT-2B3Ppx2H1Tvf1OPOZcc9-2BC6JJm2oQuWyOVGnwqla7F5BLWQK4L1tyS-2Fn1McusB45AAXgmZz1YmprfARECDsePmfWUKBZIncXvkQ-3D




More information about the coreboot mailing list