Hi,
Please find the latest report on new defect(s) introduced to coreboot found with Coverity Scan.
2 new defect(s) introduced to coreboot found with Coverity Scan.
New defect(s) Reported-by: Coverity Scan Showing 2 of 2 defect(s)
** CID 1376956: Memory - illegal accesses (OVERRUN) /src/vendorcode/amd/agesa/f15tn/Proc/CPU/Family/0x15/cpuF15MmioMap.c: 236 in cpuF15AddingMmioMap()
________________________________________________________________________________________________________ *** CID 1376956: Memory - illegal accesses (OVERRUN) /src/vendorcode/amd/agesa/f15tn/Proc/CPU/Family/0x15/cpuF15MmioMap.c: 236 in cpuF15AddingMmioMap() 230 // ____________ 231 // | | 232 // new base new limit 233 234 MmioRange[MmioPair].Base = (MmioRange[MmioPair].Base <= NewMmioRange.Base) ? MmioRange[MmioPair].Base : NewMmioRange.Base; 235 MmioRange[MmioPair].Modified = TRUE;
CID 1376956: Memory - illegal accesses (OVERRUN) Overrunning array "MmioRange" of 12 20-byte elements at element index 12 (byte offset 240) using index "MmioPair + i" (which evaluates to 12).
236 for (i = 1; NewMmioRange.Limit >= MmioRange[MmioPair + i].Base; i++) { 237 if ((NewMmioRange.Attribute.MmioPostedRange == MmioRange[MmioPair + i].Attribute.MmioPostedRange) && 238 (NewMmioRange.Attribute.MmioReadableRange == MmioRange[MmioPair + i].Attribute.MmioReadableRange) && 239 (NewMmioRange.Attribute.MmioWritableRange == MmioRange[MmioPair + i].Attribute.MmioWritableRange) && 240 (NewMmioRange.Attribute.MmioSecuredRange == MmioRange[MmioPair + i].Attribute.MmioSecuredRange) && 241 (NewMmioRange.Destination.DstNode == MmioRange[MmioPair + i].Destination.DstNode) &&
** CID 1376955: Memory - illegal accesses (OVERRUN) /src/vendorcode/amd/agesa/f16kb/Proc/CPU/Family/0x16/cpuF16MmioMap.c: 228 in cpuF16AddingMmioMap()
________________________________________________________________________________________________________ *** CID 1376955: Memory - illegal accesses (OVERRUN) /src/vendorcode/amd/agesa/f16kb/Proc/CPU/Family/0x16/cpuF16MmioMap.c: 228 in cpuF16AddingMmioMap() 222 // ____________ 223 // | | 224 // new base new limit 225 226 MmioRange[MmioPair].Base = (MmioRange[MmioPair].Base <= NewMmioRange.Base) ? MmioRange[MmioPair].Base : NewMmioRange.Base; 227 MmioRange[MmioPair].Modified = TRUE;
CID 1376955: Memory - illegal accesses (OVERRUN) Overrunning array "MmioRange" of 12 20-byte elements at element index 12 (byte offset 240) using index "MmioPair + i" (which evaluates to 12).
228 for (i = 1; NewMmioRange.Limit >= MmioRange[MmioPair + i].Base; i++) { 229 if ((NewMmioRange.Attribute.MmioPostedRange == MmioRange[MmioPair + i].Attribute.MmioPostedRange) && 230 (NewMmioRange.Attribute.MmioReadableRange == MmioRange[MmioPair + i].Attribute.MmioReadableRange) && 231 (NewMmioRange.Attribute.MmioWritableRange == MmioRange[MmioPair + i].Attribute.MmioWritableRange) && 232 (NewMmioRange.Attribute.MmioSecuredRange == MmioRange[MmioPair + i].Attribute.MmioSecuredRange)) { 233 MmioRange[MmioPair].Limit = MmioRange[MmioPair + i].Limit;
________________________________________________________________________________________________________ To view the defects in Coverity Scan visit, https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V05...
To manage Coverity Scan email notifications for "coreboot@coreboot.org", click https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V05...