Analyzing the discipline of preprocessor annotations in 30 million lines of C code

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD.11

Volumn , Issue , 2011, Pages 191-202

  Liebig, Jörg ^a   Kästner, Christian ^b   Apel, Sven ^a  

^a UNIVERSITY OF PASSAU   (Germany)

^b PHILIPPS UNIVERSITY MARBURG   (Germany)

Author keywords

Conditional compilation; Crosscutting concerns; Ifdef; Preprocessor; Virtual separation of concerns

Indexed keywords

CONDITIONAL COMPILATION; CROSSCUTTING CONCERN; IFDEF; PREPROCESSORS; VIRTUAL SEPARATION OF CONCERNS;

COMPUTER SYSTEMS PROGRAMMING; JAVA PROGRAMMING LANGUAGE; TEXT PROCESSING; WORD PROCESSING;

SOFTWARE DESIGN;

EID: 79955152719     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1960275.1960299     Document Type: Conference Paper

References (39)

1. B. Adams, W. De Meuter, H. Tromp, and A. Hassan. Can we Refactor Conditional Compilation into Aspects? In Proc. of the Int'l Conf. on Aspect-Oriented Software Development (AOSD), pages 243-254. ACM Press, 2009.
2. D. Atkins, T. Ball, T. Graves, and A. Mockus. Using Version Control Data to Evaluate the Impact of Software Tools: A Case Study of the Version Editor. IEEE Trans. on Softw. Eng. (TSE), 28(7):625-637, 2002.
3. L. Aversano, L. Di Penta, and I. Baxter. Handling Preprocessor- Conditioned Declarations. In Proc. of the Int'l Workshop on Source Code Analysis and Manipulation (SCAM), pages 83-92. IEEE CS, 2002.
4. I. Baxter and M. Mehlich. Preprocessor Conditional Removal by Simple Partial Evaluation. In Proc. of the Working Conf. on Reverse Engineering (WCRE), pages 281-290. IEEE CS, 2001. (Pubitemid 33013359)
5. M. Bruntink, A. van Deursen, M. D'Hondt, and T. Tourwé. Simple Crosscutting Concerns Are Not So Simple: Analysing Variability in Large-Scale Idioms-Based Implementations. In Proc. of the Int'l Conf. on Aspect-Oriented Software Development (AOSD), pages 199-211. ACM Press, 2007. (Pubitemid 47326580)
6. M. Bruntink, A. van Deursen, and T. Tourwé. Isolating Idiomatic Crosscutting Concerns. In Proc. of the Int'l Conf. on Software Maintenance (ICSM), pages 37-46. IEEE CS, 2005. (Pubitemid 43790919)
7. A. Classen, P. Heymans, P.-Y. Schobbens, A. Legay, and J.-F. Raskin. Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. In Proc. of the Int'l Conf. on Software Engineering (ICSE), pages 335-344. ACM Press, 2010.
8. M. Ernst, G. Badros, and D. Notkin. An Empirical Analysis of C Preprocessor Use. IEEE Trans. on Softw. Eng. (TSE), 28(12):1146-1170, 2002.
9. M. Erwig and E. Walkingshaw. The Choice Calculus: A Representation for Software Variation. ACM Trans. on Softw. Eng. and Meth. (TOSEM), 2010. to appear.
10. J.-M. Favre. The CPP Paradox. In Proc. of the Europ. Workshop on Software Maintenance, 1995. http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.47. 9464.
11. J.-M. Favre. Understanding-In-The-Large. In Proc. of the Int'l Workshop on Program Comprehension (IWPC), pages 29-38. IEEE CS, 1997.
12. A. Garrido. Program Refactoring in the Presence of Preprocessor Directives. PhD thesis, University of Illinois, 2005.
13. A. Garrido and R. Johnson. Refactoring C with Conditional Compilation. In Proc. of the Int'l Conf. on Automated Software Engineering (ASE), pages 323-326. IEEE CS, 2003.
14. A. Garrido and R. Johnson. Analyzing Multiple Configurations of a C Program. In Proc. of the Int'l Conf. on Software Maintenance (ICSM), pages 379-388. IEEE CS, 2005. (Pubitemid 43790951)
15. W. Griswold, J. Yuan, and Y. Kato. Exploiting the Map Metaphor in a Tool for Software Evolution. In Proc. of the Int'l Conf. on Software Engineering (ICSE), pages 265-274. IEEE CS, 2001. (Pubitemid 32485657)
16. F. Heidenreich, I. Savga, and C. Wende. On Controlled Visualizations in Software Product Line Engineering. In Proc. of the SPLC Workshop on Visualization in Software Product Line Engineering (ViSPLE), pages 303-313. Lero International Science Centre, 2008.
17. D. Janzen and K. De Volder. Programming with Crosscutting Effective Views. In Proc. of the Europ. Conf. on Object-Oriented Programming (ECOOP), pages 195-218. Springer-Verlag, 2004.
18. E. J̈urgens, F. Deissenböck, B. Hummel, and S. Wagner. Do Code Clones Matter? In Proc. of the Int'l Conf. on Software Engineering (ICSE), pages 485-495. IEEE CS, 2009.
19. C. Kapser and M. Godfrey. "Cloning Considered Harmful" Considered Harmful. Empirical Software Engineering, 13(6):645-692, 2008.
20. C. Kästner and S. Apel. Type-Checking Software Product Lines - A Formal Approach. In Proc. of the Int'l Conf. on Automated Software Engineering (ASE), pages 258-267. IEEE CS, 2008.
21. C. Kästner and S. Apel. Virtual Separation of Concerns - A Second Chance for Preprocessors. Journal of Object Technology (JOT), 8(6):59-78, 2009.
22. C. Kästner, S. Apel, and M. Kuhlemann. A Model of Refactoring Physically and Virtually Separated Features. In Proc. of the Int'l Conf. on Generative Programming and Component Engineering (GPCE), pages 157-166. ACM Press, 2009.
23. C. Kästner, S. Apel, S. Trujillo, M. Kuhlemann, and D. Batory. Guaranteeing Syntactic Correctness for all Product Line Variants: A Language-Independent Approach. In Proc. of the Int'l Conf. Objects, Models, Components, Patterns (TOOLS Europe), pages 174-194. Springer-Verlag, 2009.
24. B. Kernighan and D. Ritchie. The C Programming Language. Prentice-Hall, 1988.
25. B. Leavenworth. Syntax Macros and Extented Translation. Communications of the ACM (CACM), 9(11):790-793, 1966.
26. J. Liebig, S. Apel, C. Lengauer, C. Kästner, and M. Schulze. An Analysis of the Variability in Forty Preprocessor-Based Software Product Lines. In Proc. of the Int'l Conf. on Software Engineering (ICSE), pages 105-114. ACM Press, 2010.
27. D. Lohmann, F. Scheler, R. Tartler, O. Spinczyk, and W. Schröder-Preikschat. A Quantitative Analysis of Aspects in the eCos Kernel. In Proc. of the EuroSys Conf., pages 191-204. ACM Press, 2006. (Pubitemid 47485747)
28. B. McCloskey and E. Brewer. ASTEC: A New Approach to Refactoring C. In Proc. of the Europ. Software Engineering Conf. and of the Int'l Symposium on Foundations of Software Engineering (ESEC/FSE), pages 21-30. ACM Press, 2005. (Pubitemid 43218806)
29. Y. Padioleau. Parsing C/C++ Code without Pre-processing. In Proc. of the Int'l Conf. on Compiler Construction (CC), pages 109-125. Springer-Verlag, 2009.
30. T. Pearse and P. Oman. Experiences Developing and Maintaining Software in a Multi-Platform Environment. In Proc. of the Int'l Conf. on Software Maintenance (ICSM), pages 270-277. IEEE CS, 1997.
31. H. Post and C. Sinz. Configuration Lifting: Verification meets Software Configuration. In Proc. of the Int'l Conf. on Automated Software Engineering (ASE), pages 347-350. IEEE CS, 2008.
32. A. Reynolds, M. Fiuczynski, and R. Grimm. On the Feasibility of an AOSD Approach to Linux Kernel Extensions. In Proc. of the AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), pages 1-7. ACM Press, 2008.
33. C. Roy and J. Coardy. A Survey on Software Clone Detection Research. Technical Report 2007-541, Queen's University at Kingston, 2007.
34. N. Singh, C. Gibbs, and Y. Coady. C-CLR: A Tool for Navigating Highly Configurable System Software. In Proc. of the AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), page 9. ACM Press, 2007.
35. H. Spencer and G. Collyer. #ifdef Considered Harmful, or Portability Experience with C News. In Proc. of the USENIX Technical Conf., pages 185-197. USENIX Association Berkeley, 1992.
36. D. Spinellis. Global Analysis and Transformations in Preprocessed Languages. IEEE Trans. on Softw. Eng. (TSE), 29(11):1019-1030, 2003.
37. L. Vidács, A. Beszédes, and T. Gyimóthy. Combining Preprocessor Slicing with C/C++ Language Slicing. Science of Computer Programming (SCP), 74(7):399-413, 2009.
38. M. Vittek. Refactoring Browser with Preprocessor. In Proc. of the Europ. Conf. on Software Maintenance and Reengineering (CSMR), pages 101-110. IEEE CS, 2003.
39. D. Weise and R. Crew. Programmable Syntax Macros. In Proc. of the Int'l Conf. on Programming Language Design and Implementation (PLDI), pages 156-165. ACM Press, 1993.