Project

General

Profile

Actions

Feature #9599

open

Support basic verification of drivers of Linux 3.14.79, 3.16.65, 4.4.178, 4.9.168, 4.14.111, 4.19.34, 5.0.7

Added by Evgeny Novikov almost 5 years ago. Updated over 4 years ago.

Status:
New
Priority:
High
Category:
-
Target version:
-
Start date:
04/16/2019
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Basic verification includes just generating complete build bases (configuration allmodconfig, architecture x86_64, GCC 7, Clade 3.0.2, CIF 405fbb86) and less than 100% failures before CPAchecker.

I will initiate verification of all drivers against one API rule and check for memory safety without any analysis of verification results. Maybe I will report some outstanding issues in CPAchecker or somebody will look at them.


Related issues 1 (0 open1 closed)

Blocked by C Instrumentation Framework - Bug #9559: C back-end incorrectly prints wide character stringsClosedEvgeny Novikov03/21/2019

Actions
Actions #1

Updated by Evgeny Novikov almost 5 years ago

  • Description updated (diff)
Actions #2

Updated by Evgeny Novikov almost 5 years ago

  • Subject changed from Support basic verification of drivers of Linux 3.16, 4.4, 4.9, 4.14, 4.19, 5.0 to Support basic verification of drivers of Linux 3.16.65, 4.4.178, 4.9.168, 4.14.111, 4.19.34, 5.0.7
Actions #3

Updated by Evgeny Novikov almost 5 years ago

  • Subject changed from Support basic verification of drivers of Linux 3.16.65, 4.4.178, 4.9.168, 4.14.111, 4.19.34, 5.0.7 to Support basic verification of drivers of Linux 3.14.79, 3.16.65, 4.4.178, 4.9.168, 4.14.111, 4.19.34, 5.0.7
  • Description updated (diff)
Actions #4

Updated by Evgeny Novikov almost 5 years ago

  • Blocked by Bug #9559: C back-end incorrectly prints wide character strings added
Actions #5

Updated by Evgeny Novikov almost 5 years ago

Although #9559 is responsible for much less that 100% failures, I would like to fix it since it is a regression introduced recently (this regression was not caught by our tests).

Actions #6

Updated by Evgeny Novikov almost 5 years ago

Actions #7

Updated by Evgeny Novikov over 4 years ago

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

Linux is not our main priority.

Actions

Also available in: Atom PDF