2013 20th Working Conference on Reverse Engineering (WCRE) (2001)
Oct. 2, 2001 to Oct. 5, 2001
Michael Mehlich , Semantic Designs, Inc.
Ira D. Baxter , Semantic Designs, Inc.
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.
Partial evaluation, symbolic computation, preprocessor, program transformations
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