ASTEC：重构C的新方法

C语言是世界上使用最广泛的语言之一，尤其是在关键基础设施软件中。C程序依赖于使用C预处理器处理的宏，但这些宏很难分析，而且往往容易出错[4]。现有的分析和转换C源代码的工具对预处理器有基本的支持，导致错误消息模糊不清，重构困难。我们提出了一个由三部分组成的解决方案：（1）替换宏语言ASTEC，这解决了预处理器最重要的缺陷，并消除了它引入的许多错误；（2） 一个翻译器MACROSCOPE，可以半自动地将现有代码转换为ASTEC；（3），一个自然处理预处理器构造的ASTEC软件重构工具。ASTEC的主要优点是其可分析性和可重构性。我们提供了几个由ASTEC支持的重构。此外，ASTEC消除了许多可能困扰C预处理器宏的错误源；Ernst等人[4]估计，超过20%的宏可能包含错误。在本文中，我们描述了我们的翻译和重构工具，并在包括OpenSSH和Linux内核在内的一套程序上对它们进行了评估。