[prev in list] [next in list] [prev in thread] [next in thread] 

List:       linuxbios
Subject:    [coreboot] New Defects reported by Coverity Scan for coreboot
From:       scan-admin--- via coreboot <coreboot () coreboot ! org>
Date:       2022-02-11 14:43:29
Message-ID: 6206761192f15_9e44e2aed5dac79a081329 () prd-scan-dashboard-0 ! mail
[Download RAW message or body]

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.
1 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 1469611:    (OVERRUN)
/src/soc/amd/cezanne/psp_verstage/uart.c: 16 in get_uart_base()
/src/soc/amd/cezanne/psp_verstage/uart.c: 25 in get_uart_base()
/src/soc/amd/cezanne/psp_verstage/uart.c: 17 in get_uart_base()


________________________________________________________________________________________________________
                
*** CID 1469611:    (OVERRUN)
/src/soc/amd/cezanne/psp_verstage/uart.c: 16 in get_uart_base()
10     {
11     	uint32_t err;
12     
13     	if (idx > ARRAY_SIZE(uart_bars))
14     		return 0;
15     
> > > CID 1469611:    (OVERRUN)
> > > Overrunning array "uart_bars" of 1 4-byte elements at element index 1 (byte \
> > > offset 7) using index "idx" (which evaluates to 1).
16     	if (uart_bars[idx])
17     		return (uintptr_t)uart_bars[idx];
18     
19     	err = svc_map_fch_dev(FCH_IO_DEVICE_UART, idx, 0, &uart_bars[idx]);
20     	if (err) {
21     		svc_debug_print("Failed to map UART\n");
/src/soc/amd/cezanne/psp_verstage/uart.c: 25 in get_uart_base()
19     	err = svc_map_fch_dev(FCH_IO_DEVICE_UART, idx, 0, &uart_bars[idx]);
20     	if (err) {
21     		svc_debug_print("Failed to map UART\n");
22     		return 0;
23     	}
24     
> > > CID 1469611:    (OVERRUN)
> > > Overrunning array "uart_bars" of 1 4-byte elements at element index 1 (byte \
> > > offset 7) using index "idx" (which evaluates to 1).
25     	return (uintptr_t)uart_bars[idx];
/src/soc/amd/cezanne/psp_verstage/uart.c: 17 in get_uart_base()
11     	uint32_t err;
12     
13     	if (idx > ARRAY_SIZE(uart_bars))
14     		return 0;
15     
16     	if (uart_bars[idx])
> > > CID 1469611:    (OVERRUN)
> > > Overrunning array "uart_bars" of 1 4-byte elements at element index 1 (byte \
> > > offset 7) using index "idx" (which evaluates to 1).
17     		return (uintptr_t)uart_bars[idx];
18     
19     	err = svc_map_fch_dev(FCH_IO_DEVICE_UART, idx, 0, &uart_bars[idx]);
20     	if (err) {
21     		svc_debug_print("Failed to map UART\n");
22     		return 0;
23     	}
24     
25     	return (uintptr_t)uart_bars[idx];


________________________________________________________________________________________________________
 To view the defects in Coverity Scan visit, \
https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0qcxCbhZ31O \
Yv50yq2SfQfrHt3Prsn4qSLrYIrajINpiFX8l0vrlNSf8iCrS27qY0Cr0DkycwNUgGZJj8-3Dc4jK_L-2FDzr1 \
4mnrsJO5b1wX1hp9b1MAQygl7x-2B74RAaH2cn2IBYJviNW4Wil94rxQashcpguQloe689yczzzFJQopnAoBVL \
rlG7YBZ8m2xFZDM97Z7MYQ3vn-2ByGtwGFIHfkx93GwyjbC1FzsBV1YoXaNwNr6nSqcRWs0-2FYbx5mV-2BAtotUE9c19cAPIZG0S-2BWUusKEVAZtCw4-2BA7yVnMYzqEUtsw-3D-3D


_______________________________________________
coreboot mailing list -- coreboot@coreboot.org
To unsubscribe send an email to coreboot-leave@coreboot.org


[prev in list] [next in list] [prev in thread] [next in thread]