Actions
Bug #8124
closedLinux kernel parts become verification objects while modules can be lost
Status:
Closed
Priority:
Immediate
Assignee:
Category:
Program fragments generation
Target version:
-
Start date:
04/21/2017
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
After recent changes in generating verification objects (#7661) quite many Linux kernel parts become verification objects. So corresponding filters should be updated to reject this. In addition we loose modules that don't have any initialization and just export some symbols. More advanced filters should fix this as well.
BTW, maybe it's time to introduce a dependency on specification sets within LKVOG since actually filters can depend on Linux kernel versions. Ditto for generation of verification objects in general. One day our approach may fail without additional efforts for adopting the process for specific versions or/and configurations of the Linux kernel.
Files
Actions