Actions
Bug #8012
openFix tty_driver allocation/deallocation kernel model
Status:
New
Priority:
High
Assignee:
-
Category:
Requirement specifications
Target version:
-
Start date:
03/06/2017
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
Models for tty_driver_kref_get/tty_driver_kref_put/put_tty_driver are required.
E.g., see false positive in SMG drivers/serial/serial_core.ko+drivers/serial/8250.ko, 2.6.33.
Actions