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.
Updated by Evgeny Novikov over 7 years ago
- Category changed from Environment models to Requirement specifications
Category "Environment model" is appropriate for automatically generated models for invoking interfaces. Although its name doesn't properly reflect this.
Updated by Evgeny Novikov over 7 years ago
- Priority changed from Urgent to High
It doesn't look to cause very many false alarms, so it doesn't have so the priority. Most likely such the issues should be fixed just when one will try to verify very accurately a limited set of modules.
Actions