Project

General

Profile

Actions
Copy link

Feature #7937

open

Develop and use models for get_device/device_add/put_device for all rule specifications

Added by Vadim Mutilin about 7 years ago. Updated about 7 years ago.

Status:
New
Priority:
High
Assignee:
-
Category:
Requirement specifications
Target version:
-
Start date:
02/01/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Free function is set as mousedev->dev.release = mousedev_free; but it is not called. Should be call after the last put_device
The device is aquired by device_add, get_device.

http://ldvstore:8998/reports/unsafe/77292/

device_add in mousedev_init->mousedev_create
put_device in mousedev_exit->mousedev_destroy

Actions
Copy link
 #1

Updated by Vadim Mutilin about 7 years ago

  • Category set to Requirement specifications
Actions
Copy link
 #2

Updated by Evgeny Novikov about 7 years ago

  • Priority changed from Urgent to High

Too complicated rule specification producing too many false alarms while requiring too much resources. We will not fix everything required for it in the near future.

Actions
Copy link
 #3

Updated by Evgeny Novikov about 7 years ago

  • Tracker changed from Bug to Feature
  • Subject changed from kernel model get_device/device_add/put_device for linux:alloc in drivers/input/mousedev.ko to Develop and use models for get_device/device_add/put_device for all rule specifications
Actions
Copy link

Also available in: Atom PDF