Project

General

Profile

Actions
Copy link

Bug #7869

open

Add rule specification hook for register_chrdev()

Added by Evgeny Novikov over 7 years ago. Updated over 6 years ago.

Status:
New
Priority:
High
Assignee:
Evgeny Novikov
Category:
Requirement specifications
Target version:
-
Start date:
01/19/2017
Due date:
% Done:

0%

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

Description

EMG started to model register_chrdev() while this was done by at least rule specification linux:fs:char_dev. Because of this Unsafe is detected for safe test tests/linux/fs/char_dev/ext-modules/safe.ko/linux:fs:char_dev and the rule specification linux:fs:char_dev will bring many false alarms on all modules.

Related issues 2 (1 open — 1 closed)

Related to Klever - Bug #7870: Rule specification hooks for usb_register() and register_netdev() do not workRejected01/19/2017

Actions
Blocked by Klever - Feature #7871: Add more tests for rule specificationsNewEvgeny Novikov01/19/2017

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 7 years ago

One more affected rule specification is linux:usb:gadget but current tests don't show this explicitly - they should be extended to catch this.

Actions
Copy link
 #2

Updated by Evgeny Novikov about 7 years ago

  • Assignee set to Evgeny Novikov

I'll take care about this.

Actions
Copy link
 #3

Updated by Evgeny Novikov over 6 years ago

  • Priority changed from Urgent to High

Let's fix and improve specifications after we will have good tests and a testing infrastructure (version:0.3) and likely after we will complete a considerable refactoring of Core (1.0).

Actions
Copy link

Also available in: Atom PDF