Preprocessor conditional removal by simple partial evaluation

被引：44

作者：

Baxter, ID

Mehlich, M

机构：

来源：

EIGHTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS | 2001年

关键词：

partial evaluation; symbolic computation; preprocessor; program transformations;

D O I：

10.1109/WCRE.2001.957833

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：281 / 290

页数：10