Project

General

Profile

Actions

Feature #8596

closed

Allow to enumerate kernel files to be analyzed with modules using directories

Added by Evgeny Novikov almost 7 years ago. Updated about 6 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Program fragments generation
Target version:
Start date:
11/24/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

At the moment one needs to explicitly enumerate kernel files to be analyzed with modules. This is both tedious and not so flexible in comparison with using directories. When a directory is specified it should be built and all kernel files should be added to corresponding verification objects. In addition, it is necessary to have an option to include/exclude kernel files from subdirectories as well as to exclude just particular subdirectories and files.

Actions

Also available in: Atom PDF