Actions
Bug #616
closedmodule_put is not instrumented in rule model 08_1
Start date:
12/08/2010
Due date:
% Done:
0%
Estimated time:
Detected in build:
492cf95527ed7a3445b7257251e34a58e85ea9a4
Platform:
Published in build:
Description
For example in drivers/kbdrivers/0008-2.6.31.6/test-0008-2.6.31.6-verdict-unsafe-drivers--pci--hotplug--acpiphp_core.c/acpiphp_core.ko from medium testset the call to module_put is undefined
module_put(blast_must_tmp__170) { /* The function body is undefined. */ };
Updated by Evgeny Novikov about 14 years ago
- Category set to 15
- Assignee set to Evgeny Novikov
- Priority changed from Normal to High
I think that this is important issue, since it seems that either model 08_1 is realized incorrectly or aspectator fails. But I suggest that this should be considered later.
Updated by Evgeny Novikov almost 14 years ago
- Status changed from New to Open
- Priority changed from High to Normal
I'll investigate it. But I think that this should be done after the new aspectator will be released.
Updated by Evgeny Novikov almost 14 years ago
- Status changed from Open to Closed
Close it since it duplicates issue #362.
Updated by Evgeny Novikov about 12 years ago
- Project changed from Linux Driver Verification to C Instrumentation Framework
- Category deleted (
15)
Actions