Project

General

Profile

Actions

Bug #8010

closed

Fix scsi host allocation/deallocation kernel model

Added by Alexey Khoroshilov about 7 years ago. Updated about 7 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Environment models
Target version:
-
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.

Actions #1

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.

Actions #2

Updated by Ilja Zakharov about 7 years ago

  • Status changed from Resolved to Verified

Merged in 88d7124a.

Actions #3

Updated by Ilja Zakharov about 7 years ago

  • Status changed from Verified to Closed
Actions

Also available in: Atom PDF