Proceedings of the 16th International Software Product Line Conference - Volume 1 2012
DOI: 10.1145/2362536.2362544
|View full text |Cite
|
Sign up to set email alerts
|

A robust approach for variability extraction from the Linux build system

Abstract: With more than 11,000 optional and alternative features, the Linux kernel is a highly configurable piece of software. Linux is generally perceived as a textbook example for preprocessor-based product derivation, but more than 65 percent of all features are actually handled by the build system. Hence, variability-aware static analysis tools have to take the build system into account.However, extracting variability information from the build system is difficult due to the declarative and turing-complete MAKE lan… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
52
0

Year Published

2013
2013
2022
2022

Publication Types

Select...
4
2
1

Relationship

1
6

Authors

Journals

citations
Cited by 69 publications
(52 citation statements)
references
References 23 publications
0
52
0
Order By: Relevance
“…LVAT [15] and Undertaker ( [18], [20], [2]) are the main examples of such tools. We chose to rely on Undertaker for its convenient wrapping of kdump, allowing us to use the same tools that are also used by the Linux kernel development team.…”
Section: Related Workmentioning
confidence: 99%
“…LVAT [15] and Undertaker ( [18], [20], [2]) are the main examples of such tools. We chose to rely on Undertaker for its convenient wrapping of kdump, allowing us to use the same tools that are also used by the Linux kernel development team.…”
Section: Related Workmentioning
confidence: 99%
“…9 or this message posted by Linus Torvalds in the Linux kernel mailing list "I didn't compile-test any of it, I don't do the crosscompile thing, and maybe I missed something." 10 We find ourselves in a situation in which, following a feature modification, identifying the impact across architectures is non-trivial, and cross-compilation, the first mean to validate such changes, is not applied consistently. There are many developers working on the kernel, and a few not crosscompiling might not affect the quality of the end product.…”
Section: Motivationmentioning
confidence: 99%
“…LVAT [35] and Undertaker [10,38,42] are the main examples of such tools. We chose to rely on Undertaker for its convenient wrapping of kconfigdump, allowing us to use the same tools that are also used by the Linux kernel development team.…”
Section: Related Workmentioning
confidence: 99%
“…For every item in this list, the preconditions described by the conditional blocks around the code have to hold as well as possible dependencies described by KCONFIG. We use tools described in previous work [7,19,22] which are able to determine the preconditions described in KCONFIG and provide an option to look up the preconditions for a given line.…”
Section: Principle Of Operationmentioning
confidence: 99%
“…Previous work [7], however, has shown the portability of the extractors we used for Linux to other software product lines such as the BusyBox UNIX utility suite [5] and the FIASCO microkernel [9], requiring only little effort.…”
Section: Generalization Beyond Linuxmentioning
confidence: 99%