Project

General

Profile

Actions
Copy link

Bug #8453

open

Some rules are broken and cannot be used without CIL

Added by Ilja Zakharov about 7 years ago. Updated about 7 years ago.

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

0%

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

Description

Some rules contain incorrect models but cil helps to workaround the problem. After implementing #6545 one can see that some unexpected errors occur. For instance rule "linux:alloc:spinlock" does not work and leads to function declarations duplicates. It is necessary to rerun tests without cil and ensure that all work as it should.

Related issues 1 (0 open — 1 closed)

Blocked by Klever - Feature #6545: Invoke BenchExec task with several C filesClosedIlja Zakharov01/28/2016

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov about 7 years ago

  • Priority changed from Urgent to High
  • Target version deleted (1.0)

Klever 0.3 will enhance tests and bring a testing infrastructure. Rule specifications will be improved later one day.

Actions
Copy link

Also available in: Atom PDF