Affiliation:
1. Friedrich-Alexander-University Erlangen-Nuremberg, Erlangen, Germany
Abstract
The C Preprocessor (CPP) is the tool of choice for the implementation of variability in many large-scale configurable software projects. Linux, probably the most-configurable piece of software ever, employs more than 10,000 preprocessor variables for this purpose. However, this de-facto variability tends to be "hidden in the code"; which on the long term leads to variability defects, such as dead code or inconsistencies with respect to the intended (modeled) variability of the software. This calls for tool support for the efficient extraction of (and reasoning over) CPP-based variability.
We suggest a novel approach to extract CPP-based variability. Our tool transforms CPP-based variability in O(n) complexity into a propositional formula that "mimics" all valid effects of conditional compilation and can be analyzed with standard SAT or BDD packages.
Our evaluation results demonstrate the scalability and practicability of the approach. A dead-block-analysis on the complete Linux source tree takes less than 30 minutes; we thereby have revealed 60 dead blocks, 2 of which meanwhile have been confirmed as new (and long-lasting) bugs; the rest is still under investigation.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference28 articles.
1. DMS
2. Automated Reasoning on Feature Models
3. }}BuDDy project. http://sourceforge.net/projects/buddy 2009. }}BuDDy project. http://sourceforge.net/projects/buddy 2009.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Capturing the diversity of analyses on the Linux kernel variability;Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A;2021-09-06
2. A Linux in unikernel clothing;Proceedings of the Fifteenth European Conference on Computer Systems;2020-04-15
3. An efficient tinification of the linux kernel for minimizing resource consumption;Proceedings of the 35th Annual ACM Symposium on Applied Computing;2020-03-29
4. SMT-based variability analyses in FeatureIDE;Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems;2020-02-05
5. Fast static analyses of software product lines;Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems;2020-02-05