Actions
Feature #6881
closedFeature #6880: Investigate what dependent modules should be analysed together to find well known bugs
Example of multi-module dependency within one directory
Status:
Closed
Priority:
High
Assignee:
Category:
Program fragments generation
Target version:
-
Start date:
02/19/2016
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
Fix of Buffer Overflow:
https://git.kernel.org/cgit/linux/kernel/git/stable/linux-stable.git/commit/?id=482c6cb
Functions 'ttusbdecfe_dvbt_attach' and 'ttusbdecfe_dvbs_attach' are exported from module 'drivers/media/usb/ttusb-dec/ttusbdecfe.ko'
Both are used in function 'ttusb_dec_probe' of the module 'drivers/media/usb/ttusb-dec/ttusb_dec.ko'
Updated by Evgeny Novikov about 8 years ago
- Category set to Program fragments generation
- Assignee set to Alexey Polushkin
- Priority changed from Normal to High
Updated by Alexey Polushkin almost 8 years ago
These modules can be verified together when using 'scotch' or 'advanced' strategy with 'cluster size' parameter equals 2 or more
Updated by Evgeny Novikov almost 8 years ago
- Status changed from New to Closed
For me it is enough.
Note that description of strategies for generating verification objects and their parameters will appear soon.
Actions