Project

General

Profile

Feature #9599

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 6 months ago. Updated 3 months 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

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

Actions

History

#1

Updated by Evgeny Novikov 6 months ago

  • Description updated (diff)
#2

Updated by Evgeny Novikov 6 months 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
#3

Updated by Evgeny Novikov 6 months ago

  • Description updated (diff)
  • 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
#4

Updated by Evgeny Novikov 6 months ago

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

Updated by Evgeny Novikov 6 months 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).

#6

Updated by Evgeny Novikov 6 months ago

#7

Updated by Evgeny Novikov 3 months ago

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

Linux is not our main priority.

Also available in: Atom PDF