A robust approach for variability extraction from the linux build system

ACM International Conference Proceeding Series

Volumn 1, Issue , 2012, Pages 21-30

  Dietrich, Christian ^a   Tartler, Reinhard ^a   Schröder Preikschat, Wolfgang ^a   Lohmann, Daniel ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

Build systems; Configurability; Kbuild; Linux; Maintenance; Static analysis; VAMOS1

Indexed keywords

CONFIGURABILITY; KBUILD; LINUX; LINUX KERNEL; MOVING TARGETS; PRODUCT DERIVATION; ROBUST APPROACHES; TOOL SUPPORT; VAMOS1; VARIABILITY INFORMATION;

MAINTENANCE; STATIC ANALYSIS; TEXT PROCESSING;

COMPUTER OPERATING SYSTEMS;

EID: 84867450368     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2362536.2362544     Document Type: Conference Paper

References (31)

1. Bram Adams, Kris De Schutter, Herman Tromp, and Wolfgang De Meuter. "Design recovery and maintenance of build systems". In: Proceedings of the 23st IEEE International Conference on Software Maintainance (ICSM'07). IEEE Computer Society Press, 2007. DOI: 10.1109/ICSM.2007.4362624.
2. Bram Adams, Kris De Schutter, Herman Tromp, and Wolfgang De Meuter. "The Evolution of the Linux Build System". In: Electronic Communications of the EASST (2007).
3. Thorsten Berger and Steven She. Google Code Project: various variability extraction and analysis tools. URL: http://code.google.com/p/variability/ (visited on 02/16/2012).
4. Thorsten Berger, Steven She, Krzysztof Czarnecki, and Andrzej Wasowski. Feature-to-Code Mapping in Two Large Product Lines. Technical report. University of Leipzig (Germany), University of Waterloo (Canada), IT University of Copenhagen (Denmark), 2010.
5. Thorsten Berger, Steven She, Rafael Lotufo, Krzysztof Czarnecki, and Andrzej Wasowski. "Feature-to-code mapping in two large product lines". In: Proceedings of the 14th Software Product Line Conference (SPLC '10). Volume 6287. Lecture Notes in Computer Science. Poster session. Springer-Verlag, 2010.
6. Thorsten Berger, Steven She, Rafael Lotufo, and Andrzej Wasowski und Krzysztof Czarnecki. "Variability Modeling in the Real: A Perspective from the Operating Systems Domain". In: Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE '10). ACM Press, 2010. DOI: 10.1145/1858996.1859010.
7. BusyBox Project Homepage. URL: http://www.busybox.net/(visited on 05/11/2012).
8. Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, and Dawson Engler. "An empirical study of operating systems errors". In: Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP '01). ACM Press, 2001. DOI: 10.1145/502034.502042.
9. Edmund Clarke, Daniel Kroening, and Flavio Lerda. "A Tool for Checking ANSI-C Programs". In: Tools and Algorithms for the Construction and Analysis of Systems. Volume 2988. Lecture Notes in Computer Science. Springer-Verlag, 2004. DOI: 10.1007/978- 3- 540-24730-2-15.
10. Christian Dietrich, Reinhard Tartler, Wolfgang Schröder-Preikschat, and Daniel Lohmann. "Understanding Linux Feature Distribution". In: Proceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS '12). ACM Press, 2012. DOI: 10.1145/2162024.2162030.
11. Kai Germaschewski and Sam Ravnborg. "Kernel configuration and building in Linux 2.5". In: Proceedings of the Linux Symposium. 2003.
12. Michael Hohmuth. The Fiasco kernel: System architecture. Technical report. TU Dresden, 1998.
13. Christian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, and Thorsten Berger. "Variability-Aware Parsing in the Presence of Lexical Macros and Conditional Compilation". In: Proceedings of the 26th ACM Conference on Object- Oriented Programming, Systems, Languages, and Applications (OOPSLA '11). ACM Press, 2011. DOI: 10.1145/2048066.2048128.
14. Jörg Liebig, Sven Apel, Christian Lengauer, Christian Kästner, and Michael Schulze. "An Analysis of the Variability in Forty Preprocessor-Based Software Product Lines". In: Proceedings of the 32nd International Conference on Software Engineering (ICSE '10). ACM Press, 2010. DOI: 10.1145/1806799.1806819.
15. Marcilio Mendonca, Andrzej Wasowski, and Krzysztof Czarnecki. "SAT-based analysis of feature models is easy". In: Proceedings of the 13th Software Product Line Conference (SPLC '09). Carnegie Mellon University, 2009.
16. Andreas Metzger, Patrick Heymans, Klaus Pohl, Pierre-Yves Schobbens, and Germain Saval. "Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis". In: Proceedings of the 15th IEEE Conference on Requirements Engineering (RE '07). IEEE Computer Society, 2007. DOI: 10.1109/RE.2007.61.
17. Sarah Nadi and Richard C. Holt. "Make it or Break it: Mining Anomalies from Linux Kbuild". In: Proceedings of the 18th Working Conference on Reverse Engineering (WCRE '11). 2011. DOI: 10.1109/WCRE.2011.46.
18. Sarah Nadi and Richard C. Holt. "Mining Kbuild to Detect Variability Anomalies in Linux". In: Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR '12). To appear. IEEE Computer Society Press, 2012.
19. Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia L. Lawall, and Gilles Muller. "Faults in Linux: Ten years later". In: Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '11). ACM Press, 2011. DOI: 10.1145/1950365.1950401.
20. Klaus Pohl, Günter Böckle, and Frank J. van der Linden. Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag, 2005.
21. Hendrik Post and Carsten Sinz. "Configuration Lifting: Verification meets Software Configuration". In: Proceedings of the 23th IEEE/ACM International Conference on Automated Software Engineering (ASE '08). IEEE Computer Society, 2008. DOI: 10.1109/ASE.2008.45.
22. Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani, and Nico Tanzarella. "Delta-oriented programming of software product lines". In: Proceedings of the 14th Software Product Line Conference (SPLC '10). Volume 6287. Lecture Notes in Computer Science. Springer-Verlag, 2010. DOI: 10.1007/978-3-642-15579-6-6.
23. Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, and Krzysztof Czarnecki. "Reverse Engineering Feature Models". In: Proceedings of the 33nd International Conference on Software Engineering (ICSE '11). ACM Press, 2011. DOI: 10.1145/1985793.1985856.
24. Julio Sincero, Reinhard Tartler, Daniel Lohmann, and Wolfgang Schröder-Preikschat. "Efficient Extraction and Analysis of Preprocessor-Based Variability". In: Proceedings of the 9th International Conference on Generative Programming and Component Engineering (GPCE '10). ACM Press, 2010. DOI: 10.1145/1868294. 1868300.
25. Diomidis Spinellis. "A Tale of Four Kernels". In: Proceedings of the 30th International Conference on Software Engineering (ICSE '08). ACM Press, 2008. DOI: 10.1145/1368088.1368140.
26. Richard M. Stallman, Roland McGrath, and Paul D. Smith. GNU make manual. A Program for Directing Recompilation. Free Software Foundation. GNU Press, 2010.
27. Mikael Svahnberg, Jilles van Gurp, and Jan Bosch. "A Taxonomy of Variability Realization Techniques". In: Software - Practice and Experience 35.8 (2006). DOI: 10.1002/spe.v35:8.
28. Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, and Julio Sincero. "Configuration Coverage in the Analysis of Large-Scale System Software". In: Proceedings of the 6th Workshop on Programming Languages and Operating Systems (PLOS '11). ACM Press, 2011. DOI: 10.1145/2039239.2039242.
29. Reinhard Tartler, Daniel Lohmann, Julio Sincero, and Wolfgang Schröder-Preikschat. "Feature Consistency in Compile-Time- Configurable System Software: Facing the Linux 10, 000 Feature Problem". In: Proceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2011 (EuroSys '11). ACM Press, 2011. DOI: 10.1145/1966445.1966451.
30. VAMOS - Variability Management in Operating Systems. FAU Erlangen-Nuremberg, 2012. URL: http://www4.informatik.unierlangen.de/Research/ VAMOS/.
31. Christoph Zengler and Wolfgang Küchlin. "Encoding the Linux Kernel Configuration in Propositional Logic". In: Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010)Workshop on Configuration 2010. 2010.