Project

General

Profile

Actions
Copy link

Bug #7116

closed

Implicit declaration of ldv_usb_lock* functions

Added by Ilja Zakharov over 8 years ago. Updated about 8 years ago.

Status:
Rejected
Priority:
Normal
Assignee:
-
Category:
Requirement specifications
Target version:
-
Start date:
04/26/2016
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

Weaver fails with an implicit declaration error due to incorrectly declared ldv_usb_lock* functions generated for checking a rule.

Related issues 1 (0 open — 1 closed)

Blocked by Klever - Feature #6692: Support multi-aspect verificationClosedVitaly Mordan02/02/2016

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 8 years ago

  • Priority changed from High to Normal
12 modules were not verified due to this issue:
  1. drivers/uwb/hwa-rc.ko
  2. drivers/isdn/gigaset/bas_gigaset.ko
  3. drivers/net/wireless/p54/p54usb.ko
  4. drivers/hid/usbhid/usbhid.ko
  5. drivers/usb/storage/usb-storage.ko
  6. drivers/staging/ced1401/cedusb.ko
  7. drivers/media/usb/pvrusb2/pvrusb2.ko
  8. drivers/media/usb/tlg2300/poseidon.ko
  9. drivers/staging/usbip/usbip-host.ko
  10. drivers/net/usb/hso.ko
  11. drivers/staging/keucr/keucr.ko
  12. drivers/mmc/host/vub300.ko

It is caused by absence of requesting of argument signatures for USB locking functions in rule specification linux:mutex:as. Let's postpone this issue since this was added in that rule specification just for the old implementation of so called multiaspect verification in LDV Tools that will be completely another in Klever.

Actions
Copy link
 #2

Updated by Evgeny Novikov about 8 years ago

  • Status changed from New to Rejected

There are not these issues now.

Actions
Copy link

Also available in: Atom PDF