Latest Coverity scan results

Tom Rini trini at konsulko.com
Tue May 6 17:48:51 CEST 2025


Hey all,

Unfortunately it looks like Coverity scan no longer generates the email
report with code snippets and only send me a high level report now. So,
the latest report is visible only to project members when logged in, and
is:
https://scan8.scan.coverity.com/#/project-view/22486/10710

So I'm making my own summary and either explaining what the problem is, or
copy/pasting from the viewer.

This has 3 new defects. Two of which are in
drivers/video/console_rotate.c and the console_putc_xy_1 and
console_putc_xy_3 functions noting that height/width arguments are
reversed in the return line call to video_damage. On looking at the
code, I think x/y are as well and maybe this is intentional but not
clearly commented enough?

The third defect is in boot/bootm_os.c the do_bootm_efi function:
503        /* Run EFI image */
504        printf("## Transferring control to EFI (at address %08lx) ...\n",
505               images->os.image_start);
506        bootstage_mark(BOOTSTAGE_ID_RUN_OS);
507
      2. Condition images->ft_len, taking true branch.
      3. function_return: Function efi_binary_run(image_buf, images->os.image_len, (images->ft_len ? images->ft_addr : NULL), (void *)images->initrd_start, (size_t)(images->initrd_end - images->initrd_start)) returns -9223372036854775799.
     
CID 550810: (#1 of 1): Overflowed constant (INTEGER_OVERFLOW)
4. overflow_const: Expression ret, where efi_binary_run(image_buf, images->os.image_len, (images->ft_len ? images->ft_addr : NULL), (void *)images->initrd_start, (size_t)(images->initrd_end - images->initrd_start)) is known to be equal to 9223372036854775817, overflows the type of ret, which is type int.
508        ret = efi_binary_run(image_buf, images->os.image_len,
509                             images->ft_len
510                             ? images->ft_addr : EFI_FDT_USE_INTERNAL,
511                                 (void *)images->initrd_start,
512                                 (size_t)(images->initrd_end - images->initrd_start));
513
514        return ret;

-- 
Tom
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 659 bytes
Desc: not available
URL: <https://lists.denx.de/pipermail/u-boot/attachments/20250506/a822bf4c/attachment.sig>


More information about the U-Boot mailing list