nutanix / libvfio-user

framework for emulating devices in userspace
BSD 3-Clause "New" or "Revised" License
168 stars 51 forks source link

correct IRQ range check #791

Closed jlevon closed 8 months ago

jlevon commented 8 months ago

Our previous fuzzing attempts missed this incorrect range check, but SPDK's fuzzing did catch it. Make the check using a saturating add so that we account for overflow.

Fixes issue #790.

Reported-by: Sebastian Brzezinka sebastian.brzezinka@intel.com Signed-off-by: John Levon john.levon@nutanix.com