Page MenuHomeFreeBSD

iommu_gas: avoid overflow in bounds check
ClosedPublic

Authored by dougm on Dec 20 2022, 9:03 PM.
Tags
None
Referenced Files
Unknown Object (File)
Fri, Jan 2, 5:15 AM
Unknown Object (File)
Dec 13 2025, 4:00 AM
Unknown Object (File)
Dec 11 2025, 6:15 PM
Unknown Object (File)
Dec 4 2025, 12:25 AM
Unknown Object (File)
Nov 20 2025, 5:54 PM
Unknown Object (File)
Nov 20 2025, 5:16 PM
Unknown Object (File)
Nov 20 2025, 5:16 PM
Unknown Object (File)
Nov 20 2025, 5:16 PM
Subscribers

Details

Summary

Change the range test in iommu_gas_match_one from '< ubound' to '<= ubound', and pass a smaller-by-one ubound parameter to it, to avoid overflow in ubound calculation.

Diff Detail

Lint
Lint Skipped
Unit
Tests Skipped

Event Timeline

dougm requested review of this revision.Dec 20 2022, 9:03 PM
dougm created this revision.
This revision is now accepted and ready to land.Dec 21 2022, 11:18 AM

Correct bounds check, where one was added when it should have been subtracted.

This revision now requires review to proceed.Dec 21 2022, 9:30 PM
This revision was not accepted when it landed; it landed in state Needs Review.Dec 22 2022, 8:34 PM
This revision was automatically updated to reflect the committed changes.