Actions
Feature #9599
openSupport 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
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.
Updated by Evgeny Novikov almost 6 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
Updated by Evgeny Novikov almost 6 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)
Updated by Evgeny Novikov almost 6 years ago
- Blocked by Bug #9559: C back-end incorrectly prints wide character strings added
Updated by Evgeny Novikov almost 6 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).
Updated by Evgeny Novikov almost 6 years ago
Another blocking issue is https://github.com/17451k/clade/issues/105.
Updated by Evgeny Novikov over 5 years ago
- Priority changed from Urgent to High
- Target version deleted (
3.0)
Linux is not our main priority.
Actions