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)
Sun, Mar 29, 12:05 PM
Unknown Object (File)
Fri, Mar 20, 7:48 AM
Unknown Object (File)
Thu, Mar 19, 6:58 AM
Unknown Object (File)
Wed, Mar 18, 11:06 PM
Unknown Object (File)
Tue, Mar 17, 1:05 AM
Unknown Object (File)
Mon, Mar 16, 1:22 AM
Unknown Object (File)
Sat, Mar 14, 12:26 PM
Unknown Object (File)
Fri, Mar 13, 11:11 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.