The Community for Technology Leaders
2013 20th Working Conference on Reverse Engineering (WCRE) (2001)
Suttgart, Germany
Oct. 2, 2001 to Oct. 5, 2001
ISSN: 1095-1350
ISBN: 0-7695-1303-4
pp: 281
Michael Mehlich , Semantic Designs, Inc.
Ira D. Baxter , Semantic Designs, Inc.
ABSTRACT
Preprocessors with conditionals are often used as software configuration management tools, with preprocessor variables naming configuration aspects. The preprocessor conditionals found in large systems often have complex enabling Boolean equations and nesting. Over long periods, some configuration aspects lose all utility. Removal of all traces of a configuration variable and code dependent on that aspect becomes a significant task if performed manually.An industrial-strength transformation system can remove such configuration aspects in a much shorter period of time, by symbolically simplifying away the configuration aspect. This paper sketches the problem, and the required transforms, and discusses a case study involving over a million lines of source code.
INDEX TERMS
Partial evaluation, symbolic computation, preprocessor, program transformations
CITATION
Michael Mehlich, Ira D. Baxter, "Preprocessor Conditional Removal by Simple Partial Evaluation", 2013 20th Working Conference on Reverse Engineering (WCRE), vol. 00, no. , pp. 281, 2001, doi:10.1109/WCRE.2001.957833
92 ms
(Ver 3.3 (11022016))