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

Also available in: Atom PDF