Project

General

Profile

Actions

Feature #3733

open

Driver libraries: incomplete analysis coming from decomposition of driver modules

Added by Alexey Khoroshilov over 11 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Start date:
11/29/2012
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

There are false positives because analysis misses important functions that are out of the driver as well as out of kernel core as soon as they are in another "driver" module that appears to be a "driver library".

ldv-git approach to combine source code for analysis does not have such problem, while default ldv-manager approach is vulnerable.

We should research if there is a way to handle such situations.


Related issues 1 (1 open0 closed)

Blocks Linux Driver Verification - Feature #2490: There shouldn't be 'No entry point' problemsNewIlja Zakharov02/22/2012

Actions

No data to display

Actions

Also available in: Atom PDF