Efficient extraction and analysis of preprocessor-based variability

GPCE'10 - Proceedings of the 2010 Conference on Generative Programming and Component Engineering

Volumn , Issue , 2010, Pages 33-42

  Sincero, Julio ^a   Tartler, Reinhard ^a   Lohmann, Daniel ^a   Schröder Preikschat, Wolfgang ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

Conditional compilation; Linux; Variability

Indexed keywords

C PREPROCESSOR; CONDITIONAL COMPILATION; CONFIGURABLE; EVALUATION RESULTS; LINUX; LONG LASTING; LONG TERM; PREPROCESSORS; PROPOSITIONAL FORMULAS; SOFTWARE PROJECT; SOURCE TREE; TOOL SUPPORT; VARIABILITY;

COMPUTER OPERATING SYSTEMS;

EID: 78650099270     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1868294.1868300     Document Type: Conference Paper

References (29)

1. Greg J Badros and David Notkin. A framework for preprocessor-aware c source code analyses. Software: Practice and Experience, 30(8):907-924, 2000.
2. Ira D. Baxter. DMS: program transformations for practical scalable software evolution. In 5th Int. W'shop on Principles of Software Evolution (IWPSE'02), pages 48-51, New York, NY, USA, 2002. ACM.
3. Ira D. Baxter and Michael Mehlich. Preprocessor conditional removal by simple partial evaluation. In 8th Conf on Reverse Engineering (WCRE '01), pages 281-, Washington, DC, USA, 2001. IEEE.
4. D. Benavides, A. Ruiz-Cortés, and P. Trinidad. Automated reasoning on feature models. In 17th Int. Conf. on Advanced Information Systems Engineering (CAISE '05), volume 3520, pages 491-503, Heidelberg, Germany, 2005. Springer.
5. BuDDy project. http://sourceforge.net/projects/buddy, 2009.
6. Andreas Classen, Arnaud Hubaux, and Patrick Heymans. A formal semantics for multi-level staged configuration. In 3th Int. W'shop on Variability Modelling of Software-intensive Systems (VAMOS '09), pages 51-60, 2009.
7. Krzysztof Czarnecki and Krzysztof Pietroszek. Verifying feature-based model templates against well-formedness OCL constraints. In 6th Int. Conf. on Generative Programming and Component Engineering (GPCE '06), pages 211-220, New York, NY, USA, 2006. ACM.
8. Krzysztof Czarnecki and Andrzej Wasowski. Feature diagrams and logics: There and back again. In 11th Software Product Line Conf. (SPEC '07), pages 23-34. IEEE, Sept. 2007.
9. Alejandra Garrido. Program refactoring in the presence of preprocessor directives. PhD thesis, University of Illinois at Urbana-Champaign, Champaign, IL, USA, 2005. Adviser-Johnson, Ralph.
10. Ying Hu, Ettore Merlo, Michel Dagenais, and Bruno Lagile. C/C++ conditional compilation analysis using symbolic execution. In 16th IEEE Int. Conf. on Software Maintainance (ICSM'00), page 196, Washington, DC, USA, 2000. IEEE.
11. International Organization for Standardization. ISO/IEC 9899: TC2: Programming languages - C. International Organization for Standardization, Geneva, Switzerland, 2005.
12. Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial evaluation and automatic program generation. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1993.
13. Christian Kästner, Sven Apel, and Martin Kuhlemann. Granularity in software product lines. In 30th Int. Conf. on Software Engineering (ICSE '08), pages 311-320, New York, NY, USA, 2008. ACM.
14. Christian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, and Don Batory. Guaranteeing syntactic correctness for all product line variants: A language-independent approach. In Proceedings of the 47th International Conference Objects, Models, Components, Patterns (TOOLS EUROPE), volume 33 of Lecture Notes in Business Information Processing, pages 175-194. Springer Berlin Heidelberg, June 2009.
15. Mario Latendresse. Rewrite systems for symbolic evaluation of c-like preprocessing. In CSMR '04: Proceedings of the Eighth Euromicro Working Conference on Software Maintenance and Reengineering (CSMR'04), page 165, Washington, DC, USA, 2004. IEEE Computer Society.
16. 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 32nd Int. Conf. on Software Engineering (ICSE '10), New York, NY, USA, 2010. ACM.
17. The Limmat SAT solver. http://www.jku.at/limmat/, 2002.
18. Linus Torvalds. Sparse - a semantic parser for C. http://www.kernel.org/ pub/software/devel/sparse/, 2003.
19. Roberto E. Lopez-Herrejon and Don Batory. A standard problem for evaluating product-line methodologies. In 3rd Int. Conf. on Generative and Component-Based Software Engineering (GCSE '01), volume 2186, pages 10-24, Heidelberg, Germany, 2001. Springer.
20. Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki, and Donald D. Cowan. Efficient compilation techniques for large scale feature models. In 5th Int. Conf. on Generative Programming and Component Engineering (GPCE '08), pages 13-22, New York, NY, USA, 2008. ACM.
21. Andreas Metzger, Patrick Heymans, Klaus Pohl, Pierre-Yves Schobbens, and Germain Saval. Disambiguating the documentation of variability in software product lines. In 15th IEEE Int. Conf. on Requirements Engineering (RE'07), pages 243-253, Washington, DC, USA, 2007. IEEE Computer Society.
22. Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, and Krzysztof Czarnecki. The variability model of the linux kernel. In 4th Int. W'shop on Variability Modelling of Software-intensive Systems (VAMOS '10), Linz, Austria, January 2010.
23. Julio Sincere, Horst Schirmeier, Wolfgang Schröder-Preikschat, and Olaf Spinczyk. Is the linux kernel a software product line? In Frank van der Linden and Björn Lundell, editors, International Workshop on Open Source Software and Product Lines (SPLC-OSSPL 2007), Kyoto, Japan, 2007.
24. Julio Sincere and Wolfgang Schröder-Preikschat. The linux kernel configurator as a feature modeling tool. In Steffen Thiel and Klaus Pohl, editors, 12th Software Product Line Conf. (SPLC '08), Second Volume, pages 257-260. Lero Int. Science Centre, University of Limerick, Ireland, 2008.
25. Julio Sincere, Reinhard Tartler, and Daniel Lohmann. An algorithm for quantifying the program variability induced by conditional compilation. Technical Report CS-2010-02, University of Erlangen, Dept. of Computer Science, January 2010.
26. Henry Spencer and Gehoff Collyer. #ifdef considered harmful, or portability experience with C News. In 1992 USENIXATC, Berkeley, CA, USA, June 1992. USENIX.
27. Reinhard Tartler, Julio Sincere, Wolfgang Schröder-Preikschat, and Daniel Lohmann. Dead or alive: Finding zombie features in the Linux kernel. In 1st W'shop on Feature-Oriented Software Development (FOSD '09), pages 81-86. ACM, 2009.
28. Sahil Thaker, Don Batory, David Kitchin, and William Cook. Safe composition of product lines. In 7th Int. Conf. on Generative Programming and Component Engineering (GPCE '07), pages 95-104, New York, NY, USA, 2007. ACM.
29. Thomas Thum, Don Batory, and Christian Kästner. Reasoning about edits to feature models. In 31st Int. Conf. on Software Engineering (ICSE '09), pages 254-264, Washington, DC, USA, 2009. IEEE.