Handling preprocessor-conditioned declarations

SCAM 2002 - Proceedings, 2nd IEEE International Workshop on Source Code Analysis and Manipulation

Volumn , Issue , 2002, Pages 83-92

  Aversano, L ^a   Di Penta, M ^a   Baxter, I D ^b  

^a UNIVERSITY OF SANNIO   (Italy)

^b Semantic Designs Inc   (United States)

Author keywords

multi platform software; Preprocessor code analysis; symbol table; type checking

Indexed keywords

CODES (SYMBOLS); COMPUTER SOFTWARE; OPEN SOURCE SOFTWARE; OPEN SYSTEMS; SOFTWARE ENGINEERING;

CODE ANALYSIS; DEPENDENT VARIABLES; HARDWARE PLATFORM; MULTI-PLATFORM; OPEN SOURCE SOFTWARE SYSTEMS; SOFTWARE SYSTEMS; SYMBOL TABLE; TYPECHECKING;

C (PROGRAMMING LANGUAGE);

EID: 84962143992     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAM.2002.1134108     Document Type: Conference Paper

References (11)

1. G. Casazza, G. Antoniol, U. Villano, E. Merlo and M. Di Penta. Identifying clones in the Linux Kernel. In Proceedings of the 1st IEEE International Workshop on Source Code Analysis and Manipulation, Florence (Italy), November, 2001, pp. 90-97.
2. I. D. Baxter. Design Maintenance Systems. Communications of the ACM 35(4), April, 1992, Association for Computing Machinery, New York.
3. I. D. Baxter and M. Mehlich. Semantic Designs Preprocessor Conditional Removal by Simple Partial Evaluation. Workshop on Analysis, Slicing, and Transformation,2001,Germany.
4. I. D. Baxter, A. Yahin, L. Moura, M. Sant'Anna, and L. Bier. Clone detection using abstract syntax trees. In Proceedings of the International Conference on Software Maintenance, pages 368-377, Bethesda, Maryland, USA, November 1998.
5. A.V. Aho and J.D. Ullman. Principles of Compiler Design, Addison Wesley 1977.
6. C Language ISO/IEC Standard 9899
7. M. D. Ernst, G. J. Badros, and D. Notkin. An Empirical Analysis of C Preprocessor Use. To appear in ACM Transactions on Software Engineering and Methodology.
8. H. Spencer and G. Collyer. #ifdef Considered Harmful, or Portability Experience with C News. In USENIX, Summer 1992 Technical Conference, San Antonio (Texas), June, 1992, pp. 185-197.
9. Y. Hu, E. Merlo, M. Dagenais and B. Lague. C/C++ Conditional Compilation Analysis Using Symbolic Execution, In Proceedings of the International Conference on Software Maintenance, San Jose, California, USA, 2000, pp. 196-206.
10. P. E. Livadas and D. T. Small. Understanding code containing preprocessor constructs. In Proceedings of the Third Workshop on Program Comprehension, Washington, DC, USA, November, 1994, pp. 89-97.
11. TXL Home Page (http://www.txl.ca).