59、Polyspace代码审查与迁移：宏处理、结果迁移及运行时检查详解

Polyspace代码审查与迁移：宏处理、结果迁移及运行时检查详解

1. 包含宏的代码行中的Polyspace结果

在C/C++中，宏可以提高代码的可读性和可维护性。宏是使用 #define 指令定义的命名代码片段，例如：

#define MAXSIZE 64

宏名称作为代码片段的简写，在预编译时，每个宏实例都会被其定义所替换。例如，在上述示例中，每次使用 MAXSIZE 时，在预编译阶段都会被替换为 64 。

Polyspace为审查包含宏的代码行中的结果提供了一些便利：
- 源代码行中的宏可就地展开 ：如果源代码行包含宏，源面板会在该行左侧显示一个图标。点击该图标可展开宏，查看宏定义，再次点击则折叠宏。
- 类函数宏的结果仅显示一次 ：类函数宏是带有参数的宏，例如：

#define max(x,y) x>y?x:y

如果类函数宏导致缺陷或违反编码标准，结果将显示在问题的根本原因上，即宏参数或宏定义。

以下是两个示例：

#define LEFTOVER(size) 10000ul - size   /* Noncompliant */
#define REMAINDER(size) 10000UL -