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 1395707: (UNINIT)
/src/arch/riscv/arch_timer.c: 25 in timer_monotonic_get()
/src/arch/riscv/arch_timer.c: 27 in timer_monotonic_get()
________________________________________________________________________________________________________
*** CID 1395707: (UNINIT)
/src/arch/riscv/arch_timer.c: 25 in timer_monotonic_get()
19 #include <stddef.h>
20 #include <timer.h>
21 #include <mcall.h>
22
23 void timer_monotonic_get(struct mono_time *mt)
24 {
>>> CID 1395707: (UNINIT)
>>> Using uninitialized value "sp".
25 if (HLS()->time == NULL)
26 die("time not set in HLS");
27 mono_time_set_usecs(mt, (long)read64((void *)(HLS()->time)));
/src/arch/riscv/arch_timer.c: 27 in timer_monotonic_get()
21 #include <mcall.h>
22
23 void timer_monotonic_get(struct mono_time *mt)
24 {
25 if (HLS()->time == NULL)
26 die("time not set in HLS");
>>> CID 1395707: (UNINIT)
>>> Using uninitialized value "sp".
27 mono_time_set_usecs(mt, (long)read64((void *)(HLS()->time)));
** CID 1395706: Memory - illegal accesses (OVERRUN)
/src/arch/x86/acpi_bert_storage.c: 324 in new_cper_ia32x64_ctx()
________________________________________________________________________________________________________
*** CID 1395706: Memory - illegal accesses (OVERRUN)
/src/arch/x86/acpi_bert_storage.c: 324 in new_cper_ia32x64_ctx()
318 };
319
320 if (type > CPER_IA32X64_CTX_MEMMAPPED)
321 return NULL;
322
323 if (cper_ia32x64_proc_num_ctxs(x86err) == I32X64SEC_VALID_CTXNUM_MAX) {
>>> CID 1395706: Memory - illegal accesses (OVERRUN)
>>> Overrunning array "ctx_names" of 5 4-byte elements at element index 7 (byte offset 28) using index "type" (which evaluates to 7).
324 printk(BIOS_ERR, "Error: New IA32X64 %s context entry would exceed max allowable contexts\n",
325 ctx_names[type]);
326 return NULL;
327 }
328
329 size = cper_ia32x64_ctx_sz_bytype(type, num);
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V05UPxvVjWch-2Bd2MGckcRbLuoVetFLSjdonCi1EjfHRqWGQvojmmkYaBE-2BPJiTQvQ-3D-3D_q4bX76XMySz3BXBlWr5fXXJ4cvAsgEXEqC7dBPM7O5bXO0EHBtaC6SoliwjVRRsDwvJI3cGdBPVw8FpZCAfDzH1vsYkDKVGRaH2eFmFWR54T3zRz0OOzcRcYXCXmcZWPGrfl3feJ4GaxjO79sbpYgoS1Dnec9ik7lkDd7bjmT3YErHzchJUiaG1fLGlyzmLpZ2PkTDrL-2FiBrGiXAWerqlbmRROM6Y9XuV4dk8v4sGHw-3D