Branch: refs/heads/master
  Home:   https://github.com/tianocore/edk2
  Commit: bf0dc7d78701c93a2edeeadcb0daca58f4af91a6
      
https://github.com/tianocore/edk2/commit/bf0dc7d78701c93a2edeeadcb0daca58f4af91a6
  Author: Aaron Pop <[email protected]>
  Date:   2026-08-05 (Wed, 05 Aug 2026)

  Changed paths:
    M MdeModulePkg/Bus/Ata/AtaAtapiPassThru/IdeMode.c
    M MdeModulePkg/Bus/Pci/IdeBusPei/AtapiPeim.c
    M MdeModulePkg/Bus/Pci/NvmExpressDxe/NvmExpressPassthru.c
    M MdeModulePkg/Bus/Pci/NvmExpressPei/NvmExpressPeiPassThru.c
    M MdeModulePkg/Bus/Pci/PciSioSerialDxe/SerialIo.c
    M MdeModulePkg/Bus/Pci/SdMmcPciHcDxe/SdMmcPciHci.c
    M MdeModulePkg/Bus/Sd/EmmcBlockIoPei/EmmcHci.c
    M MdeModulePkg/Bus/Ufs/UfsBlockIoPei/UfsHci.c
    M MdeModulePkg/Bus/Ufs/UfsPassThruDxe/UfsPassThruHci.c

  Log Message:
  -----------
  MdeModulePkg: Fix comparison with wider widths

https://codeql.github.com/codeql-query-help/cpp/cpp-comparison-with-wider-type

If the narrow type (smaller range) is compared against a wide type
(larger range), the narrow value may overflow before reaching the wide
value. This can cause unexpected behavior, such as:

Infinite loops (loop condition never becomes false).
Incorrect logic (comparison results are misleading).

Signed-off-by: Aaron Pop <[email protected]>


  Commit: 0bc1db4adfbdf0160a9c60eec18a23f3e282f4ab
      
https://github.com/tianocore/edk2/commit/0bc1db4adfbdf0160a9c60eec18a23f3e282f4ab
  Author: Aaron Pop <[email protected]>
  Date:   2026-08-05 (Wed, 05 Aug 2026)

  Changed paths:
    M MdeModulePkg/Bus/Ata/AtaBusDxe/AtaPassThruExecute.c
    M 
MdeModulePkg/Bus/Pci/NonDiscoverablePciDeviceDxe/NonDiscoverablePciDeviceIo.c
    M MdeModulePkg/Bus/Pci/PciBusDxe/PciDeviceSupport.c
    M MdeModulePkg/Bus/Pci/PciBusDxe/PciEnumerator.c
    M MdeModulePkg/Bus/Pci/PciBusDxe/PciLib.c
    M MdeModulePkg/Bus/Pci/PciBusDxe/PciOptionRomSupport.c
    M MdeModulePkg/Bus/Pci/PciBusDxe/PciResourceSupport.c
    M MdeModulePkg/Bus/Pci/PciHostBridgeDxe/PciHostBridge.c
    M MdeModulePkg/Bus/Pci/PciHostBridgeDxe/PciRootBridgeIo.c
    M MdeModulePkg/Bus/Pci/PciSioSerialDxe/Serial.c
    M MdeModulePkg/Bus/Pci/XhciDxe/XhciSched.c
    M MdeModulePkg/Bus/Pci/XhciPei/XhciSched.c

  Log Message:
  -----------
  MdeModulePkg: Fix missing NULL tests

https://github.com/github/codeql/blob/codeql-cli-2.7.3/cpp/ql/src/Critical/MissingNullTest.qhelp

For items which allocate memory, or get a pointer from another
structure, it is important to validate that the pointers
are not null before they are dereferenced.

Signed-off-by: Aaron Pop <[email protected]>


  Commit: 0f0515f71ba3645823ae17638532099d1e5d5144
      
https://github.com/tianocore/edk2/commit/0f0515f71ba3645823ae17638532099d1e5d5144
  Author: Aaron Pop <[email protected]>
  Date:   2026-08-05 (Wed, 05 Aug 2026)

  Changed paths:
    M MdeModulePkg/Bus/Pci/NvmExpressPei/NvmExpressPeiHci.c
    M MdeModulePkg/Bus/Pci/PciBusDxe/PciIo.c

  Log Message:
  -----------
  MdeModulePkg: Fix unchecked return status

https://github.com/github/codeql/blob/codeql-cli-2.7.3/csharp/ql/src/API%20Abuse/UncheckedReturnValue.qhelp

When a function has a return status, it should
be checked to verify the function completed successfully.

Failing to check the return status can result in null pointer
dereferences or use of uninitialized variables.

Signed-off-by: Aaron Pop <[email protected]>


Compare: https://github.com/tianocore/edk2/compare/fa41c179db1f...0f0515f71ba3

To unsubscribe from these emails, change your notification settings at 
https://github.com/tianocore/edk2/settings/notifications


_______________________________________________
edk2-commits mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/edk2-commits

Reply via email to