Project

General

Profile

Actions

Bug #616

closed

module_put is not instrumented in rule model 08_1

Added by Vadim Mutilin almost 14 years ago. Updated about 12 years ago.

Status:
Closed
Priority:
Normal
Category:
-
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. */ };


Related issues 1 (0 open1 closed)

Is duplicate of C Instrumentation Framework - Bug #362: 08_1 model status: module_put issuesClosedEvgeny Novikov08/05/2010

Actions
Actions #1

Updated by Evgeny Novikov almost 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.

Actions #2

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.

Actions #3

Updated by Evgeny Novikov almost 14 years ago

  • Status changed from Open to Closed

Close it since it duplicates issue #362.

Actions #4

Updated by Evgeny Novikov about 12 years ago

  • Project changed from Linux Driver Verification to C Instrumentation Framework
  • Category deleted (15)
Actions

Also available in: Atom PDF