Actions
Bug #8010
closedFix scsi host allocation/deallocation kernel model
Start date:
03/05/2017
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
Models for scsi_host_get/scsi_host_put are required.
E.g., see false positive in SMG drivers/usb/storage/usb-storage.ko, 2.6.33.
Also allocation in scsi_register() should be similar to scsi_host_alloc() one.
Updated by Ilja Zakharov about 7 years ago
- Status changed from New to Resolved
- Assignee set to Ilja Zakharov
I have implemented memory allocation in scsi_register and add very simple model for scsi_host_put. It allowed to get rid of the false positive (however an another unsafe occur but it does nothing with scsi callbacks).
The fix is available in emg-scsi-host branch.
Updated by Ilja Zakharov about 7 years ago
- Status changed from Resolved to Verified
Merged in 88d7124a.
Updated by Ilja Zakharov about 7 years ago
- Status changed from Verified to Closed
Actions