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 about 5 years ago.
Updated almost 5 years ago.
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.
- Description updated (diff)
- 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
- 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)
- Blocked by Bug #9559: C back-end incorrectly prints wide character strings added
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).
- Priority changed from Urgent to High
- Target version deleted (
3.0)
Linux is not our main priority.
Also available in: Atom
PDF