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)
Sat, May 2, 12:37 PM
Unknown Object (File)
Tue, Apr 28, 10:24 PM
Unknown Object (File)
Tue, Apr 28, 10:16 PM
Unknown Object (File)
Mon, Apr 27, 7:45 AM
Unknown Object (File)
Wed, Apr 22, 11:27 AM
Unknown Object (File)
Tue, Apr 21, 10:53 PM
Unknown Object (File)
Mar 29 2026, 12:05 PM
Unknown Object (File)
Mar 20 2026, 7:48 AM
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.