Project

General

Profile

Actions

Feature #7909

open

Add model for macro IDR_INIT (rule specification linux:lib:idr)

Added by Evgeny Novikov almost 8 years ago. Updated almost 8 years ago.

Status:
Open
Priority:
High
Assignee:
-
Category:
Requirement specifications
Target version:
-
Start date:
01/25/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

This looks like there are many false alarms due to lack of this model on many various versions of the Linux kernel including 3.14. In addition corresponding test cases should be added (at least safe shouldn't be detected in case of absence of the model).

Actions

Also available in: Atom PDF