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. */ };
Actions